Quantitative monitoring of STL with edit distance

DOI10.1007/S10703-018-0319-XMaRDI QIDQ1667648zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Peng Zhang

Publication date 30 August 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10703-018-0319-x

zbMATH Keywords

dynamic programmingrobustnessruntime verificationweighted edit distancehardware monitors

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Robust online monitoring of signal temporal logic
• Parameter invariant monitoring for signal temporal logic
• Mixed-time signal temporal logic
• On the quantitative semantics of regular expressions over real-valued signals
• STL model checking of continuous and hybrid systems

Cites work

• scientific article; zbMATH DE number 3124312 (Why is no real title available?)
• scientific article; zbMATH DE number 3240929 (Why is no real title available?)
• Computing the edit distance of a regular language
• Data-driven statistical learning of temporal logic properties
• EDIT-DISTANCE OF WEIGHTED AUTOMATA: GENERAL DEFINITIONS AND ALGORITHMS
• Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces
• Fast string correction with Levenshtein automata
• Handbook of weighted automata
• Linear-space computation of the edit-distance between a string and a finite automaton
• On the Merits of Temporal Testers
• Order- n correction for regular languages
• Quantifying conformance using the Skorokhod metric
• Quantitative monitoring of STL with edit distance
• Reasoning with temporal logic on truncated paths.
• Robust online monitoring of signal temporal logic
• Robust satisfaction of temporal logic over real-valued signals
• Robustness of temporal logic specifications for continuous-time signals
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• STL*: extending signal temporal logic with signal-value freezing operator
• Sampling -- 50 years after Shannon
• Symbolic automata constraint solving
• Time robustness in MTL and expressivity in hybrid system falsification
• Weighted symbolic automata with data storage

Cited in

(12)

• Robust satisfaction of metric interval temporal logic objectives in adversarial environments
• TeLEx: learning signal temporal logic from positive examples using tightness metric
• Model predictive monitoring of dynamical systems for signal temporal logic specifications
• Algebraic quantitative semantics for efficient online temporal monitoring
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• TeSSLa-ROS-bridge -- runtime verification of robotic systems
• Quantitative monitoring of STL with edit distance
• Wireless protocol validation under uncertainty
• From LTL to rLTL monitoring: improved monitorability through robust semantics
• Bridging the gap between single- and multi-model predictive runtime verification
• Online causation monitoring of signal temporal logic
• Introduction to the special issue on runtime verification

Describes a project that uses

Uses Software

• Breach
• S-TaLiRo
• ANTLR

This page was built for publication: Quantitative monitoring of STL with edit distance

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1667648)