Monitoring Temporal Properties of Continuous Signals

2004/01/01 by Oded Maler, Dejan Ničković, Dejan Nickovic · 20 citations
Computer Science · #Embedded Systems Design Techniques #Formal Methods in Verification #Model-Driven Software Engineering Techniques

paper · doi:10.1007/978-3-540-30206-3_12

crossref issued 2004/01/01 · crossref published 2004/01/01 · crossref published-print 2004/01/01 · openalex publication_date 2004/01/01 · crossref created 2011/01/18 · crossref deposited 2023/01/18 · openalex created_date 2025/10/10 · crossref indexed 2026/07/31 · openalex updated_date 2026/08/04

Cited by

• Conformal Prediction for Verifiable Learned Query Optimization
• Monitoring Bounded LTL Properties Using Interval Analysis
• TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching
• Formal controller synthesis for hybrid systems using genetic programming
• Monitoring Discounted Sum Properties
• Runtime Enforcement of Hybrid System Properties
• Real-time Stream-based Monitoring
• Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata
• Correct-by-Construction Design of Timed Systems in Event-B
• Guided Policy Improvement for Satisfying STL Tasks using Funnel Adaptation
• Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
• Logic-based Resilience Computation of Power Systems Against Frequency Requirements
• Clustering-based Recurrent Neural Network Controller synthesis under Signal Temporal Logic Specifications
• Collaborative Object Transportation in Space via Impact Interactions
• Shielding for Higher-Order Safety
• Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
• Towards formalization and monitoring of microscopic traffic parameters using temporal logic
• Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios
• SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications
• Cumulative-Time Signal Temporal Logic
• Temporal logic [wikipedia]