Monitorability of Stochastic Dynamical Systems
Monitorability of Stochastic Dynamical Systems
复制标题
随机动力系统的可监控性
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Yao Feng
中科院分区：
文献类型：
--
作者：
A. Sistla;M. Žefran;Yao Feng
监视是一种重要的运行时正确性检查机制。引入了部分可观测随机系统的可监测性和强可监测性的概念，给出了它们的充要条件。对于有限状态系统的这些性质的检验，给出了重要的可判决性和复杂性结果。此外，还介绍了将系统建模为量化概率混合自动机，并将其属性指定为安全自动机或活动自动机时的一般监测技术。实验结果表明了该方法的有效性。
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.