Matthias Rungger

Available identifiers

zbMath Open rungger.matthiasMaRDI QIDQ547905

List of research outcomes

Publication	Date of Publication	Type
Invariance Feedback Entropy of Uncertain Control Systems	2022-02-24	Paper
Symbolic Optimal Control	2019-07-18	Paper
Accurate reachability analysis of uncertain nonlinear systems	2018-12-06	Paper
Compositional Construction of Approximate Abstractions of Interconnected Control Systems	2018-12-04	Paper
Optimized State Space Grids for Abstractions	2018-06-27	Paper
Automated generation of dynamics-based runtime certificates for high-level control	2018-01-31	Paper
First steps toward formal controller synthesis for bipedal robots with experimental implementation	2017-10-04	Paper
Computing Robust Controlled Invariant Sets of Linear Systems	2017-09-21	Paper
Approximations of Stochastic Hybrid Systems: A Compositional Approach	2017-09-08	Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers	2017-07-27	Paper
Invariance feedback entropy of nondeterministic control systems	2017-07-11	Paper
SCOTS: a tool for the synthesis of symbolic controllers	2017-05-19	Paper
Compositional construction of approximate abstractions	2017-05-19	Paper
First steps toward formal controller synthesis for bipedal robots	2017-05-19	Paper
Abstracting and refining robustness for cyber-physical systems	2017-05-16	Paper
Towards Robustness for Cyber-Physical Systems	2017-05-16	Paper
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic	2017-05-16	Paper
A Notion of Robustness for Cyber-Physical Systems	2017-05-03	Paper
Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems	2014-07-23	Paper
Asymptotic stability implies the existence of a local polynomial Lyapunov function	2012-01-16	Paper
A numerical method for hybrid optimal control based on dynamic programming	2011-06-27	Paper

Research outcomes over time

This page was built for person: Matthias Rungger