Synthesis of switching controllers using approximately bisimilar multiscale abstractions

Abstract : When available, discrete abstractions provide an appealing approach to controller synthesis. Recently, an approach for computing discrete abstractions of incrementally stable switched systems has been proposed, using the notion of approximate bisimulation. This approach is based on sampling of time and space where the sampling parameters must satisfy some relation in order to achieve a certain precision. Particularly, the smaller the sampling period, the finer the lattice approximating the state-space and the larger the number of states in the abstraction. This renders the use of these abstractions for synthesis of fast switching controllers computationally prohibitive. In this paper, we present a novel class of multiscale discrete abstractions for switched systems that allows us to deal with fast switching while keeping the number of states in the abstraction at a reasonable level. The transitions of our abstractions have various durations: for transitions of longer duration, it is sufficient to consider abstract states on a coarse lattice; for transitions of shorter duration, it becomes necessary to use finer lattices. These finer lattices are effectively used only on a restricted area of the state-space where the fast switching occurs. We show how to use these abstractions for multiscale synthesis of self-triggered switching controllers for reachability specifications under time optimization. We illustrate the merits of our approach by applying it to the boost DC-DC converter.
Type de document :
Communication dans un congrès
HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, 2011, 〈10.1145/1967701.1967730〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00665219
Contributeur : Gregor Gössler <>
Soumis le : mercredi 1 février 2012 - 14:12:19
Dernière modification le : jeudi 11 janvier 2018 - 06:26:19

Identifiants

Collections

Citation

Javier Cámara, Antoine Girard, Gregor Gössler. Synthesis of switching controllers using approximately bisimilar multiscale abstractions. HSCC 2011 - 14th International Conference on Hybrid Systems: Computation and Control, Apr 2011, Chicago, IL, United States. pp.191-200, 2011, 〈10.1145/1967701.1967730〉. 〈hal-00665219〉

Partager

Métriques

Consultations de la notice

313