Title
Contract based Design of Symbolic Controllers for Vehicle Platooning.
Abstract
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 assume-guarantee contract; and a controller is synthesized using symbolic control to enforce the satisfaction of this contract. The assume-guarantee 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.
Year
Venue
Field
2018
HSCC
Asynchronous communication,Control theory,Platoon,Computer science,Contract based design,Control engineering,Vehicle platooning,Sampling (statistics)
DocType
ISBN
Citations 
Conference
978-1-4503-5642-8
0
PageRank 
References 
Authors
0.34
1
3
Name
Order
Citations
PageRank
Adnane Saoud132.11
Antoine Girard21937117.56
L. Fribourg37716.13