Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
Girard, Antoine, Gössler, GregorLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-019-00341-x
Date:
September, 2019
File:
PDF, 648 KB
english, 2019