Monitoring transient behaviors of real-time systems plays an important role in model-based systems design. Signal Temporal Logic (STL) emerges as a convenient and powerful formalism for continuous and hybrid systems. This paper presents an efficient algorithm for computing the robustness degree in which a piecewise-continuous signal satisfies or violates an STL formula. The algorithm, by leveraging state-of-the-art streaming algorithms from Signal Processing, is linear in the size of the signal and its implementation in the Breach tool is shown to outperform alternative implementations. © 2013 Springer-Verlag.
CITATION STYLE
Donzé, A., Ferrère, T., & Maler, O. (2013). Efficient robust monitoring for STL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8044 LNCS, pp. 264–279). https://doi.org/10.1007/978-3-642-39799-8_19
Mendeley helps you to discover research relevant for your work.