mstlo: Efficient Online Monitoring of Signal Temporal Logic
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2026
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914611477872640 |
|---|---|
| author | Thomsen, Andreas Kaag Madsen, Niels Viggo Stark Evans, Valdemar Tang Wright, Thomas David Esterle, Lukas Larsen, Peter Gorm |
| author_facet | Thomsen, Andreas Kaag Madsen, Niels Viggo Stark Evans, Valdemar Tang Wright, Thomas David Esterle, Lukas Larsen, Peter Gorm |
| contents | We present mstlo (mistletoe), a Rust library for high-performance online monitoring of signal temporal logic (STL), with Python bindings. The library provides: (i) a unified interface for multiple STL semantics, including Robust Satisfaction Intervals (RoSI) and Boolean evaluation with early verdicts; (ii) an incremental monitoring algorithm based on bottom-up dynamic programming with per-operator caching and streaming extremum computation for temporal operators; and (iii) an embedded STL domain-specific language for both Rust and Python implementations, with procedural macros in Rust for static syntax checking. Benchmarks show scalability and performance improvements over state-of-the-art tools, especially for formulas with large temporal depth and deep nesting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_26847 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | mstlo: Efficient Online Monitoring of Signal Temporal Logic Thomsen, Andreas Kaag Madsen, Niels Viggo Stark Evans, Valdemar Tang Wright, Thomas David Esterle, Lukas Larsen, Peter Gorm Logic in Computer Science We present mstlo (mistletoe), a Rust library for high-performance online monitoring of signal temporal logic (STL), with Python bindings. The library provides: (i) a unified interface for multiple STL semantics, including Robust Satisfaction Intervals (RoSI) and Boolean evaluation with early verdicts; (ii) an incremental monitoring algorithm based on bottom-up dynamic programming with per-operator caching and streaming extremum computation for temporal operators; and (iii) an embedded STL domain-specific language for both Rust and Python implementations, with procedural macros in Rust for static syntax checking. Benchmarks show scalability and performance improvements over state-of-the-art tools, especially for formulas with large temporal depth and deep nesting. |
| title | mstlo: Efficient Online Monitoring of Signal Temporal Logic |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2605.26847 |