Abstraction based verification of stability of polyhedral switched systems

  1. García Soto, M.
  2. Prabhakar, P.
Revista:
Nonlinear Analysis: Hybrid Systems

ISSN: 1751-570X

Año de publicación: 2020

Volumen: 36

Tipo: Artículo

DOI: 10.1016/J.NAHS.2020.100856 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus