Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898987
DOI10.1007/11730637zbMath1178.68318MaRDI QIDQ5898987
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
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Safety verification for probabilistic hybrid systems, Hybrid queueing systems with hysteretic bilevel control policies, Approximate simulation relations for hybrid systems, Approximate equivalence and synchronization of metric transition systems, On a dual hybrid queueing system, Order-reduction abstractions for safety verification of high-dimensional linear systems
Uses Software