Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability

Authors: Jiang, Frank J., Arfvidsson, Kaj Munhoz, He, Chong, Chen, Mo, Johansson, Karl H.

Source: 2024 IEEE 63rd Conference on Decision and Control (CDC) Decision and Control (CDC), 2024 IEEE 63rd Conference on. :5203-5210 Dec, 2024

Relation: 2024 IEEE 63rd Conference on Decision and Control (CDC)

Towards Open-Source and Modular Space Systems with ATMOS

Authors: Roque, Pedro, Phodapol, Sujet, Krantz, Elias, Lim, Jaeyoung, Verhagen, Joris, Jiang, Frank J., Dörner, David, Mao, Huina, Tibert, Gunnar, Siegwart, Roland, Stenius, Ivan, Tumova, Jana, Fuglesang, Christer, Dimarogonas, Dimos V.

Subject Terms: Computer Science - Robotics

Access URL: http://arxiv.org/abs/2501.16973

Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis

Authors: Hadjiloizou, Loizos, Jiang, Frank J., Alanwar, Amr, Johansson, Karl H.

Source: 2024 European Control Conference (ECC) Control Conference (ECC), 2024 European. :579-584 Jun, 2024

Relation: 2024 European Control Conference (ECC)

Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks

Authors: Arfvidsson, Kaj Munhoz, Fragkedaki, Kleio, Jiang, Frank J., Narri, Vandana, Lindh, Hans-Cristian, Johansson, Karl H., Martensson, Jonas

Source: 2024 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2024 IEEE. :149-155 Jun, 2024

Relation: 2024 IEEE Intelligent Vehicle Symposium (IV)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

Authors: Arfvidsson, Kaj Munhoz, Jiang, Frank J., Johansson, Karl H., Martensson, Jonas

Source: 2024 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2024 IEEE. :292-298 Jun, 2024

Relation: 2024 IEEE Intelligent Vehicle Symposium (IV)

Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination

Authors: Arfvidsson, Kaj Munhoz, Jiang, Frank J., Johansson, Karl H., Mårtensson, Jonas

Subject Terms: Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2408.14870

Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis

Authors: Fragkedaki, Kleio, Jiang, Frank J., Johansson, Karl H., Mårtensson, Jonas

Subject Terms: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2408.15250

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Authors: Alanwar, Amr, Jiang, Frank J., Amin, Samy, Johansson, Karl H.

Source: 2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :60-66 Dec, 2023

Relation: 2023 62nd IEEE Conference on Decision and Control (CDC)

Data-Driven Reachability Analysis of Pedestrians Using Behavior Modes

Authors: Soderlund, August, Jiang, Frank J., Narri, Vandana, Alanwar, Amr, Johansson, Karl H.

Source: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) Intelligent Transportation Systems (ITSC), 2023 IEEE 26th International Conference on. :4025-4031 Sep, 2023

Relation: 2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)

Reachability Analysis Using Constrained Polynomial Logical Zonotopes

Authors: Hafez, Ahmad, Jiang, Frank J., Johansson, Karl H., Alanwar, Amr

Subject Terms: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2403.18564

SVEA: an experimental testbed for evaluating V2X use-cases

Authors: Jiang, Frank J., Al-Janabi, Mustafa, Bolin, Tobias, Johansson, Karl H., Martensson, Jonas

Source: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) Intelligent Transportation Systems (ITSC), 2022 IEEE 25th International Conference on. :3484-3489 Oct, 2022

Relation: 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

Authors: Alanwar, Amr, Jiang, Frank J., Sharifi, Maryam, Dimarogonas, Dimos V., Johansson, Karl H.

Source: 2022 International Conference on Robotics and Automation (ICRA) Robotics and Automation (ICRA), 2022 IEEE International Conference on. :6793-6799 May, 2022

Relation: 2022 IEEE International Conference on Robotics and Automation (ICRA)

This result is not displayed to guests.
Login for full access.

Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems

Authors: Alanwar, Amr, Jiang, Frank J., Johansson, Karl H.

Subject Terms: Computer Science - Logic in Computer Science, Computer Science - Computational Complexity, Computer Science - Data Structures and Algorithms, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2306.12508

Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions

Authors: Alanwar, Amr, Jiang, Frank J., Amin, Samy, Johansson, Karl H.

Subject Terms: Electrical Engineering and Systems Science - Systems and Control, Computer Science - Computational Complexity, Computer Science - Cryptography and Security, Computer Science - Logic in Computer Science

Access URL: http://arxiv.org/abs/2210.08596

Ensuring safety for vehicle parking tasks using Hamilton-Jacobi reachability analysis

Authors: Jiang, Frank J., Gao, Yulong, Xie, Lihua, Johansson, Karl H.

Source: 2020 59th IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2020 59th IEEE Conference on. :1416-1421 Dec, 2020

Relation: 2020 59th IEEE Conference on Decision and Control (CDC)

Stochastic Modeling and Optimal Control for Automated Overtaking

Authors: Gao, Yulong, Jiang, Frank J., Johansson, Karl H., Xie, Lihua

Source: 2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :1273-1278 Dec, 2019

Relation: 2019 IEEE 58th Conference on Decision and Control (CDC)

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

Authors: Alanwar, Amr, Jiang, Frank J., Sharifi, Maryam, Dimarogonas, Dimos V., Johansson, Karl H.

Subject Terms: Computer Science - Robotics, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2109.07121

Online Control Synthesis for Uncertain Systems under Signal Temporal Logic Specifications

Authors: Yu, Pian, Gao, Yulong, Jiang, Frank J., Johansson, Karl H., Dimarogonas, Dimos V.

Subject Terms: Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2103.09091

Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems

Authors: Gao, Yulong, Abate, Alessandro, Jiang, Frank J., Giacobbe, Mirco, Xie, Lihua, Johansson, Karl H.

Subject Terms: Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2007.02271