Abstraction based verification of stability of polyhedral switched systems

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

ISSN: 1751-570X

Argitalpen urtea: 2020

Alea: 36

Mota: Artikulua

DOI: 10.1016/J.NAHS.2020.100856 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus