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
Contributor : Adnane Saoud <>
Submitted on : Thursday, May 16, 2019 - 5:29:54 PM
Last modification on : Friday, June 14, 2019 - 11:38:02 AM


Files produced by the author(s)


  • HAL Id : hal-02132070, version 1


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



Record views


Files downloads