8 citations · 14 across the 7 of their papers we have counts for
11 papers
Correct by Design Coordination of Autonomous Driving Systems
Marius Bozga, Joseph Sifakis
The paper proposes a method for the correct by design coordination of autonomous driving systems (ADS). It builds on previous results on collision avoidance policies and the modeli…
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…
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Marius Bozga, Joseph Sifakis
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable agent systems whose specification and validation raises extremely challenging problems. The paper presents a mu…
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…
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…
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…