Selected publications at LSV

In this work, we present an application of symbolic control and contract based design techniques to vehicle platooning. We use a compositional approach based on continuous-time assume-guarantee contracts. Each vehicle in the platoon is assigned an assumeguarantee contract; and a controller is synthesized using symbolic control to enforce the satisfaction of this contract. The assumeguarantee framework makes it possible to deal with different types of vehicles and asynchronous controllers (i.e controllers with different sampling periods). Numerical results illustrate the effectiveness of the approach.

   address = {Porto, Portugal},
   author = {Saoud, Adnane and Girard, Antoine and Fribourg, Laurent},
   booktitle = {{P}roceedings of the 21st {ACM} {I}nternational {C}onference on {H}ybrid {S}ystems: {C}omputation and {C}ontrol ({HSCC}'18)},
   DOI = {10.1145/3178126.3187001},
   editor = {Prandini, Maria and Deshmukh, Jyotirmoy V.},
   month = apr,
   note = {Poster},
   pages = {277-278},
   publisher = {ACM Press},
   title = {Contract based Design of Symbolic Controllers for Vehicle Platooning},
   year = {2018},

About LSV

Select by Year