Search Results for author: Alena Rodionova

Found 3 papers, 3 papers with code

Temporal Robustness of Stochastic Signals

1 code implementation5 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 implementation6 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 implementation27 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

Cannot find the paper you are looking for? You can Submit a new open access paper.