Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems

Abstract : Methods for computing approximately bisimilar symbolic models for incrementally stable switched systems are often based on discretization of time and space, where the value of time and space sampling parameters must be carefully chosen in order to achieve a desired precision. These approaches can result in symbolic models that have a very large number of transitions, especially when the time sampling, and thus the space sampling parameters are small. In this paper, we present an approach to the computation of symbolic models for switched systems with dwell-time constraints using multirate time sampling, where the period of symbolic transitions is a multiple of the control (i.e. switching) period. We show that all the multirate symbolic models, resulting from the proposed construction, are approximately bisimilar to the original incrementally stable switched system with the precision depending on the sampling parameters, and the sampling factor between transition and control periods. The main contribution of the paper is the explicit determination of the optimal sampling factor, which minimizes the number of transitions in the class of proposed symbolic models for a prescribed precision. Interestingly, we prove that this optimal sampling factor is mainly determined by the state space dimension and the number of modes of the switched system. Finally, an illustration of the proposed approach is shown on an example, which shows the benefit of multirate symbolic models in reducing the computational cost of abstraction-based controller synthesis.
Type de document :
Article dans une revue
Automatica, Elsevier, 2018, 98, pp.58-65. 〈10.1016/j.automatica.2018.09.005〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01860113
Contributeur : Adnane Saoud <>
Soumis le : jeudi 23 août 2018 - 02:50:06
Dernière modification le : lundi 26 novembre 2018 - 16:57:47
Document(s) archivé(s) le : samedi 24 novembre 2018 - 12:42:13

Fichier

v2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Adnane Saoud, Antoine Girard. Optimal Multirate Sampling in Symbolic Models for Incrementally Stable Switched Systems. Automatica, Elsevier, 2018, 98, pp.58-65. 〈10.1016/j.automatica.2018.09.005〉. 〈hal-01860113〉

Partager

Métriques

Consultations de la notice

150

Téléchargements de fichiers

64