Monitoring Timed Properties (Revisited)

Grosen, Thomas Moller, Kauffman, Sean, Larsen, Kim Guldstrand and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2022) Monitoring Timed Properties (Revisited). .

Access the full-text of this item by clicking on the Open Access link.


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.

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: Monitoring, Timed Automata, Metric Temporal Logic
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 03 Mar 2023 09:34
Last Modified: 03 Mar 2023 09:34
DOI: 10.1007/978-3-031-15839-1_3
Open Access URL:
Related URLs: