Matthias Rungger

From MaRDI portal
Person:547905

Available identifiers

zbMath Open rungger.matthiasMaRDI QIDQ547905

List of research outcomes





PublicationDate of PublicationType
Invariance Feedback Entropy of Uncertain Control Systems2022-02-24Paper
Symbolic Optimal Control2019-07-18Paper
Accurate reachability analysis of uncertain nonlinear systems2018-12-06Paper
Compositional Construction of Approximate Abstractions of Interconnected Control Systems2018-12-04Paper
Optimized State Space Grids for Abstractions2018-06-27Paper
Automated generation of dynamics-based runtime certificates for high-level control2018-01-31Paper
First steps toward formal controller synthesis for bipedal robots with experimental implementation2017-10-04Paper
Computing Robust Controlled Invariant Sets of Linear Systems2017-09-21Paper
Approximations of Stochastic Hybrid Systems: A Compositional Approach2017-09-08Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers2017-07-27Paper
Invariance feedback entropy of nondeterministic control systems2017-07-11Paper
SCOTS: a tool for the synthesis of symbolic controllers2017-05-19Paper
Compositional construction of approximate abstractions2017-05-19Paper
First steps toward formal controller synthesis for bipedal robots2017-05-19Paper
Abstracting and refining robustness for cyber-physical systems2017-05-16Paper
Towards Robustness for Cyber-Physical Systems2017-05-16Paper
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic2017-05-16Paper
A Notion of Robustness for Cyber-Physical Systems2017-05-03Paper
Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems2014-07-23Paper
Asymptotic stability implies the existence of a local polynomial Lyapunov function2012-01-16Paper
A numerical method for hybrid optimal control based on dynamic programming2011-06-27Paper

Research outcomes over time

This page was built for person: Matthias Rungger