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 Saoud | 1 | 3 | 2.11 |
Antoine Girard | 2 | 1937 | 117.56 |
L. Fribourg | 3 | 77 | 16.13 |