Skip to Main content Skip to Navigation
Conference papers

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

Euriell Le Corronc 1 Antoine Girard 1, * Gregor Gössler 2, *
* Corresponding author
2 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
LIG - Laboratoire d'Informatique de Grenoble, Inria Grenoble - Rhône-Alpes
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.
Complete list of metadata
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Tuesday, January 7, 2014 - 11:06:14 AM
Last modification on : Thursday, October 28, 2021 - 8:38:01 AM



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. pp.3225-3230, ⟨10.1109/CDC.2013.6760375⟩. ⟨hal-00924815⟩



Record views