Abstract
Monitoring is an important run time correctness checking mechanism. This paper introduces the notions of monitorability and strong monitorability for partially observable stochastic systems, and gives necessary and sufficient conditions characterizing them. It also presents important decidability and complexity results for checking these properties for finite state systems. Furthermore, it presents general monitoring techniques for the case when systems are modeled as quantized probabilistic hybrid automata, and the properties are specified as safety or liveness automata. Experimental results showing the effectiveness of the methods are given. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Sistla, A. P., Žefran, M., & Feng, Y. (2011). Monitorability of stochastic dynamical systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6806 LNCS, pp. 720–736). https://doi.org/10.1007/978-3-642-22110-1_58
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
