论文标题
监视定时属性（重新访问）
Monitoring Timed Properties (Revisited)
论文作者
论文摘要
在本文中，我们对以度量间隔时间逻辑或定时BüchiAutomata表示的属性进行了重新访问实时系统。我们在许多设置中提供有效的符号在线监视算法，从定时自动机的有效模型检查中利用所谓的所谓区域。所考虑的设置包括新的，简化的时间差异处理，定时不确定性下的监视以及对监视的扩展，以在可以得出结论性判决之前提供最短的时间估计。
In this paper we revisit monitoring real-time systems with respect to properties expressed either in Metric Interval Temporal Logic or as Timed Büchi Automata. We offer efficient symbolic online monitoring algorithms in a number of settings, exploiting so-called zones well-known from efficient model checking of Timed Automata. The settings considered include new, much simplified treatment of time divergence, monitoring under timing uncertainty, and extension of monitoring to offer minimum time estimates before conclusive verdicts can be made.
