Robust Online Monitoring of Signal Temporal Logic
Jyotirmoy V. Deshmukh, Alexandre Donz\'e, Shromona Ghosh, Xiaoqing, Jin, Garvit Juniwal, Sanjit A. Seshia

TL;DR
This paper introduces a new efficient method for real-time monitoring of Signal Temporal Logic (STL) in cyberphysical systems, enabling online assessment of system behavior during simulations, with demonstrated benefits in automotive and educational applications.
Contribution
It formalizes a semantics for robust online STL monitoring of partial traces and proposes an efficient algorithm, filling a gap in existing offline-focused methods.
Findings
Significant computational savings in large-scale simulations
Successful application in automotive and MOOC CPS scenarios
Overheads of online monitoring are outweighed by efficiency gains
Abstract
Signal Temporal Logic (STL) is a formalism used to rigorously specify requirements of cyberphysical systems (CPS), i.e., systems mixing digital or discrete components in interaction with a continuous environment or analog com- ponents. STL is naturally equipped with a quantitative semantics which can be used for various purposes: from assessing the robustness of a specification to guiding searches over the input and parameter space with the goal of falsifying the given property over system behaviors. Algorithms have been proposed and implemented for offline computation of such quantitative semantics, but only few methods exist for an online setting, where one would want to monitor the satisfaction of a formula during simulation. In this paper, we formalize a semantics for robust online monitoring of partial traces, i.e., traces for which there might not be enough data to decide the…
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.
