Safety Synthesis for Incrementally Stable Switched Systems using Discretization-Free Multi-Resolution Abstractions - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles Acta Informatica Year : 2020

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

Antoine Girard
Gregor Gössler

Abstract

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
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
141 View
260 Download

Altmetric

Share

More