Robust online monitoring of signal temporal logic

DOI10.1007/s10703-017-0286-7zbMath1370.68199arXiv1506.08234OpenAlexW828139470MaRDI QIDQ2402548

Jyotirmoy V. Deshmukh, Garvit Juniwal, Shromona Ghosh, Alexandre Donzé, Sanjit A. Seshia, Xiao-qing Jin

Publication date: 8 September 2017

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

Full work available at URL: https://arxiv.org/abs/1506.08234

zbMATH Keywords

runtime verificationcyberphysical systemsonline monitoringsignal temporal logicquantitative semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Online algorithms; streaming algorithms (68W27)

Related Items (13)

Semantic Foundations for Deterministic Dataflow and Stream Processing ⋮ Interpretable fault diagnosis with shapelet temporal logic: theory and application ⋮ Quantitative monitoring of STL with edit distance ⋮ Linear Time Monitoring for One Variable TPTL ⋮ Model predictive monitoring of dynamical systems for signal temporal logic specifications ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic ⋮ Clairvoyant monitoring for signal temporal logic ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Introduction to the special issue on runtime verification ⋮ Algebraic quantitative semantics for efficient online temporal monitoring ⋮ Sampling polynomial trajectories for LTL verification ⋮ Parameter synthesis of polynomial dynamical systems

Uses Software

• S-TaLiRo
• Breach
• AMT

Cites Work

• Unnamed Item
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• Mining requirements from closed-loop control models
• Powertrain control verification benchmark
• Temporal logic inference for classification and prediction from data
• Temporal Logic as Filtering
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Data-Driven Statistical Learning of Temporal Logic Properties
• Computer Aided Verification

This page was built for publication: Robust online monitoring of signal temporal logic