On temporal logic and signal processing

DOI10.1007/978-3-642-33386-6_9MaRDI QIDQ4649290zbMATH OpenOpenAlexFDO

Authors Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Ničković, Radu Grosu, Scott A. Smolka

Publication date 21 November 2012

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33386-6_9

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Signal theory (characterization, reconstruction, filtering, etc.) (94A12)

Recommendations

• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Mixed-time signal temporal logic
• Temporal logic as filtering
• scientific article; zbMATH DE number 2080056
• A really temporal logic

Cited in

(16)

• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Survey on mining signal temporal logic specifications
• Mixed-time signal temporal logic
• System design of stochastic models using robustness of temporal properties
• STL*: extending signal temporal logic with signal-value freezing operator
• Foundations of Boolean stream runtime verification
• Multi-Valued Reasoning about Reactive Systems
• Abnormal data classification using time-frequency temporal logic
• Introduction to the special issue on runtime verification
• Signal convolution logic
• A Multiresolution Analysis of Temporal Logic
• A program logic to verify signal temporal logic specifications of hybrid systems
• Accelerating parameter synthesis using semi-algebraic constraints
• Specification and verification of multi-clock systems using a temporal logic with clock constraints
• Runtime verifiable implementation of recurring switching rules via signal temporal logic: industrial power system case study
• Mathematical analyses of two-compartment model of human cholesterol circulatory transport in application to high blood cholesterol prevention, diagnosis and treatment

This page was built for publication: On temporal logic and signal processing

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