Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
From MaRDI portal
Publication:6202093
DOI10.1145/3575870.3587115MaRDI QIDQ6202093
Eugene Asarin, Thao Dang, Akshay Mambakam, Nicolas Basset
Publication date: 21 February 2024
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)
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
- A theory of timed automata
- Online timed pattern matching using automata
- On the quantitative semantics of regular expressions over real-valued signals
- Measuring with timed patterns
- Learning specifications for labelled patterns
- Survey on mining signal temporal logic specifications
- Online timed pattern matching using derivatives
- Timed regular expressions
- From MITL to Timed Automata
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- Specifying Timed Patterns using Temporal Logic
- Efficient Parametric Identification for STL
- A Boyer-Moore Type Algorithm for Timed Pattern Matching
- Moore-machine filtering for timed and untimed pattern matching
- Parametric real-time reasoning
- An Improved Tight Closure Algorithm for Integer Octagonal Constraints
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Timed Pattern Matching
- Specification and efficient monitoring beyond STL
