Prof. Dr. Matthias Althoff
Academic Career and Research Areas
The research interests of Professor Althoff lie in systems whose computations are closely connected with their physical behavior. Referred to as cyber-physical systems, these systems require an integrated approach applying methods from computer science and engineering. Examples of such systems are autonomous vehicles, smart grids, intelligent production systems and medical robotics. Professor Althoff's research primarily focuses on formal methods for guaranteeing safety and correct operation as well as the model-based design of cyber-physical systems.
Professor Althoff studied mechatronics and information technology at TUM and received a PhD with distinction (summa cum laude) from the same university in 2010. From 2010 to 2012 he was a post-doctoral researcher at Carnegie Mellon University, USA. Between 2012 and 2013 he headed a research group focusing on automation systems at Ilmenau University of Technology, Germany, where he was an assistant professor. Professor Althoff has been a professor of cyber-physical systems at TUM since 2013.
- IEEE/ACM William J. McCalla ICCAD Best Paper Award (2012)
- Best Poster Award IEEE Intelligent Vehicles Symposium (2009)
Key Publications (all publications)
Althoff M, Rajhans A, Krogh, BH, Yaldiz S, Li X, Pileggi L: „Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization“. Communications of the ACM. 2013; 56(10): 97-104.Abstract
Althoff M, Patil MJ, Traugott JP: „Nonlinear Modeling and Control Design of Active Helicopter Blades“. Journal of the American Helicopter Society. 2012; 57(1): 1-11.Abstract
Althoff M, Krogh BH, Stursberg O: „Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties“. In: Modeling, Design, and Simulation of Systems with Uncertainties. Editor: Rauh A, Auer E. Berlin Heidelberg: Springer, 2011: 69-94.Abstract
Althoff M, Stursberg O, Buss M: „Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes“. Nonlinear Analysis: Hybrid Systems. 2010; 4(2): 233-249.Abstract
Althoff M, Stursberg O, Buss M: „Model-Based Probabilistic Collision Detection in Autonomous Driving“. IEEE Transactions on Intelligent Transportation Systems. 2009; 10(2): 299-310.Abstract