Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions
Work
Year: 2019
Type: article
Source: Acta Informatica
Authors Antoine Girard, Gregor Gößler
Institutions CentraleSupélec, Université Paris-Saclay, Université Paris-Sud, Centre National de la Recherche Scientifique, Centre Inria de l'Université Grenoble Alpes +3 more
Cites: 50
Cited by: 5
Related to: 10
FWCI: 0.659
Citation percentile (by year/subfield): 70.46
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: green