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

On the Invariance Feedback Entropy of Linear Perturbed Control Systems
M. Rungger and M. Zamani
To be presented at CDC 2018, pdf

Arbitrarily Precise Abstractions for Optimal Controller Synthesis
M. Rungger and  G. Reißig
To be presented at CDC 2018, pdf

Symbolic Optimal Control
G. Reißig and M. Rungger
Submitted to IEEE, arXiv: https://arxiv.org/abs/1709.07333 

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

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

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