Frank Jiang

According to our database, Frank Jiang authored at least 13 papers between 2016 and 2024.

Collaborative distances:

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

2024

Formal Verification with Constrained Polynomial Logical Zonotope.

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

CoRR, 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