Safety controller design for incrementally stable switched systems using event-based symbolic models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Safety controller design for incrementally stable switched systems using event-based symbolic models

Zohra Kader
Adnane Saoud
Antoine Girard

Résumé

In this paper, we investigate the problem of lazy safety controllers synthesis for event-based symbolic models of incrementally stable switched systems with aperiodic time sampling. First of all, we provide a novel event-based scheme for symbolic models design. The obtained symbolic models are computed while considering all transitions of different durations satisfying a triggering condition. In addition, they are related to the original switched system by a feedback refinement relation and thus useful for control applications. Then, using the particular structure of the obtained event-based symbolic model, a lazy safety controller is designed while choosing transitions of longest durations. Secondly, for the same state sampling parameter and desired precision, we show that the obtained event-based symbolic model is related by a feedback refinement relation to the classical symbolic model designed for incrementally stable switched systems with periodic time sampling. Based on this relationship, we prove analytically that the size of the set of controllable states obtained with the lazy safety controller designed for an event-based symbolic model is larger than the one obtained with a safety controller designed for the classical symbolic model. Finally, an illustrative example is proposed in order to show the efficiency of the proposed method and simulations are performed for a Boost DC-DC converter structure.
Fichier principal
Vignette du fichier
ECC2019_long_version.pdf (161.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02054930 , version 1 (24-05-2019)

Identifiants

Citer

Zohra Kader, Adnane Saoud, Antoine Girard. Safety controller design for incrementally stable switched systems using event-based symbolic models. ECC 2019 - European Control Conference, Jun 2019, Naples, Italy. ⟨10.23919/ECC.2019.8796232⟩. ⟨hal-02054930⟩
188 Consultations
199 Téléchargements

Altmetric

Partager

More