Compositional Synthesis of Symbolic Controllers for Attractivity Specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Résumé

Attractivity specifications consist in driving the state of a system to a target region and to keep it in that region afterwards. In this paper, we develop a compositional approach to symbolic controller synthesis for attractivity specifications. The approach consists in computing iteratively for each subsystem, refinements of the least-violating attractivity controller, and of the associated attractor. The controllers and attractors computed at a given iteration are used at the next iteration as control and external input constraints. The resulting fixed-point algorithm allows us to compute a decentralized attractivity controller for the interconnected system which minimizes the size of the attractor. To illustrate the effectiveness of our approach, we show an application for the temperature regulation of adjacent rooms of a building.
Fichier principal
Vignette du fichier
CDC2021_ApazaPerez-Girard_vFinal.pdf (214.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03349984 , version 1 (21-09-2021)

Identifiants

Citer

W Alejandro Apaza-Perez, Antoine Girard. Compositional Synthesis of Symbolic Controllers for Attractivity Specifications. IEEE 60th Conference on Decision and Control (CDC 2021), Dec 2021, Austin, United States. ⟨10.1109/CDC45484.2021.9682817⟩. ⟨hal-03349984⟩
44 Consultations
114 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More