2 citations · 3 across the 9 of their papers we have counts for
8 papers · 1 filter
pyspect: An Extensible Toolbox for Automatic Construction of Temporal Logic Trees via Reachability Analysis
Kaj Munhoz Arfvidsson, Loizos Hadjiloizou, Frank J. Jiang +2
In this paper, we present pyspect, a Python toolbox that simplifies the use of reachability analysis for temporal logic problems. Currently, satisfying complex requirements in cybe…
Beyond Line-of-Sight: Cooperative Localization Using Vision and V2X Communication
Annika Wong, Zhiqi Tang, Frank J. Jiang +2
Accurate and robust localization is critical for the safe operation of Connected and Automated Vehicles (CAVs), especially in complex urban environments where Global Navigation Sat…
Towards Safe Autonomous Intersection Management: Temporal Logic-based Safety Filters for Vehicle Coordination
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson +1
In this paper, we introduce a temporal logic-based safety filter for Autonomous Intersection Management (AIM), an emerging infrastructure technology for connected vehicles to coord…
Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
Kaj Munhoz Arfvidsson, Frank J. Jiang, Karl H. Johansson +1
In this work, we propose an approach for ensuring the safety of vehicles passing through an intelligent intersection. There are many proposals for the design of intelligent interse…
Small-Scale Testbed for Evaluating C-V2X Applications on 5G Cellular Networks
Kaj Munhoz Arfvidsson, Kleio Fragkedaki, Frank J. Jiang +4
In this work, we present a small-scale testbed for evaluating the real-life performance of cellular V2X (C-V2X) applications on 5G cellular networks. Despite the growing interest a…
Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He +2
In this paper, we present an approach for guaranteeing the completion of complex tasks with cyber-physical systems (CPS). Specifically, we leverage temporal logic trees constructed…
Formal Verification of Linear Temporal Logic Specifications Using Hybrid Zonotope-Based Reachability Analysis
Loizos Hadjiloizou, Frank J. Jiang, Amr Alanwar +1
In this paper, we introduce a hybrid zonotope-based approach for formally verifying the behavior of autonomous systems operating under Linear Temporal Logic (LTL) specifications. I…
Reachability Analysis Using Constrained Polynomial Logical Zonotopes
Ahmad Hafez, Frank J. Jiang, Karl H. Johansson +1
In this paper, we propose reachability analysis using constrained polynomial logical zonotopes. We perform reachability analysis to compute the set of states that could be reached.…