Frank J. Jiang

35 papers A* 1C 2Journal 20Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — conf
Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication.
ITSC
Annika Wong, Zhiqi Tang, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2025 J jnl
Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication.
CoRR
Annika Wong, Zhiqi Tang, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2025 J jnl
Polynomial logical zonotope: A set representation for reachability analysis of logical systems.
Autom.
Amr Al-Anwar, Frank J. Jiang, Karl Henrik Johansson
2025 — conf
pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis.
CDC
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2025 J jnl
pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis.
CoRR
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024 C conf
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis.
IV
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024 J jnl
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis.
CoRR
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024 — conf
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis.
ECC
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson
2024 J jnl
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis.
CoRR
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson
2024 J jnl
Formal Verification with Constrained Polynomial Logical Zonotope.
CoRR
Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar
2024 — conf
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.
CDC
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson
2024 J jnl
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability.
CoRR
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen, Karl Henrik Johansson
2024 J jnl
Online control synthesis for uncertain systems under signal temporal logic specifications.
Int. J. Robotics Res.
Pian Yu, Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Dimos V. Dimarogonas
2024 — conf
Pedestrian Motion Prediction Using Transformer-Based Behavior Clustering and Data-Driven Reachability Analysis.
ITSC
Kleio Fragkedaki, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024 J jnl
Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis.
CoRR
Kleio Fragkedaki, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024 J jnl
Reachability Analysis Using Constrained Polynomial Logical Zonotopes.
IEEE Control. Syst. Lett.
Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Al-Anwar
2024 C conf
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks.
IV
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson
2024 J jnl
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks.
CoRR
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson
2024 — conf
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination.
ITSC
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2024 J jnl
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination.
CoRR
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson
2023 — conf
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes.
ITSC
August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson
2023 J jnl
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes.
CoRR
August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson
2023 — conf
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions.
CDC
Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
2023 J jnl
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems.
CoRR
Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson
2022 A* conf
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information.
ICRA
Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson
2022 J jnl
Logical Zonotope: A Set Representation for Binary Vectors.
CoRR
Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
2022 J jnl
Risk-Aware Optimal Control for Automated Overtaking With Safety Guarantees.
IEEE Trans. Control. Syst. Technol.
Yulong Gao, Frank J. Jiang, Lihua Xie, Karl Henrik Johansson
2022 — conf
SVEA: an experimental testbed for evaluating V2X use-cases.
ITSC
Frank J. Jiang, Mustafa Al-Janabi, Tobias Bolin, Karl Henrik Johansson, Jonas Mårtensson
2022 J jnl
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems.
IEEE Trans. Autom. Control.
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
2021 J jnl
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information.
CoRR
Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson
2020 — conf
Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis.
CDC
Frank J. Jiang, Yulong Gao, Lihua Xie, Karl Henrik Johansson
2020 J jnl
Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems.
CoRR
Yulong Gao, Alessandro Abate, Frank J. Jiang, Mirco Giacobbe, Lihua Xie, Karl Henrik Johansson
2019 — conf
Stochastic Modeling and Optimal Control for Automated Overtaking.
CDC
Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Lihua Xie
2016 J jnl
Learning Quadrotor Dynamics Using Neural Network for Flight Control.
CoRR
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin
2016 — conf
Learning quadrotor dynamics using neural network for flight control.
CDC
Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin