Low-complexity switching controllers for safety using symbolic models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Low-complexity switching controllers for safety using symbolic models

Résumé

In this paper, we consider the problem of synthesizing low-complexity safety controllers for incrementally stable switched systems. For that purpose, we establish a new approximation result for the computation of symbolic models that are approximately bisimilar to a given switched system. The main advantage over existing results is that it allows us to design quantized switching controllers for safety specifications; these can be computed offline and therefore the online execution time is greatly reduced. Then, we present a technique to reduce the memory needed to store the control law by borrowing ideas from algebraic decision diagrams for compact function representation and by exploiting the non-determinism inherent to safety controllers. We show the merits of our approach by applying it to a simple model of temperature regulation in a building.
Fichier non déposé

Dates et versions

hal-00769673 , version 1 (02-01-2013)

Identifiants

Citer

Antoine Girard. Low-complexity switching controllers for safety using symbolic models. 4th IFAC Conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.82-87, ⟨10.3182/20120606-3-NL-3011.00014⟩. ⟨hal-00769673⟩
112 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More