Paper Info
Title
Contract Based Design Of Symbolic Controllers For Interconnected Multiperiodic Sampled-Data Systems
Abstract
This paper deals with the synthesis of symbolic controllers for interconnected sampled-data systems where each component has its own sampling period. A compositional approach based on continuous-time assume-guarantee contracts is used. We provide sufficient conditions guaranteeing for a sampled-data system, satisfaction of an assume-guarantee contract and completeness of trajectories. Then, compositional results can be used to reason about interconnection of multiperiodic sampled-data systems. We then show how discrete abstractions and symbolic control techniques can be applied to enforce the satisfaction of contracts and ensure completeness of trajectories. Finally, theoretical results are applied to a vehicle platooning problem on a circular road, which show the effectiveness of our approach.
Year
DOI
Venue
2018
10.1109/CDC.2018.8619099
2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC)
Field
DocType
ISSN
Mathematical optimization,Computer science,Contract based design,Sampling (signal processing),Vehicle platooning,Sampled data systems,Interconnection,Completeness (statistics)
Conference
0743-1546
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Adnane Saoud132.11
Antoine Girard21937117.56
Laurent Fribourg377569.28