Temporal Robustness of Stochastic Signals

1 code implementation • 5 Feb 2022 • Lars Lindemann, Alena Rodionova, George J. Pappas

We then define the temporal robustness risk by investigating the temporal robustness of the realizations of a stochastic signal.

Autonomous Driving

Time-Robust Control for STL Specifications

1 code implementation • 6 Apr 2021 • Alena Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

We present a robust control framework for time-critical systems in which satisfying real-time constraints robustly is of utmost importance for the safety of the system.

Temporal Logic as Filtering

1 code implementation • 27 Oct 2015 • Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

We also provide a quantitative semantics for MTL, which measures the normalized, maximum number of times a formula is satisfied within its associated kernel, by a given signal.

Logic in Computer Science 03B44 F.4.1; D.3.1