Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions - Archive ouverte HAL
Article Dans Une Revue Acta Informatica Année : 2020

Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions

Antoine Girard
Gregor Gössler

Résumé

Control of continuous and hybrid systems using discrete abstractions often suffers from scalability issues, due to the use of state space partitions as symbolic states. In this paper, for incrementally stable switched systems , we introduce a class of abstractions that do not rely on state space partitions but use mode sequences as symbolic states. Our approach differs from existing works by the possibility of considering sequences of varying length, giving the possibility to adjust locally the resolution of the abstraction. Temporal constraints on the switching signal can also be taken into account. We thus define multi-resolution bisimilar abstractions that enjoy interesting properties that can be used to design specific algorithms to synthesize safety controllers. These algorithms need not compute the full abstraction that is built incre-mentally during controller synthesis, exploring finer resolutions only when the specification cannot be enforced at the coarser level. We illustrate the approach by a numerical example inspired by road traffic regulation.
Fichier principal
Vignette du fichier
main.pdf (534.31 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02286661 , version 1 (13-09-2019)

Identifiants

Citer

Antoine Girard, Gregor Gössler. Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions. Acta Informatica, 2020, 57, pp.245-269. ⟨10.1007/s00236-019-00341-x⟩. ⟨hal-02286661⟩
145 Consultations
267 Téléchargements

Altmetric

Partager

More