Model measuring for discrete and hybrid systems
From MaRDI portal
Publication:2374564
DOI10.1016/j.nahs.2016.09.001zbMath1401.68198MaRDI QIDQ2374564
Publication date: 15 December 2016
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.nahs.2016.09.001
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)