We present a compositional control synthesis method based on assume-guarantee contracts with application to correct-by-construction design of vehicular ...

Sep 15, 2022 · The barrier functions are used to constrain the lower-level control synthesis problem, which is solved via quadratic programming. Our approach ...

In this paper, we focus on CBF-based methods, which were shown to be effective in vehicle control applications such as lane-keeping [20] and provably correct ...

Bibliographic details on Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning.

The barrier functions are used to constrain the lower-level control synthesis problem, which is solved via quadratic programming. Our approach can mitigate the ...

I am happy to share that our paper "Contract-Based Control Synthesis with Barrier Functions for Vehicular Mission Planning" got accepted in IEEE Conference on…

Contract-based control synthesis with barrier functions for vehicular mission planning. M Waqas, NV Naik, P Ioannou, P Nuzzo. 2022 IEEE 61st Conference on ...

Dec 2022: Our paper “Contract-based Control Synthesis with Barrier Functions for Vehicular Mission Planning” has been accepted at CDC 2022. Congratulations ...

Contract-based control synthesis with barrier functions for vehicular mission planning. M Waqas, NV Naik, P Ioannou, P Nuzzo. 2022 IEEE 61st Conference on ...

The STL predicates are then mapped to an aggregation of contracts associated with continuously differentiable time-varying control barrier functions. The ...