Matthias Rungger

Orcid: 0000-0002-6623-4569

According to our database1, Matthias Rungger authored at least 45 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Invariance Feedback Entropy of Uncertain Control Systems.
IEEE Trans. Autom. Control., 2021

2020
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.
ACM Trans. Cyber Phys. Syst., 2020

2019
Symbolic Optimal Control.
IEEE Trans. Autom. Control., 2019

2018
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
IEEE Trans. Control. Netw. Syst., 2018

SENSE: Abstraction-Based Synthesis of Networked Control Systems.
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Accurate reachability analysis of uncertain nonlinear systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017
Approximations of Stochastic Hybrid Systems: A Compositional Approach.
IEEE Trans. Autom. Control., 2017

Optimized State Space Grids for Abstractions.
IEEE Trans. Autom. Control., 2017

Computing Robust Controlled Invariant Sets of Linear Systems.
IEEE Trans. Autom. Control., 2017

Feedback Refinement Relations for the Synthesis of Symbolic Controllers.
IEEE Trans. Autom. Control., 2017

Automated generation of dynamics-based runtime certificates for high-level control.
Discret. Event Dyn. Syst., 2017

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports, 2017

Quantitative Implementation Strategies for Safety Controllers.
CoRR, 2017

Invariance Feedback Entropy of Uncertain Control Systems.
CoRR, 2017

Application and system-level software fault tolerance through full system restarts.
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017

Invariance Feedback Entropy of Nondeterministic Control Systems.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

On the invariance feedback entropy of linear perturbed control systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Arbitrarily precise abstractions for optimal controller synthesis.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
A Notion of Robustness for Cyber-Physical Systems.
IEEE Trans. Autom. Control., 2016

SCOTS: A Tool for the Synthesis of Symbolic Controllers.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Symbolic synthesis with average performance guarantees.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Symbolic models of networked control systems: A feedback refinement relation approach.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016

2015
Compositional construction of approximate abstractions.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

First steps toward formal controller synthesis for bipedal robots.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Construction of approximations of stochastic control systems: A compositional approach.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

State space grids for low complexity abstractions.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Towards Robustness for Cyber-Physical Systems.
IEEE Trans. Autom. Control., 2014

Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems.
J. Comput. Appl. Math., 2014

Dynamics-Based Reactive Synthesis and Automated Revisions for High-Level Robot Control.
CoRR, 2014

Abstracting and refining robustness for cyber-physical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Discounting the past in robust finite-state systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Feedback refinement relations for symbolic controller synthesis.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Preliminary results on correct-by-construction control software synthesis for adaptive cruise control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A symbolic approach to the design of robust cyber-physical systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Abstraction-based solution of optimal stopping problems under uncertainty.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
Scaling up controller synthesis for linear systems and safety specifications.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On-the-fly model abstraction for controller synthesis.
Proceedings of the American Control Conference, 2012

2010
Hierarchische Modellierung und Regelung hybrider Systeme auf zwei Ebenen (Hierarchical Modeling and Control of Hybrid Systems with Two Layers).
Autom., 2010

Continuity of the value function for exit time optimal control problems of hybrid systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Hierarchical hybrid modeling and control of flexible manufacturing systems.
Proceedings of the 10th European Control Conference, 2009

Function approximation for the deterministic Hamilton-Jacobi-Bellman equation.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Optimal Control for Deterministic Hybrid Systems using Dynamic Programming.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Efficient Planning of Autonomous Robots using Hierarchical Decomposition.
Proceedings of the ICINCO 2008, 2008

Multiscale Anticipatory Behavior by Hierarchical Reinforcement Learning.
Proceedings of the Anticipatory Behavior in Adaptive Learning Systems, 2008


  Loading...