Measuring performance of continuous-time stochastic processes using timed automata

DOI10.1145/1967701.1967709MaRDI QIDQ2986711zbMATH OpenOpenAlexFDO

Authors Tomáš Brázdil, Jan Krčál, Jan Křetínský, Vojtěch Řehák, Antonin Kučera

Publication date 16 May 2017

Published in Proceedings of the 14th international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1967701.1967709

zbMATH Keywords

general state space Markov chainsperformance analysissemi-Markov processesstochastic stabilitytimed automata

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Stochastic stability in control theory (93E15)

Recommendations

• Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
• Performance evaluation in stochastic process algebra dtsdPBC
• Observing continuous-time MDPs by 1-clock timed automata
• Expressiveness and conciseness of timed automata for the verification of stochastic models
• Monitoring CTMCs by multi-clock timed automata

Cited in

(4)

• Measuring with timed patterns
• Fixed-delay events in generalized semi-Markov processes revisited
• A Maximal Entropy Stochastic Process for a Timed Automaton,
• Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties

This page was built for publication: Measuring performance of continuous-time stochastic processes using timed automata

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