Matthias Rungger


Hybrid Control Systems
Department of Electrical and Computer Engineering
Arcisstr. 21
80333 München

Tel: +49.89.289.28354
Fax: +49.89.289.23555
Building: 0509
Room: 4941
E-Mail: matthias.rungger@tum.de

Research Interests

  • Algorithmic Controller Synthesis
  • Linear Temporal Logic and Optimal Control
  • Robustness of Cyber-Physical Systems

Software

SCOTS: A Tool for the Synthesis of Symbolic Controllers 

Some Recent Publications

Invariance Feedback Entropy of Nondeterministic Control Systems
M. Rungger and M. Zamani 
Presented at HSCC 2017, doi: 10.1145/3049797.3049801

Symbolic Synthesis with Average Performance Guarantees
M. Rungger, G. Reißig and M. Zamani
Presented at CDC 2016, doi: 10.1109/CDC.2016.7799413 

Computing Robust Controlled Invariant Sets of Linear Systems
M. Rungger and P. Tabuada
IEEE Transactions on Automatic Control, doi: 10.1109/TAC.2017.2672859, arXiv

SCOTS: A Tool for the Synthesis of Symbolic Controllers
M. Rungger and M. Zamani
Presented at HSCC 2016, doi: 10.1145/2883817.2883834, pdf

Feedback Refinement Relations for the Synthesis of Symbolic Controllers
G. Reißig, A. Weber and M. Rungger
IEEE Transactions on Automatic Control, doi: 10.1109/TAC.2016.2593947, arXiv

Compositional Construction of Approximate Abstractions of Interconnected Control Systems
M. Rungger and M. Zamani
IEEE Transactions on Control of Network Systems, doi: 10.1109/TCNS.2016.2583063, arXiv

Abstraction-based Solution of Optimal Stopping Problems under Uncertainty
G. Reißig and M. Rungger
Presented at CDC 2013, doi: 10.1109/CDC.2013.6760370 

A Notion of Robustness for Cyber-Physical Systems
M. Rungger and P. Tabuada
IEEE Transactions on Automatic Control, doi: 10.1109/TAC.2015.2492438, arXiv