Picture of Bastian Schürmann

Bastian Schürmann, M.Sc.

Postal address

Boltzmannstr. 3
85748 Garching b. München

  • Phone: +49 (89) 289 - 18140
  • Room: 5607.03.039
  • bastian.schuermann(at)tum.de

Curriculum Vitae

Bastian Schürmann is a PhD candidate at the Institute of Robotics and Embedded Systems at the Technical University of Munich, Germany, where he works in the Cyber-Physical Systems group with Professor Matthias Althoff. His research focuses on obtaining controllers with high performance and formal guarantees for safety-critical systems. This is achieved by combining methods from control and optimization with reachability analysis. Application areas include autonomous driving and human-robot interaction.

Bastian received his B.Sc. in Electrical Engineering from the University of Kaiserslautern in 2012. Parallel to completing a M.Sc. degree in Engineering Cybernetics at the University of Stuttgart, he finished an additional M.Sc. in Electrical Engineering at the University of California, Los Angeles under a Fulbright Fellowship in 2014. During this time he worked in the group of Professor Paulo Tabuada on correct-by-construction controller design.

Open Theses

If you are looking for a Bachelor or Master thesis (or seminars, research projects, practical courses, etc.) in the areas of control and formal verification or you are interested in autonomous driving or robot control, just contact me, and we can discuss possible topics.


  • Schürmann, Bastian; Althoff, Matthias: Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. Proc. of Hybrid Systems: Computation and Control, 2017Best Repeatability Award and Finalist for Best Student Paper Award more… BibTeX Full text (mediaTUM)
  • Calzolari, Davide; Schürmann, Bastian; Althoff, Matthias: Comparison of Trajectory Tracking Controllers for Autonomous Vehicles. Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017 more… BibTeX Full text (mediaTUM)
  • Schürmann, Bastian; Althoff, Matthias: Optimal Control of Sets of Solutions to Formally Guarantee Constraints of Disturbed Linear Systems. Proc. of the American Control Conference, 2017 more… BibTeX Full text (mediaTUM)
  • El-Guindy, Ahmed; Schaab, Konstantin; Schürmann, Bastian; Han, Dongkun; Stursberg, Olaf; Althoff, Matthias: Formal LPV Control for Transient Stability of Power Systems. Proc. of the IEEE PES General Meeting, 2017 more… BibTeX Full text (mediaTUM)
  • Kopetzki, Anna-Kathrin; Schürmann, Bastian; Althoff, Matthias: Efficient Methods for Order Reduction of Zonotopes. Proc. of the 56th IEEE Conference on Decision and Control, 2017 more… BibTeX Full text (mediaTUM)
  • Schürmann, Bastian; Althoff, Matthias: Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space. Proc. of the 20th World Congress of the International Federation of Automatic Control, 2017 more… BibTeX Full text (mediaTUM)
  • Ames, Aaron D.; Tabuada, Paulo; Jones, Austin; Ma, Wen-Loong; Rungger, Matthias; Schürmann, Bastian; Kolathaya, Shishir; Grizzle, Jessy W.: First steps toward formal controller synthesis for bipedal robots with experimental implementation. Nonlinear Analysis: Hybrid Systems 25, 2017, 155 - 173 more… BibTeX
  • Schürmann, Bastian; Heß, Daniel; Eilbrecht, Jan; Stursberg, Olaf; Köster, Frank; Althoff, Matthias: Ensuring Drivability of Planned Motions Using Formal Methods. Proc. of the 20th IEEE International Conference on Intelligent Transportation Systems, 2017 more… BibTeX Full text (mediaTUM)
  • Schürmann, Bastian; El-Guindy, Ahmed; Althoff, Matthias: Closed-Form Expressions of Convex Combinations. Proc. of the American Control Conference, 2016 more… BibTeX Full text (mediaTUM)
  • Müller, Matthias A.; Schürmann, Bastian; Allgöwer, Frank: Robust cooperative control of dynamically decoupled systems via distributed {MPC}. Proc. of the IFAC Conference on Nonlinear Model Predictive Control, 2012 more… BibTeX