Matthias Rungger
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Invariance Feedback Entropy of Uncertain Control Systems IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
| Symbolic Optimal Control IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
| Accurate reachability analysis of uncertain nonlinear systems Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
| Compositional Construction of Approximate Abstractions of Interconnected Control Systems IEEE Transactions on Control of Network Systems | 2018-12-04 | Paper |
| Optimized State Space Grids for Abstractions IEEE Transactions on Automatic Control | 2018-06-27 | Paper |
| Automated generation of dynamics-based runtime certificates for high-level control Discrete Event Dynamic Systems | 2018-01-31 | Paper |
| First steps toward formal controller synthesis for bipedal robots with experimental implementation Nonlinear Analysis. Hybrid Systems | 2017-10-04 | Paper |
| Computing Robust Controlled Invariant Sets of Linear Systems IEEE Transactions on Automatic Control | 2017-09-21 | Paper |
| Approximations of Stochastic Hybrid Systems: A Compositional Approach IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
| Feedback Refinement Relations for the Synthesis of Symbolic Controllers IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
| Invariance feedback entropy of nondeterministic control systems Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
| SCOTS: a tool for the synthesis of symbolic controllers Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Compositional construction of approximate abstractions Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| First steps toward formal controller synthesis for bipedal robots Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
| Abstracting and refining robustness for cyber-physical systems Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Towards Robustness for Cyber-Physical Systems IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
| 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 | 2017-05-16 | Paper |
| A Notion of Robustness for Cyber-Physical Systems IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
| Generalization of an input-to-state stability preserving Runge-Kutta method for nonlinear control systems Journal of Computational and Applied Mathematics | 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 Nonlinear Analysis. Hybrid Systems | 2011-06-27 | Paper |
Research outcomes over time
This page was built for person: Matthias Rungger
