MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
TL;DR
MONAA is a real-time monitoring tool that uses automata-based acceleration for efficient timed pattern matching, suitable for online applications and demonstrating significant performance improvements.
Contribution
The paper introduces MONAA, a novel tool combining timed automata and regular expressions with automata-based skipping for faster online timed pattern matching.
Findings
MONAA outperforms existing tools in online timed pattern matching tasks.
Automata-based skipping significantly accelerates pattern matching.
The tool is effective for real-time monitoring applications.
Abstract
We present monaa, a monitoring tool over a real-time property specified by either a timed automaton or a timed regular expression. It implements a timed pattern matching algorithm that combines 1) features suited for online monitoring, and 2) acceleration by automata-based skipping. Our experiments demonstrate monaa's performance advantage, especially in online usage.
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.