96 citations · 154 across the 7 of their papers we have counts for
11 papers
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart
Pushpak Jagtap, Fardin Abdi, Matthias Rungger +2
The paper addresses the issue of reliability of complex embedded control systems in the safety-critical environment. In this paper, we propose a novel approach to design controller…
SENSE: Abstraction-Based Synthesis of Networked Control Systems
Mahmoud Khaled, Matthias Rungger, Majid Zamani
While many studies and tools target the basic stabilizability problem of networked control systems (NCS), nowadays modern systems require more sophisticated objectives such as thos…
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…