A Multiresolution Analysis of Temporal Logic

DOI10.1145/3501710.3519531OpenAlexW4225381389MaRDI QIDQ6120711

Unnamed Author, Houssam Abbas

Publication date: 21 February 2024

Published in: 25th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3501710.3519531

zbMATH Keywords

waveletsmultiresolution analysistemporal logicruntime monitoring

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Unnamed Item
• \textsc{InterAspect}: aspect-oriented instrumentation with GCC
• Timely monitoring of partially observable stochastic systems
• Temporal Logic as Filtering
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• Volume and Entropy of Regular Timed Languages: Analytic Approach
• An Introduction to Wavelets Through Linear Algebra
• On Temporal Logic and Signal Processing
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

This page was built for publication: A Multiresolution Analysis of Temporal Logic