Timely monitoring of partially observable stochastic systems
Timely monitoring of partially observable stochastic systems
复制标题
及时监测部分可观测随机系统
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Yue Ben
中科院分区：
文献类型：
--
作者：
A. Sistla;Miloý Žefran;Yao Feng;Yue Ben
确保网络物理系统在运行时的正确行为对其安全部署至关重要。应及时发现此类系统的任何故障，以便采取进一步行动。本文讨论了在网络物理系统发生故障后监视器如何快速发出警报的问题。为此，本文介绍了一类称为指数收敛监控系统的系统。本文表明，采用传统的阈值监测器可以快速检测出这些系统的故障。结果表明，指数收敛可监测系统的预期故障检测时间与所选阈值的倒数成对数关系。本文确定了这些系统的定义良好的自然类。实验结果证实了故障检测时间与所选阈值之间关系的理论结果。
Ensuring the correct behavior of cyber physical systems at run time is of critical importance for their safe deployment. Any malfunctioning of such systems should be detected in a timely manner for further actions. This paper addresses the issue of how quickly a monitor raises an alarm after the occurrence of a failure in cyber physical systems. Towards this end, it introduces a class of systems called exponentially converging monitorable systems. The paper shows that failures in these systems can be detected fast by employing the traditional threshold monitors. It shows that the expected failure detection time for exponentially converging monitorable systems has logarithmic relationship with the inverse of the chosen threshold value. The paper identifies well defined natural classes of these systems. Experimental results are presented that confirm the theoretical results on the relationship between the failure detection time and the chosen threshold values.