Matthias Rungger

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 26

Top Topics

Controller Synthesis

Reachability Analysis

Top Venues

IEEE Trans. Autom. Control.

Publications

Mahendra Singh Tomar, Matthias Rungger, Majid Zamani
Invariance Feedback Entropy of Uncertain Control Systems. IEEE Trans. Autom. Control. 66 (12) (2021)
Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. 4 (4) (2020)
Gunther Reissig, Matthias Rungger
Symbolic Optimal Control. IEEE Trans. Autom. Control. 64 (6) (2019)
Matthias Rungger, Majid Zamani
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. IEEE Trans. Control. Netw. Syst. 5 (1) (2018)
Mahmoud Khaled, Matthias Rungger, Majid Zamani
SENSE: Abstraction-Based Synthesis of Networked Control Systems. MeTRiD@ETAPS (2018)
Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR (2018)
Matthias Rungger, Majid Zamani
Accurate reachability analysis of uncertain nonlinear systems. HSCC (2018)
Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo
Application and system-level software fault tolerance through full system restarts. ICCPS (2017)
Matthias Rungger, Gunther Reissig
Arbitrarily precise abstractions for optimal controller synthesis. CDC (2017)
Gunther Reissig, Matthias Rungger
Symbolic Optimal Control. CoRR (2017)
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit
Automated generation of dynamics-based runtime certificates for high-level control. Discret. Event Dyn. Syst. 27 (2) (2017)
Matthias Rungger, Majid Zamani
On the invariance feedback entropy of linear perturbed control systems. CDC (2017)
Alexander Weber, Matthias Rungger, Gunther Reissig
Optimized State Space Grids for Abstractions. IEEE Trans. Autom. Control. 62 (11) (2017)
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
Quantitative Implementation Strategies for Safety Controllers. CoRR (2017)
Matthias Rungger, Majid Zamani
Invariance Feedback Entropy of Nondeterministic Control Systems. HSCC (2017)
Matthias Rungger, Paulo Tabuada
Computing Robust Controlled Invariant Sets of Linear Systems. IEEE Trans. Autom. Control. 62 (7) (2017)
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
Approximations of Stochastic Hybrid Systems: A Compositional Approach. IEEE Trans. Autom. Control. 62 (6) (2017)
Gunther Reissig, Alexander Weber, Matthias Rungger
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. IEEE Trans. Autom. Control. 62 (4) (2017)
Alexander Weber, Matthias Rungger, Gunther Reissig
Optimized State Space Grids for Abstractions. CoRR (2017)
Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports 7 (5) (2017)
Matthias Rungger, Majid Zamani
Invariance Feedback Entropy of Uncertain Control Systems. CoRR (2017)
Matthias Rungger, Gunther Reissig, Majid Zamani
Symbolic synthesis with average performance guarantees. CDC (2016)
Matthias Rungger, Paulo Tabuada
Computing Robust Controlled Invariant Sets of Linear Systems. CoRR (2016)
Matthias Rungger, Paulo Tabuada
A Notion of Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 61 (8) (2016)
Mahmoud Khaled, Matthias Rungger, Majid Zamani
Symbolic models of networked control systems: A feedback refinement relation approach. Allerton (2016)
Matthias Rungger, Majid Zamani
SCOTS: A Tool for the Synthesis of Symbolic Controllers. HSCC (2016)
Matthias Rungger, Alexander Weber, Gunther Reissig
State space grids for low complexity abstractions. CDC (2015)
Aaron D. Ames, Paulo Tabuada, Bastian Schürmann, Wen-Loong Ma, Shishir Kolathaya, Matthias Rungger, Jessy W. Grizzle
First steps toward formal controller synthesis for bipedal robots. HSCC (2015)
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
Approximations of Stochastic Hybrid Systems: A Compositional Approach. CoRR (2015)
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
Construction of approximations of stochastic control systems: A compositional approach. CDC (2015)
Gunther Reissig, Alexander Weber, Matthias Rungger
Feedback Refinement Relations for the Synthesis of Symbolic Controllers. CoRR (2015)
Matthias Rungger, Majid Zamani
Compositional construction of approximate abstractions. HSCC (2015)
Matthias Rungger, Majid Zamani
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. CoRR (2015)
Matthias Rungger, Paulo Tabuada
Abstracting and refining robustness for cyber-physical systems. HSCC (2014)
Michael Deflorian, Matthias Rungger
Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems. J. Comput. Appl. Math. 255 (2014)
Petter Nilsson, Omar Hussien, Yuxiao Chen, Ayca Balkan, Matthias Rungger, Aaron D. Ames, Jessy W. Grizzle, Necmiye Ozay, Huei Peng, Paulo Tabuada
Preliminary results on correct-by-construction control software synthesis for adaptive cruise control. CDC (2014)
Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Paulo Tabuada, Hadas Kress-Gazit
Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control. CoRR (2014)
Matthias Rungger, Paulo Tabuada
Discounting the past in robust finite-state systems. CDC (2014)
Gunther Reissig, Matthias Rungger
Feedback refinement relations for symbolic controller synthesis. CDC (2014)
Paulo Tabuada, Sina Yamac Caliskan, Matthias Rungger, Rupak Majumdar
Towards Robustness for Cyber-Physical Systems. IEEE Trans. Autom. Control. 59 (12) (2014)
Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. HSCC (2013)
Matthias Rungger, Paulo Tabuada
A symbolic approach to the design of robust cyber-physical systems. CDC (2013)
Gunther Reissig, Matthias Rungger
Abstraction-based solution of optimal stopping problems under uncertainty. CDC (2013)
Matthias Rungger, Paulo Tabuada
Abstracting and refining robustness for cyber-physical systems. CoRR (2013)
Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada
Scaling up controller synthesis for linear systems and safety specifications. CDC (2012)
Matthias Rungger, Olaf Stursberg
On-the-fly model abstraction for controller synthesis. ACC (2012)
Olaf Stursberg, Tina Paschedag, Matthias Rungger, Hao Ding
Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers). Autom. 58 (8) (2010)
Matthias Rungger, Olaf Stursberg
Continuity of the value function for exit time optimal control problems of hybrid systems. CDC (2010)
Matthias Rungger, Olaf Stursberg
Optimal Control for Deterministic Hybrid Systems using Dynamic Programming. ADHS (2009)
Tina Paschedag, Matthias Rungger, Hao Ding, Olaf Stursberg
Hierarchical hybrid modeling and control of flexible manufacturing systems. ECC (2009)
Matthias Rungger, Olaf Stursberg
Function approximation for the deterministic Hamilton-Jacobi-Bellman equation. CDC (2009)
Matthias Rungger, Olaf Stursberg, Bernd Spanfelner, Christian Leuxner, Wassiou Sitou
Efficient Planning of Autonomous Robots using Hierarchical Decomposition. ICINCO-RA (1) (2008)
Matthias Rungger, Hao Ding, Olaf Stursberg
Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning. ABiALS (2008)