Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems - Laboratoire Méthodes Formelles
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2021

Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems

Résumé

This paper presents a symbolic control approach to the design of distributed safety controllers for a class of continuous-time nonlinear systems. More precisely, we consider systems made of components where each component is equipped with a sampled-data controller with its own sampling period, resulting globally in a distributed multiperiodic sampled-data system. Moreover, controllers receive partial information on the state of the other components. We propose a component-based approach to controller synthesis, which relies on the use of abstractions and continuous-time assume-guarantee contracts. The abstractions describe the dynamics of the system from the point of view of each component based on the information structure, while assume-guarantee contracts specify guarantees that a component must satisfy if assumptions on the other components are met. We show that our approach makes it possible to decompose a global safety control problem into local ones that can be solved independently. We then show how symbolic control techniques can be used to synthesize controllers that enforce the local control objectives. Illustrative applications in building automation and vehicle platooning are shown.
Fichier principal
Vignette du fichier
TAC1-2.pdf (981.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02132070 , version 1 (16-05-2019)
hal-02132070 , version 2 (02-05-2020)

Identifiants

Citer

Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. IEEE Transactions on Automatic Control, 2021, 66 (3), pp.1055-1070. ⟨10.1109/tac.2020.2992446⟩. ⟨hal-02132070v2⟩
236 Consultations
510 Téléchargements

Altmetric

Partager

More