Measuring performance of continuous-time stochastic processes using timed automata
DOI10.1145/1967701.1967709zbMath1361.68136OpenAlexW2159166691MaRDI QIDQ2986711
Jan Křetínský, Jan Krčál, Vojtěch Řehák, Tomáš Brázdil, Antonín 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
performance analysisstochastic stabilitytimed automatasemi-Markov processesgeneral state space Markov chains
Formal languages and automata (68Q45) Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Stochastic stability in control theory (93E15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items