Frank J. Jiang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 24

Top Topics

Mazurkiewicz Traces

Optimal Control

Top Venues

Publications

Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl H. Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. ECC (2024)
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson, Jonas Mårtensson
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. IV (2024)
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. CoRR (2024)
Pian Yu, Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Dimos V. Dimarogonas
Online control synthesis for uncertain systems under signal temporal logic specifications. Int. J. Robotics Res. 43 (6) (2024)
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl H. Johansson, Jonas Mårtensson
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. IV (2024)
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl H. Johansson, Jonas Mårtensson
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. CoRR (2024)
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability. CoRR (2024)
Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar
Formal Verification with Constrained Polynomial Logical Zonotope. CoRR (2024)
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. CoRR (2024)
Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. CDC (2023)
August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. CoRR (2023)
Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. CoRR (2023)
August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. ITSC (2023)
Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
Logical Zonotope: A Set Representation for Binary Vectors. CoRR (2022)
Frank J. Jiang, Mustafa Al-Janabi, Tobias Bolin, Karl Henrik Johansson, Jonas Mårtensson
SVEA: an experimental testbed for evaluating V2X use-cases. ITSC (2022)
Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. ICRA (2022)
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems. IEEE Trans. Autom. Control. 67 (10) (2022)
Yulong Gao, Frank J. Jiang, Lihua Xie, Karl Henrik Johansson
Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees. IEEE Trans. Control. Syst. Technol. 30 (4) (2022)
Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. CoRR (2021)
Frank J. Jiang, Yulong Gao, Lihua Xie, Karl Henrik Johansson
Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis. CDC (2020)
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems. CoRR (2020)
Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Lihua Xie
Stochastic Modeling and Optimal Control for Automated Overtaking. CDC (2019)
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin
Learning quadrotor dynamics using neural network for flight control. CDC (2016)
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin
Learning Quadrotor Dynamics Using Neural Network for Flight Control. CoRR (2016)