Frank Jiang

According to our database, Frank Jiang authored at least 22 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Polynomial logical zonotope: A set representation for reachability analysis of logical systems.

Amr Al-Anwar, Frank J. Jiang, Karl Henrik Johansson

Autom., 2025

2024

Online control synthesis for uncertain systems under signal temporal logic specifications.

Pian Yu, Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Dimos V. Dimarogonas

Int. J. Robotics Res., 2024

Reachability Analysis Using Constrained Polynomial Logical Zonotopes.

Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Al-Anwar

IEEE Control. Syst. Lett., 2024

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis.

Kleio Fragkedaki, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson

CoRR, 2024

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination.

Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson

CoRR, 2024

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.

Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson

CoRR, 2024

Formal Verification with Constrained Polynomial Logical Zonotope.

Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar

CoRR, 2024

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis.

Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks.

Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis.

Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson

Proceedings of the European Control Conference, 2024

2023

Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems.

Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson

CoRR, 2023

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes.

August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions.

Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees.

Yulong Gao, Frank J. Jiang, Lihua Xie, Karl Henrik Johansson

IEEE Trans. Control. Syst. Technol., 2022

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems.

Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson

IEEE Trans. Autom. Control., 2022

Logical Zonotope: A Set Representation for Binary Vectors.

Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson

CoRR, 2022

SVEA: an experimental testbed for evaluating V2X use-cases.

Frank J. Jiang, Mustafa Al-Janabi, Tobias Bolin, Karl Henrik Johansson, Jonas Mårtensson

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information.

Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

2020

Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis.

Frank J. Jiang, Yulong Gao, Lihua Xie, Karl Henrik Johansson

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Stochastic Modeling and Optimal Control for Automated Overtaking.

Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Lihua Xie

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2016

Using Neural Networks for Fast Reachable Set Computations.

Frank Jiang, Glen Chou, Mo Chen, Claire J. Tomlin

CoRR, 2016

Learning quadrotor dynamics using neural network for flight control.

Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin

Proceedings of the 55th IEEE Conference on Decision and Control, 2016