Hybrid Systems: Computation and Control
From MaRDI portal
Publication:5898987
DOI10.1007/11730637zbMath1178.68318OpenAlexW2478741156MaRDI 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
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Hybrid queueing systems with hysteretic bilevel control policies ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ Safety verification for probabilistic hybrid systems ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Approximate simulation relations for hybrid systems ⋮ Approximate equivalence and synchronization of metric transition systems ⋮ On a dual hybrid queueing system
Uses Software
This page was built for publication: Hybrid Systems: Computation and Control
