Averist: Algorithmic verifier for stability of linear hybrid systems

  1. Soto, M.G.
  2. Prabhakar, P.
Actas:
HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

ISBN: 9781450356428

Año de publicación: 2018

Páginas: 259-264

Tipo: Aportación congreso

DOI: 10.1145/3178126.3178154 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible