default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrank Jiang 0003
Person information
- affiliation: University of California, Berkeley, Department of Electrical Engineering and Computer Sciences, CA, USA
Other persons with the same name
- Frank Jiang 0001
![[0000-0003-3088-8525]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-3088-8525")
— Deakin University, Faculty of Science, Engineering and Built Environment, Geelong, Australia (and 3 more) - Frank Jiang 0002 — Georgia Institute of Technology, USA
- Frank Jiang 0004 — KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science, Stockholm, Sweden
- Frank Jiang 0005 — Facebook, Menlo Park, CA, USA
- Frank Jiang 0006 — AT&T Labs, San Ramon, CA, USA
- Frank Jiang 0007 — Cleveland State University, OH, USA
2020 – today
- 2025
[j5]Amr Al-Anwar, Frank J. Jiang, Karl Henrik Johansson:
Polynomial logical zonotope: A set representation for reachability analysis of logical systems. Autom. 171: 111896 (2025)- [i15]Pedro Roque, Sujet Phodapol, Elias Krantz, Jaeyoung Lim, Joris Verhagen, Frank Jiang, David Dorner, Roland Siegwart, Ivan Stenius, Gunnar Tibert, Huina Mao, Jana Tumova, Christer Fuglesang, Dimos V. Dimarogonas:
Towards Open-Source and Modular Space Systems with ATMOS. CoRR abs/2501.16973 (2025) - 2024
- [j4]Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Al-Anwar:
Reachability Analysis Using Constrained Polynomial Logical Zonotopes. IEEE Control. Syst. Lett. 8: 2277-2282 (2024) - [j3]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): 765-790 (2024) - [c11]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. CDC 2024: 5203-5210 - [c10]Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson:
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. ECC 2024: 579-584 - [c9]Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson:
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. IV 2024: 149-155 - [c8]Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. IV 2024: 292-298 - [i14]Ahmad Hafez, Frank J. Jiang, Karl Henrik Johansson, Amr Alanwar:
Formal Verification with Constrained Polynomial Logical Zonotope. CoRR abs/2403.18564 (2024) - [i13]Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar, Karl Henrik Johansson:
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis. CoRR abs/2404.03308 (2024) - [i12]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 abs/2404.08334 (2024) - [i11]Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang, Vandana Narri, Hans-Cristian Lindh, Karl Henrik Johansson, Jonas Mårtensson:
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks. CoRR abs/2405.05911 (2024) - [i10]Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis. CoRR abs/2405.11300 (2024) - [i9]Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination. CoRR abs/2408.14870 (2024) - [i8]Kleio Fragkedaki, Frank J. Jiang, Karl Henrik Johansson, Jonas Mårtensson:
Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis. CoRR abs/2408.15250 (2024) - 2023
- [c7]Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson:
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. CDC 2023: 60-66 - [c6]August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson:
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. ITSC 2023: 4025-4031 - [i7]Amr Alanwar, Frank J. Jiang, Karl Henrik Johansson:
Polynomial Logical Zonotopes: A Set Representation for Reachability Analysis of Logical Systems. CoRR abs/2306.12508 (2023) - [i6]August Söderlund, Frank J. Jiang, Vandana Narri, Amr Alanwar, Karl Henrik Johansson:
Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes. CoRR abs/2308.10634 (2023) - 2022
- [j2]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): 5071-5086 (2022) - [j1]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): 1460-1472 (2022) - [c5]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: 6793-6799 - [c4]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: 3484-3489 - [i5]Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson:
Logical Zonotope: A Set Representation for Binary Vectors. CoRR abs/2210.08596 (2022) - 2021
- [i4]Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson:
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information. CoRR abs/2109.07121 (2021) - 2020
- [c3]Frank J. Jiang, Yulong Gao, Lihua Xie, Karl Henrik Johansson:
Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis. CDC 2020: 1416-1421 - [i3]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 abs/2007.02271 (2020)
2010 – 2019
- 2019
- [c2]Yulong Gao, Frank J. Jiang, Karl Henrik Johansson, Lihua Xie:
Stochastic Modeling and Optimal Control for Automated Overtaking. CDC 2019: 1273-1278 - 2016
- [c1]Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin:
Learning quadrotor dynamics using neural network for flight control. CDC 2016: 4653-4660 - [i2]Somil Bansal, Anayo K. Akametalu, Frank J. Jiang, Forrest Laine, Claire J. Tomlin:
Learning Quadrotor Dynamics Using Neural Network for Flight Control. CoRR abs/1610.05863 (2016) - [i1]Frank Jiang, Glen Chou, Mo Chen, Claire J. Tomlin:
Using Neural Networks for Fast Reachable Set Computations. CoRR abs/1611.03158 (2016)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-22 00:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
