Abstract: We study the temporal robustness of stochastic signals. This topic is of particular interest in interleaving processes such as multi-agent systems where communication and individual agents induce timing uncertainty. For a deterministic signal and a given specification, we first introduce the synchronous and the asynchronous temporal robustness to quantify the signal's robustness with respect to synchronous and asynchronous time shifts in its sub-signals. We then define the temporal robustness risk by investigating the temporal robustness of the realizations of a stochastic signal. This definition can be interpreted as the risk associated with a stochastic signal to not satisfy a specification robustly in time. In this definition, general forms of specifications such as signal temporal logic specifications are permitted. We show how the temporal robustness risk is estimated from data for the value-at-risk. The usefulness of the temporal robustness risk is underlined by both theoretical and empirical evidence. In particular, we provide various numerical case studies including a T-intersection scenario in autonomous driving.
Cites work
- A Framework for Time-Consistent, Risk-Sensitive Model Predictive Control: Theory and Algorithms
- A Mathematical Model for Periodic Scheduling Problems
- A theory of timed automata
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- Conditional value-at-risk: optimization approach
- Deviation inequalities for an estimator of the conditional value-at-risk
- Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
- Formal Methods for the Design of Real-Time Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- scientific article; zbMATH DE number 1304998 (Why is no real title available?)
- Infinite dimensional analysis. A hitchhiker's guide.
- Lectures on Concurrency and Petri Nets
- On the synthesis of discrete controllers for timed systems
- Probability
- Quantifying conformance using the Skorokhod metric
- Real time scheduling theory: A historical perspective
- Risk-constrained reinforcement learning with percentile risk criteria
- Robust satisfaction of temporal logic over real-valued signals
- Robustness of temporal logic specifications for continuous-time signals
- Schedulability analysis of fixed-priority systems using timed automata
- Software Engineering for Image Processing Systems
- System design of stochastic models using robustness of temporal properties
- The benefits of relaxing punctuality
- Time window temporal logic
Cited in
(1)
This page was built for publication: Temporal Robustness of Stochastic Signals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120701)
