Symbolic Analysis for GSMP Models with One Stateful Clock

DOI10.1007/978-3-540-71493-4_10zbMath1221.93016OpenAlexW2110664560MaRDI QIDQ3612961

Mikhail Bernadsky, Rajeev Alur

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://repository.upenn.edu/cis_papers/502

Mathematics Subject Classification ID

Related Items (4)

Performance Evaluation of Schedulers in a Probabilistic Setting ⋮ When are stochastic transition systems tameable? ⋮ Fixed-Delay Events in Generalized Semi-Markov Processes Revisited ⋮ A maximal entropy stochastic process for a timed automaton

Uses Software

• ESP

This page was built for publication: Symbolic Analysis for GSMP Models with One Stateful Clock