Online monitoring of metric temporal logic using sequential networks

DOI10.46298/LMCS-22(1:12)2026MaRDI QIDQ6840504zbMATH OpenFDO

Authors Dogan Ulus

Publication date 23 March 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(1:12)2026

zbMATH Keywords

cyber-physical systemsreal-time systemsruntime verificationsequential networkstemporal logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• A calculus of durations
• A really temporal logic
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Algorithms for monitoring real-time properties
• Explainable online monitoring of metric temporal logic
• Formal Modeling and Analysis of Timed Systems
• From MITL to Timed Automata
• From real-time logic to timed automata
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• Metric temporal logic revisited
• Model checking a path (preliminary report)
• Monitoring metric first-order temporal properties
• Online timed pattern matching using derivatives
• Reasoning with temporal logic on truncated paths.
• Runtime verification of embedded real-time systems
• Safe runtime verification of real-time properties
• Sequential Functions
• Specifying timed patterns using temporal logic
• The Esterel synchronous programming language: Design, semantics, implementation
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
• Timed pattern matching
• VeriMon: a formally verified monitoring tool

Cited in

(1)

• Efficient monitoring of timed properties

This page was built for publication: Online monitoring of metric temporal logic using sequential networks

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