Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMATH Open1178.68332OpenAlexW2478741156MaRDI QIDQ5898967FDOQ5898967

Authors Rajeev Alur, Mikhail Bernadsky

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)

Recommendations

• Symbolic Analysis for GSMP Models with One Stateful Clock
• scientific article; zbMATH DE number 176728
• Computer Aided Verification
• scientific article; zbMATH DE number 1507207
• Stochastic model checking

Cited in

(4)

• Performance evaluation of schedulers in a probabilistic setting
• When are stochastic transition systems tameable?
• Fixed-delay events in generalized semi-Markov processes revisited
• Symbolic Analysis for GSMP Models with One Stateful Clock

Describes a project that uses

Uses Software

• MoDeST
• Java PathFinder

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5898967)