Linear Time Monitoring for One Variable TPTL

DOI10.1145/3501710.3519537OpenAlexW4225387420MaRDI QIDQ6120694

Unnamed Author, Vinayak S. Prabhu

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.3519537

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
• Unnamed Item
• Robustness of temporal logic specifications for continuous-time signals
• What's decidable about hybrid automata?
• A theory of timed automata
• Monitoring temporal logic with clock variables
• First-order temporal logic monitoring with BDDs
• On the expressiveness of TPTL and MTL
• Robust online monitoring of signal temporal logic
• Model checking restricted sets of timed paths
• Monitoring Metric First-Order Temporal Properties
• Falsification of temporal properties of hybrid systems using the cross-entropy method
• On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing
• Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques
• Robust Satisfaction of Temporal Logic over Real-Valued Signals
• A really temporal logic
• Falsification of cyber-physical systems with robustness-guided black-box checking
• Expressive Completeness for Metric Temporal Logic
• Expressiveness of Metric modalities for continuous time

This page was built for publication: Linear Time Monitoring for One Variable TPTL