Compositional Synthesis of Symbolic Controllers for Attractivity Specifications - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Compositional Synthesis of Symbolic Controllers for Attractivity Specifications

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
48 View
118 Download

Altmetric

Share

Gmail Facebook X LinkedIn More