Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898990
DOI10.1007/11730637zbMath1178.68267OpenAlexW2478741156MaRDI QIDQ5898990
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11730637
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) 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)
Related Items (3)
Trajectory-Based Theory for Hybrid Systems ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ Approximate equivalence and synchronization of metric transition systems
This page was built for publication: Hybrid Systems: Computation and Control
