A Class of Decidable Parametric Hybrid Systems
From MaRDI portal
Publication:2996138
DOI10.1007/3-540-45719-4_10zbMath1275.68085OpenAlexW1505589413MaRDI QIDQ2996138
Michaël Adélaïde, Olivier Roux
Publication date: 6 May 2011
Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45719-4_10
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
