96 citations · 196 across the 8 of their papers we have counts for
4 papers · 1 filter
Quantitative Implementation Strategies for Safety Controllers
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger +2
We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several con…
Optimized State Space Grids for Abstractions
Alexander Weber, Matthias Rungger, Gunther Reissig
The practical impact of abstraction-based controller synthesis methods is currently limited by the immense computational effort for obtaining abstractions. In this note we focus on…
Symbolic Optimal Control
Gunther Reissig, Matthias Rungger
We present novel results on the solution of a class of leavable, undiscounted optimal control problems in the minimax sense for nonlinear, continuous-state, discrete-time plants. T…
Invariance Feedback Entropy of Uncertain Control Systems
Mahendra Singh Tomar, Matthias Rungger, Majid Zamani
We introduce a novel notion of invariance feedback entropy to quantify the state information that is required by any controller that enforces a given subset of the state space to b…