Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems

Adnane Saoud 1, 2, 3 Antoine Girard 2 Laurent Fribourg 1, 3
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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 mul-tiperiodic 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.
Type de document :
Communication dans un congrès
57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01857389
Contributeur : Adnane Saoud <>
Soumis le : mercredi 15 août 2018 - 19:09:50
Dernière modification le : jeudi 25 octobre 2018 - 11:48:01
Document(s) archivé(s) le : vendredi 16 novembre 2018 - 12:51:06

Fichier

saoud_Hal.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01857389, version 1

Citation

Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems. 57th IEEE Conference on Decision and Control (CDC 2018), Dec 2018, Miami Beach, FL, United States. 〈hal-01857389〉

Partager

Métriques

Consultations de la notice

356

Téléchargements de fichiers

107