Human-Centric Control Design for Safe & Connected Vehicles. - Jiang, Frank (2025)

Polynomial logical zonotope: A set representation for reachability analysis of logical systems. - Al-Anwar, Amr; Jiang, Frank J.; Johansson, Karl Henrik (Autom., 2025)

Towards Open-Source and Modular Space Systems with ATMOS. - Roque, Pedro; Phodapol, Sujet; Krantz, Elias; Lim, Jaeyoung; Verhagen, Joris; Jiang, Frank; Dorner, David; Siegwart, Roland; Stenius, Ivan; Tibert, Gunnar; Mao, Huina; Tumova, Jana; et al. (CoRR, 2025)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes. - Hafez, Ahmad; Jiang, Frank J.; Johansson, Karl Henrik; Al-Anwar, Amr (IEEE Control. Syst. Lett., 2024)

Online control synthesis for uncertain systems under signal temporal logic specifications. - Yu, Pian; Gao, Yulong; Jiang, Frank J.; Johansson, Karl Henrik; Dimarogonas, Dimos V. (Int. J. Robotics Res., 2024)

Remote Driving of Road Vehicles: A Survey of Driving Feedback, Latency, Support Control, and Real Applications. - Zhao, Lin; Nybacka, Mikael; Aramrattana, Maytheewat; Rothhämel, Malte; Habibovic, Azra; Drugge, Lars; Jiang, Frank (IEEE Trans. Intell. Veh., 2024)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. - Jiang, Frank J.; Arfvidsson, Kaj Munhoz; He, Chong; Chen, Mo; Johansson, Karl Henrik (2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. - Hadjiloizou, Loizos; Jiang, Frank J.; Alanwar, Amr; Johansson, Karl Henrik (2024)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. - Arfvidsson, Kaj Munhoz; Jiang, Frank J.; Johansson, Karl Henrik; Mårtensson, Jonas (2024)

Pedestrian Motion Prediction Using Transformer-Based Behavior Clustering and Data-Driven Reachability Analysis. - Fragkedaki, Kleio; Jiang, Frank J.; Johansson, Karl Henrik; Mårtensson, Jonas (2024)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. - Arfvidsson, Kaj Munhoz; Fragkedaki, Kleio; Jiang, Frank J.; Narri, Vandana; Lindh, Hans-Cristian; Johansson, Karl Henrik; Mårtensson, Jonas (2024)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. - Arfvidsson, Kaj Munhoz; Jiang, Frank J.; Johansson, Karl Henrik; Mårtensson, Jonas (2024)

Formal Verification with Constrained Polynomial Logical Zonotope. - Hafez, Ahmad; Jiang, Frank J.; Johansson, Karl Henrik; Alanwar, Amr (CoRR, 2024)

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. - Hadjiloizou, Loizos; Jiang, Frank J.; Alanwar, Amr; Johansson, Karl Henrik (CoRR, 2024)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. - Jiang, Frank J.; Arfvidsson, Kaj Munhoz; He, Chong; Chen, Mo; Johansson, Karl Henrik (CoRR, 2024)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. - Arfvidsson, Kaj Munhoz; Fragkedaki, Kleio; Jiang, Frank J.; Narri, Vandana; Lindh, Hans-Cristian; Johansson, Karl Henrik; Mårtensson, Jonas (CoRR, 2024)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. - Arfvidsson, Kaj Munhoz; Jiang, Frank J.; Johansson, Karl Henrik; Mårtensson, Jonas (CoRR, 2024)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. - Arfvidsson, Kaj Munhoz; Jiang, Frank J.; Johansson, Karl Henrik; Mårtensson, Jonas (CoRR, 2024)

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis. - Fragkedaki, Kleio; Jiang, Frank J.; Johansson, Karl Henrik; Mårtensson, Jonas (CoRR, 2024)

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. - Alanwar, Amr; Jiang, Frank J.; Amin, Samy; Johansson, Karl Henrik (2023)

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. - Söderlund, August; Jiang, Frank J.; Narri, Vandana; Alanwar, Amr; Johansson, Karl Henrik (2023)

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. - Alanwar, Amr; Jiang, Frank J.; Johansson, Karl Henrik (CoRR, 2023)

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. - Söderlund, August; Jiang, Frank J.; Narri, Vandana; Alanwar, Amr; Johansson, Karl Henrik (CoRR, 2023)

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. - Gao, Yulong; Abate, Alessandro; Jiang, Frank J.; Giacobbe, Mirco; Xie, Lihua; Johansson, Karl Henrik (IEEE Trans. Autom. Control., 2022)

Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees. - Gao, Yulong; Jiang, Frank J.; Xie, Lihua; Johansson, Karl Henrik (IEEE Trans. Control. Syst. Technol., 2022)

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. - Alanwar, Amr; Jiang, Frank J.; Sharifi, Maryam; Dimarogonas, Dimos V.; Johansson, Karl Henrik (2022)

SVEA: an experimental testbed for evaluating V2X use-cases. - Jiang, Frank J.; Al-Janabi, Mustafa; Bolin, Tobias; Johansson, Karl Henrik; Mårtensson, Jonas (2022)

Logical Zonotope: A Set Representation for Binary Vectors. - Alanwar, Amr; Jiang, Frank J.; Amin, Samy; Johansson, Karl Henrik (CoRR, 2022)

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. - Alanwar, Amr; Jiang, Frank J.; Sharifi, Maryam; Dimarogonas, Dimos V.; Johansson, Karl Henrik (CoRR, 2021)

Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis. - Jiang, Frank J.; Gao, Yulong; Xie, Lihua; Johansson, Karl Henrik (2020)

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. - Gao, Yulong; Abate, Alessandro; Jiang, Frank J.; Giacobbe, Mirco; Xie, Lihua; Johansson, Karl Henrik (CoRR, 2020)

Stochastic Modeling and Optimal Control for Automated Overtaking. - Gao, Yulong; Jiang, Frank J.; Johansson, Karl Henrik; Xie, Lihua (2019)

Learning quadrotor dynamics using neural network for flight control. - Bansal, Somil; Akametalu, Anayo K.; Jiang, Frank J.; Laine, Forrest; Tomlin, Claire J. (2016)

Learning Quadrotor Dynamics Using Neural Network for Flight Control. - Bansal, Somil; Akametalu, Anayo K.; Jiang, Frank J.; Laine, Forrest; Tomlin, Claire J. (CoRR, 2016)

Using Neural Networks for Fast Reachable Set Computations. - Jiang, Frank; Chou, Glen; Chen, Mo; Tomlin, Claire J. (CoRR, 2016)