Existing real-time monitoring approaches assume traces with precise timestamps. Their correctness is thus indefinite when monitoring the behavior of systems with imprecise clocks. We address this problem for a metric temporal logic: We identify classes of formulas for which we can leverage existing monitors to correctly reason about observed system traces.
CITATION STYLE
Basin, D., Klaedtke, F., Marinovic, S., & Zéalinescu, E. (2014). On Real-Time Monitoring with Imprecise Timestamps. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8734, 193–198. https://doi.org/10.1007/978-3-319-11164-3_16
Mendeley helps you to discover research relevant for your work.