549 citations · 2k across the 39 of their papers we have counts for
48 papers
Combined Left and Right Temporal Robustness for Control under STL Specifications
Alëna Rodionova, Lars Lindemann, Manfred Morari +1
Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties. Previous works have studied left and right t…
Certified Invertibility in Neural Networks via Mixed-Integer Programming
Tianqi Cui, Thomas Bertalan, George J. Pappas +3
Neural networks are known to be vulnerable to adversarial attacks, which are small, imperceptible perturbations that can significantly alter the network's output. Conversely, there…
A note on the control of processes exhibiting input multiplicity
Robert J. Lovelett, Yorgos M. Psarellis, Ioannis G. Kevrekidis +1
Steady state multiplicity can occur in nonlinear systems, and this presents challenges to feedback control. Input multiplicity arises when the same steady state output values can b…
Learning to Control Linear Systems can be Hard
Anastasios Tsiamis, Ingvar Ziemann, Manfred Morari +2
In this paper, we study the statistical difficulty of learning to control linear systems. We focus on two standard benchmarks, the sample complexity of stabilization, and the regre…
Adaptive Stochastic MPC under Unknown Noise Distribution
Charis Stamouli, Anastasios Tsiamis, Manfred Morari +1
In this paper, we address the stochastic MPC (SMPC) problem for linear systems, subject to chance state constraints and hard input constraints, under unknown noise distribution. Fi…
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…