| 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 | 247 | 2016 |
| 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 | 58 | 2016 |
| 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 | 28 | 2024 |
| 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 | 24 | 2021 |
| 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 | 22 | 2021 |
| 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 | 21* | 2023 |
| 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 | 16 | 2020 |
| 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 | 15 | 2024 |
| Human-centered design for safe teleoperation of connected vehicles FJ Jiang, Y Gao, L Xie, KH Johansson IFAC-PapersOnLine 53 (5), 224-231, 2020 | 15 | 2020 |
| 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 | 15 | 2020 |
| 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 | 13 | 2022 |
| 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 | 11 | 2020 |
| Small-scale testbed for evaluating c-v2x applications on 5g cellular networks KM Arfvidsson, K Fragkedaki, FJ Jiang, V Narri, HC Lindh, KH Johansson, ... 2024 IEEE Intelligent Vehicles Symposium (IV), 149-155, 2024 | 10 | 2024 |
| 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 | 10 | 2019 |
| Guaranteed completion of complex tasks via temporal logic trees and hamilton-jacobi reachability FJ Jiang, KM Arfvidsson, C He, M Chen, KH Johansson 2024 IEEE 63rd Conference on Decision and Control (CDC), 5203-5210, 2024 | 9 | 2024 |
| Polynomial logical zonotope: A set representation for reachability analysis of logical systems A Alanwar, FJ Jiang, KH Johansson Automatica 171, 111896, 2025 | 7 | 2025 |
| Formal verification of linear temporal logic specifications using hybrid zonotope-based reachability analysis L Hadjiloizou, FJ Jiang, A Alanwar, KH Johansson 2024 European Control Conference (ECC), 579-584, 2024 | 7 | 2024 |
| 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 | 7 | 2022 |
| Towards Open-Source and Modular Space Systems with ATMOS P Roque, S Phodapol, E Krantz, J Lim, J Verhagen, FJ Jiang, D Dörner, ... arXiv preprint arXiv:2501.16973, 2025 | 5 | 2025 |
| Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis KM Arfvidsson, FJ Jiang, KH Johansson, J Mårtensson 2024 IEEE Intelligent Vehicles Symposium (IV), 292-298, 2024 | 5 | 2024 |
Karl H. JohanssonEECS and Digital Futures, KTH Royal Institute of Technology, SwedenVerified email at kth.se
