We present and analyze monitoring algorithms for a safety fragment of metric temporal logics, which differ in their underlying time model. The time models considered have either dense or discrete time domains and are point-based or interval-based. Our analysis reveals differences and similarities between the time models for monitoring and highlights key concepts underlying our and prior monitoring algorithms. © 2012 Springer-Verlag.
CITATION STYLE
Basin, D., Klaedtke, F., & Zǎlinescu, E. (2012). Algorithms for monitoring real-time properties. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7186 LNCS, pp. 260–275). https://doi.org/10.1007/978-3-642-29860-8_20
Mendeley helps you to discover research relevant for your work.