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

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

Mathematics Subject Classification ID

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

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

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)