Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.68332OpenAlexW2478741156MaRDI QIDQ5898967

Mikhail Bernadsky, Rajeev Alur

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

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ When are stochastic transition systems tameable? ⋮ Fixed-Delay Events in Generalized Semi-Markov Processes Revisited

Uses Software

• MoDeST
• Java PathFinder

This page was built for publication: Hybrid Systems: Computation and Control