Visual Modeling of ROS Launch Files
This work presents a model-integrated approach using WebGME for visual design of launch files within the Robotic Operating System (ROS). A ROS launch file defines nodes to run and …
V2X-Enabled Communication for Traffic Operations via ROS
The traffic system consists of vehicular components and road infrastructure across both cyber and physical layers. A key challenge in traffic operations is ensuring effective …
Junyi Ji
Robustness verification for knowledge-based logic of risky driving scenes
Xia Wang
Human-In-The-Loop Classification of Adaptive Cruise Control at a Freeway Scale
Xia Wang
High-Level Scenario Management For Parallel Autonomous Vehicle Simulation
Autonomous Vehicle (AV) simulations are ubiquitous and crucial for offline analysis and development of AV solutions. However, deploying and utilizing simulation technology at scale …
Alex Richardson
Enabling Analysis and Visualization of Transportation Big Data
Transportation studies generate massive amounts of data that are difficult to store, process, query and visualize quickly and easily. Overcoming these challenges are an essential …
Stephen Rees
Combining LLMs with a Logic-Based Framework to Explain MCTS
In response to the lack of trust in Artificial Intelligence (AI) for sequential planning, we design a Computational Tree Logic-guided large language model (LLM)-based natural …
Ziyan An
Can control barrier functions keep automated vehicles safe in live freeway traffic?
This work presents testing of a Control Barrier Function (CBF) supervised Automated Vehicle (AV) in live freeway traffic. The CBF is designed and implemented using a common …
Using Automated Vehicle Data as a Fitness Tracker for Sustainability
Xia Wang