5 papers · 1 filter
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…
Distributed Charging Coordination for Electric Trucks under Limited Facilities and Travel Uncertainties
Ting Bai, Yuchao Li, Andreas A. Malikopoulos +2
In this work, we address the problem of charging coordination between electric trucks and charging stations. The problem arises from the tension between the trucks' nontrivial char…
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…