Foto von Lukas Schäfer

Lukas Schäfer, M.Sc.

Technische Universität München

Informatik 6 - Professur für Cyber Physical Systems (Prof. Althoff)


Boltzmannstr. 3
85748 Garching b. München

Curriculum Vitae

Lukas Schäfer joined the Cyber-Physical Systems Group as a PhD candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2021. He received his M.Sc. in robotics, cognition, intelligence and B.Sc. in mechanical engineering both from the Technical University of Munich and his B.Eng. in Business Administration and Engineering from the Baden-Wuerttemberg Cooperative State University Stuttgart. His research focuses on robust safety-preserving controller synthesis of nonlinear systems.

Offered Thesis Topics

I am always looking for motivated students who are interested in writing a thesis related to my area of research. If you are considering one of the currently offered topics or want to discuss your own research idea, please get in touch via email including your CV, transcript of records, and a brief statement of your motivation.

Currently Available



  • Formal Methods for Cyber-Physical Systems [WiSe 2021/22] - Reachset Model Predictive Control

Seminar Course - Cyber-Physical Systems

  • [WiSe 2021/22] Convexification of Polynomial Optimization Problems
  • [WiSe 2021/22] Robust Nonlinear Model Predictive Control
  • [SuSe 2022] Constraint Set Certification for Reinforcement Learning (co-supervised with Hannah Markgraf)
  • [SuSe 2022] Safe Reinforcement Learning with Probabilistic Models (co-supervised with Jakob Thumm)

Practical Course - Verification, Controller Synthesis, and Design of Cyber-Physical Systems

  • [SuSe 2022] Robust Model Predictive Control of Nonlinear Systems



  • Schäfer, Lukas; Gruber, Felix; Althoff, Matthias: Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems, 2022
    This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible. more…


  • Schäfer, Lukas; Manzinger, Stefanie; Althoff, Matthias: Computation of Solution Spaces for Optimization-based Trajectory Planning. IEEE Transactions on Intelligent Vehicles, 2021, 1-1 more…