| 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 | 179 | 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 | 40 | 2016 |
| 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 | 13 | 2020 |
| 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 | 12 | 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 | 10 | 2021 |
| 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 | 10 | 2020 |
| 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 | 9 | 2019 |
| 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 | 7* | 2023 |
| Human-centered design for safe teleoperation of connected vehicles FJ Jiang, Y Gao, L Xie, KH Johansson IFAC-PapersOnLine 53 (5), 224-231, 2020 | 7 | 2020 |
| 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 | 7 | 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 | 4 | 2022 |
| 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 | 3* | 2023 |
| 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 | 3 | 2022 |
| 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, 02783649231212572, 2023 | 2 | 2023 |
| Safe Teleoperation of Connected and Automated Vehicles FJ Jiang, J Mårtensson, KH Johansson Cyber–Physical–Human Systems: Fundamentals and Applications, 251-272, 2023 | 2 | 2023 |
| Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems A Alanwar, FJ Jiang, KH Johansson arXiv preprint arXiv:2306.12508, 2023 | 1 | 2023 |
| 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 | | 2024 |
| Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis L Hadjiloizou, FJ Jiang, A Alanwar, KH Johansson arXiv preprint arXiv:2404.03308, 2024 | | 2024 |
| Formal Verification with Constrained Polynomial Logical Zonotope A Hafez, FJ Jiang, KH Johansson, A Alanwar arXiv preprint arXiv:2403.18564, 2024 | | 2024 |
| 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 | | 2024 |
Karl H. JohanssonEECS and Digital Futures, KTH Royal Institute of Technology, SwedenDirección de correo verificada de kth.se
