Montre: A Tool for Monitoring Timed Regular Expressions
Dogan Ulus

TL;DR
Montre is a novel monitoring tool that uses timed regular expressions to detect patterns in real-time behaviors, supporting both online and offline analysis for cyber-physical systems.
Contribution
It introduces Montre, the first tool capable of timed pattern matching over streaming and logged data, enhancing analysis of cyber-physical systems with expressive timing constraints.
Findings
Supports online and offline pattern matching
Integrates with other tools via standard interfaces
Enables new analysis techniques for cyber-physical systems
Abstract
We present Montre, a monitoring tool to search patterns specified by timed regular expressions over real-time behaviors. We use timed regular expressions as a compact, natural, and highly-expressive pattern specification language for monitoring applications involving quantitative timing constraints. Our tool essentially incorporates online and offline timed pattern matching algorithms so it is capable of finding all occurrences of a given pattern over both logged and streaming behaviors. Furthermore, Montre is designed to work with other tools via standard interfaces to perform more complex and versatile tasks for analyzing and reasoning about cyber-physical systems. As the first of its kind, we believe Montre will enable a new line of inquiries and techniques in these fields.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
