3 papers
eess.SY2025
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…
eess.SY2025
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…
eess.SY2024
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…