Abstraction based verification of stability of polyhedral switched systems
- García Soto, M.
- Prabhakar, P.
Zeitschrift:
Nonlinear Analysis: Hybrid Systems
ISSN: 1751-570X
Datum der Publikation: 2020
Ausgabe: 36
Art: Artikel
