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

Adnane Saoud 1, 2 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 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.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02132070
Contributor : Adnane Saoud <>
Submitted on : Thursday, May 16, 2019 - 5:29:54 PM
Last modification on : Friday, June 14, 2019 - 11:38:02 AM

File

double_column.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02132070, version 1

Citation

Adnane Saoud, Antoine Girard, Laurent Fribourg. Contract-based Design of Symbolic Controllers for Safety in Distributed Multiperiodic Sampled-Data Systems. 2019. ⟨hal-02132070⟩

Share

Metrics

Record views

71

Files downloads

69