Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions

Complete list of metadatas

https://hal.inria.fr/hal-02291222
Contributor : Gregor Gössler <>
Submitted on : Wednesday, September 18, 2019 - 2:07:10 PM
Last modification on : Friday, October 25, 2019 - 1:25:37 AM

Links full text

Identifiers

Citation

Antoine Girard, Gregor Gössler. Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions. Acta Informatica, Springer Verlag, 2019, pp.1-28. ⟨10.1007/s00236-019-00341-x⟩. ⟨hal-02291222⟩

Share

Metrics

Record views

36