Synthesis of switching controllers using approximately bisimilar multiscale abstractions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Synthesis of switching controllers using approximately bisimilar multiscale abstractions

Résumé

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.
Fichier non déposé

Dates et versions

hal-00665219 , version 1 (01-02-2012)

Identifiants

Citer

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, ⟨10.1145/1967701.1967730⟩. ⟨hal-00665219⟩
216 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More