In this paper we revisit monitoring real-time systems with respect to properties expressed either in the Metric Interval Temporal Logic or as Timed B\"uchi 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.

翻译：在本文中,我们重新审视了与Metric Interal Journal Lologic 或“Timed B\\'uchi Automata”中表达的属性有关的实时监测系统。 我们在若干环境中提供了高效的象征性在线监测算法,利用了时间自动分析有效模式检查中众所周知的所谓区域。 考虑的设置包括新的、非常简化的时间差异处理方法、时间不确定性监测以及延长监测以提供最短时间估计,然后才能作出结论性决定。