Temporal Robustness of Stochastic Signals
From MaRDI portal
Publication:6120701
DOI10.1145/3501710.3519504arXiv2202.02583OpenAlexW4225386864MaRDI QIDQ6120701
George J. Pappas, Alena Rodionova, Lars Lindemann
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://arxiv.org/abs/2202.02583
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
- Real time scheduling theory: A historical perspective
- Robustness of temporal logic specifications for continuous-time signals
- Deviation inequalities for an estimator of the conditional value-at-risk
- A theory of timed automata
- System design of stochastic models using robustness of temporal properties
- Schedulability analysis of fixed-priority systems using timed automata
- Time window temporal logic
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- A Mathematical Model for Periodic Scheduling Problems
- The benefits of relaxing punctuality
- Probability
- Risk-Constrained Reinforcement Learning with Percentile Risk Criteria
- On the synthesis of discrete controllers for timed systems
- Software Engineering for Image Processing Systems
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- A Framework for Time-Consistent, Risk-Sensitive Model Predictive Control: Theory and Algorithms
- Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Formal Methods for the Design of Real-Time Systems
- Lectures on Concurrency and Petri Nets
- Quantifying conformance using the Skorokhod metric
