Abstraction based verification of stability of polyhedral switched systems
- García Soto, M.
- Prabhakar, P.
Revue:
Nonlinear Analysis: Hybrid Systems
ISSN: 1751-570X
Année de publication: 2020
Volumen: 36
Type: Article
