Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems

Euriell Le Corronc 1 Antoine Girard 1, * Gregor Gössler 2, *
* Auteur correspondant
Abstract : We present a novel approach to the computation of symbolic abstractions of incrementally stable switched systems. The main novelty consists in using mode sequences of given length as symbolic states for our abstractions. We show that the resulting symbolic models are approximately bisimilar to the original switched system and that an arbitrary precision can be achieved by considering sufficiently long mode sequences. The advantage of this approach over existing ones is double: firstly, the transition relation of the symbolic model admits a very compact representation under the form of a shift operator; secondly, our approach does not use lattices over the state-space and can potentially be used for higher dimensional systems. We provide a theoretical comparison with the lattice-based approach and present a simple criterion enabling to choose the most appropriate approach for a given switched system. Finally, we show an application to a model of road traffic for which we synthesize a schedule for the coordination of traffic lights under constraints of safety and fairness.
Type de document :
Communication dans un congrès
CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, <10.1109/CDC.2013.6760375>
Liste complète des métadonnées

https://hal.inria.fr/hal-00924815
Contributeur : Gregor Gössler <>
Soumis le : mardi 7 janvier 2014 - 11:06:14
Dernière modification le : jeudi 17 mars 2016 - 01:05:39

Identifiants

Collections

Citation

Euriell Le Corronc, Antoine Girard, Gregor Gössler. Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems. CDC 2013 - 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, <10.1109/CDC.2013.6760375>. <hal-00924815>

Partager

Métriques

Consultations de la notice

375