1 citations · 1 across the 2 of their papers we have counts for
2 papers
eess.SY2022★ 1 cited
Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications
Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou +1
We present a compositional control synthesis method based on assume-guarantee contracts with application to correct-by-construction design of vehicular mission plans. In our approa…
eess.SY2022
Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints
Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo +1
The safety-critical nature of adaptive cruise control (ACC) systems calls for systematic design procedures, e.g., based on formal methods or control barrier functions (CBFs), to pr…