Follow
Frank J. Jiang
Title
Cited by
Cited by
Year
Learning quadrotor dynamics using neural network for flight control
S Bansal, AK Akametalu, FJ Jiang, F Laine, CJ Tomlin
2016 IEEE 55th Conference on Decision and Control (CDC), 4653-4660, 2016
1872016
Using neural networks to compute approximate and guaranteed feasible Hamilton-Jacobi-Bellman PDE solutions
F Jiang, G Chou, M Chen, CJ Tomlin
arXiv preprint arXiv:1611.03158, 2016
432016
Temporal logic trees for model checking and control synthesis of uncertain discrete-time systems
Y Gao, A Abate, FJ Jiang, M Giacobbe, L Xie, KH Johansson
IEEE Transactions on Automatic Control 67 (10), 5071-5086, 2021
132021
Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis
FJ Jiang, Y Gao, L Xie, KH Johansson
2020 59th IEEE Conference on Decision and Control (CDC), 1416-1421, 2020
132020
Risk-aware optimal control for automated overtaking with safety guarantees
Y Gao, FJ Jiang, L Xie, KH Johansson
IEEE Transactions on Control Systems Technology 30 (4), 1460-1472, 2021
112021
Human-centered design for safe teleoperation of connected vehicles
FJ Jiang, Y Gao, L Xie, KH Johansson
IFAC-PapersOnLine 53 (5), 224-231, 2020
102020
Modeling the decision-making in human driver overtaking
E Stefansson, FJ Jiang, E Nekouei, H Nilsson, KH Johansson
IFAC-PapersOnLine 53 (2), 15338-15345, 2020
92020
Stochastic modeling and optimal control for automated overtaking
Y Gao, FJ Jiang, KH Johansson, L Xie
2019 IEEE 58th Conference on Decision and Control (CDC), 1273-1278, 2019
92019
Machine discovery of partial differential equations from spatiotemporal data: A sparse Bayesian learning framework
Y Yuan, X Li, L Li, FJ Jiang, X Tang, F Zhang, J Goncalves, HU Voss, ...
Chaos: An Interdisciplinary Journal of Nonlinear Science 33 (11), 2023
8*2023
Reachability-based human-in-the-loop control with uncertain specifications
Y Gao, FJ Jiang, X Ren, L Xie, KH Johansson
IFAC-PapersOnLine 53 (2), 1880-1887, 2020
72020
SVEA: an experimental testbed for evaluating V2X use-cases
FJ Jiang, M Al-Janabi, T Bolin, KH Johansson, J Mårtensson
2022 IEEE 25th International Conference on Intelligent Transportation …, 2022
52022
Logical zonotopes: A set representation for the formal verification of boolean functions
A Alanwar, FJ Jiang, S Amin, KH Johansson
2023 62nd IEEE Conference on Decision and Control (CDC), 60-66, 2023
42023
Polynomial logical zonotopes: A set representation for reachability analysis of logical systems
A Alanwar, FJ Jiang, KH Johansson
arXiv preprint arXiv:2306.12508, 2023
42023
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
A Alanwar, FJ Jiang, M Sharifi, DV Dimarogonas, KH Johansson
2022 International Conference on Robotics and Automation (ICRA), 6793-6799, 2022
42022
Online control synthesis for uncertain systems under signal temporal logic specifications
P Yu, Y Gao, FJ Jiang, KH Johansson, DV Dimarogonas
The International Journal of Robotics Research 43 (6), 765-790, 2024
32024
Remote Driving of Road Vehicles: A Survey of Driving Feedback, Latency, Support Control, and Real Applications
L Zhao, M Nybacka, M Aramrattana, M Rothhämel, A Habibovic, L Drugge, ...
IEEE Transactions on Intelligent Vehicles, 2024
22024
Safe Teleoperation of Connected and Automated Vehicles
FJ Jiang, J Mårtensson, KH Johansson
Cyber–Physical–Human Systems: Fundamentals and Applications, 251-272, 2023
22023
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
KM Arfvidsson, FJ Jiang, KH Johansson, J Mårtensson
arXiv preprint arXiv:2405.11300, 2024
12024
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks
KM Arfvidsson, K Fragkedaki, FJ Jiang, V Narri, HC Lindh, KH Johansson, ...
arXiv preprint arXiv:2405.05911, 2024
12024
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
FJ Jiang, KM Arfvidsson, C He, M Chen, KH Johansson
arXiv preprint arXiv:2404.08334, 2024
12024
The system can't perform the operation now. Try again later.
Articles 1–20