2 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.RO2021★ 2 cited
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles
Shengduo Chen, Yaowei Sun, Dachuan Li +3
Providing safety guarantees for Autonomous Vehicle (AV) systems with machine-learning-based controllers remains a challenging issue. In this work, we propose Simplex-Drive, a frame…
cs.RO2021
A hybrid controller for safe and efficient collision avoidance control
Qiang Wang, Xinlei Zheng, Jiyong Zhang +1
We design and experimentally evaluate a hybrid safe-by-construction collision avoidance controller for autonomous vehicles. The controller combines into a single architecture the r…
eess.SY2020
Safe and efficient collision avoidance control for autonomous vehicles
Qiang Wang, Dachuan Li, Joseph Sifakis
We study a novel principle for safe and efficient collision avoidance that adopts a mathematically elegant and general framework abstracting as much as possible from the controlled…