Monitoring Temporal Properties of Stochastic Systems

Monitoring Temporal Properties of Stochastic Systems
复制标题

监控随机系统的时间特性

DOI：
--
复制
发表时间：
2008
期刊：
International Conference on Verification, Model Checking and Abstract Interpretation
影响因子：
--
通讯作者：
Probabilistic Algorithms
Probabilistic Algorithms
中科院分区：
--
文献类型：
--
作者：
A. Sistla;Abhigna R. Srinivas;Probabilistic Algorithms

文献摘要

被引文献

相似文献

我们提出了高精度的确定性和随机方法来监测随机系统的时间特性。确定性算法采用动态设置的超时来实现所需的精度。随机化算法采用掷硬币的方法，当系统行为未知时，可以提供高度准确的监控。
We present highly accurate deterministic and randomized methods for monitoring temporal properties of stochastic systems. The deterministic algorithms employ timeouts that are set dynamically to achieve desired accuracy. The randomized algorithms employ coin tossing and can give highly accurate monitors when the system behavior is not known.