2 citations · 3 across the 13 of their papers we have counts for
13 papers
Demonstration of Space Robot Teleoperation over a Lossy and Delayed Network using ATMOS
Inkyu Jang, Gregorio Marchesini, Nicola De Carli +15
We present a demonstration showcasing the Autonomy Testbed for Multi-purpose Orbiting Systems (ATMOS), a planar spacecraft-analog robot designed for hardware-in-the-loop evaluation…
Shared Situational Awareness Using Hybrid Zonotopes with Confidence Metric
Vandana Narri, Jonah J. Glunt, Joshua A. Robbins +3
Situational awareness for connected and automated vehicles describes the ability to perceive and predict the behavior of other road-users in the near surroundings. However, pedestr…
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…
Safe platooning control of connected and autonomous vehicles on curved multi-lane roads
Xiao Chen, Zhiqi Tang, Karl Henrik Johansson +1
This paper investigates the safe platoon formation tracking and merging control problem of connected and automated vehicles (CAVs) on curved multi-lane roads. The first novelty is…
Observer-Based Control of Second-Order Multi-vehicle Systems in Bearing-Persistently Exciting Formations
Zhiqi Tang, Baris Fidan, Karl H. Johansson +2
This paper proposes an observer-based formation tracking control approach for multi-vehicle systems with second-order motion dynamics, assuming that vehicles' relative or global po…
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…
Pedestrian Motion Prediction Using Transformer-based Behavior Clustering and Data-Driven Reachability Analysis
Kleio Fragkedaki, Frank J. Jiang, Karl H. Johansson +1
In this work, we present a transformer-based framework for predicting future pedestrian states based on clustered historical trajectory data. In previous studies, researchers propo…
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.…