17 citations · 17 across the 2 of their papers we have counts for
3 papers
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design
Alëna Rodionova, Lars Lindemann, Manfred Morari +1
We study the temporal robustness of temporal logic specifications and show how to design temporally robust control laws for time-critical control systems. This topic is of particul…
Temporal Robustness of Stochastic Signals
Lars Lindemann, Alena Rodionova, George J. Pappas
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 individua…
Time-Robust Control for STL Specifications
Alena Rodionova, Lars Lindemann, Manfred Morari +1
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. Signal Temp…