Algebraic quantitative semantics for efficient online temporal monitoring

DOI10.1007/978-3-030-72016-2_18MaRDI QIDQ2044210zbMATH OpenOpenAlexFDO

Authors Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang

Publication date 4 August 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-72016-2_18

zbMATH Keywords

online monitoringquantitative semanticsverification

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Multi-head monitoring of metric temporal logic
• scientific article; zbMATH DE number 7056237
• Runtime monitoring of metric first-order temporal properties
• Algorithms for monitoring real-time properties
• Monitoring temporal logic with clock variables

Cites work

• Automata-based stream processing
• Formal Modeling and Analysis of Timed Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• From MITL to Timed Automata
• From real-time logic to timed automata
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• scientific article; zbMATH DE number 5182608 (Why is no real title available?)
• Quantitative monitoring of STL with edit distance
• Quantitative regular expressions for arrhythmia detection algorithms
• 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
• Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
• Streamable regular transductions
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• The Esterel synchronous programming language: Design, semantics, implementation
• Time robustness in MTL and expressivity in hybrid system falsification

Cited in

(3)

• Semantics and algorithms for parametric monitoring
• Scalable offline monitoring of temporal specifications
• Collecting statistics over runtime executions

This page was built for publication: Algebraic quantitative semantics for efficient online temporal monitoring

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