Phd Position for Learning-based Model Predictive - Munich, Deutschland - Technische Universität München

Technische Universität München

Geprüftes Unternehmen

Munich, Deutschland

vor 3 Wochen

Geschrieben von:

Lena Wagner

beBee Recruiter

Beschreibung

The research group Cyber-Physical Systems of Prof. Matthias Althoff at the Technical University of Munich offers a PhD position in the area of learning-based model predictive control with formal guarantees. The Technical University of Munich is one of the top research universities in Europe fostering a strong entrepreneurial spirit and international culture.

Expected Starting Date: 01 August December 2023

Closing Date for Applicants: 15 July 2023

Duration: 3 years with a possible extension

Project and Job Description
Cyber-physical systems are complex systems that combine physical capabilities with computational capabilities.

These include medical devices and systems, process controls, autonomous vehicles, avionic systems, energy systems, robots, manufacturing systems, and smart structures.

The increasingly complex requirements of cyber-physical systems makes it very difficult to control them or even prove that their specification is met.

For this reason, learning-based model predictive control is an active area of research. However, this approach is not yet scalable and formally correct for arbitrary nonlinear systems.

To address this problem, we propose a novel approach that combines machine learning, optimization techniques, and reachability analysis.

We will use machine learning twofold:
to identify the uncertain system dynamics during operation and to support classical optimization techniques in finding global mínima. Optimization techniques will be primarily used to realize model predictive control based on the learned system dynamics. Finally, we utilize reachability analysis to ensure the safety of the system despite sensor noise, disturbances, and model uncertainties.

Among other use cases, we will evaluate our approach on our autonomous vehicle EDGAR. All developed algorithms will be available through our software tools CORA ) for reachability analysis and AROC ) for formal controller synthesis.

Previous Work

Job Specifications

Excellent Master's degree (or equivalent) in computer science, engineering, or related disciplines (typically mathematics, physics).
Fluency in spoken and written English is required.
Good programming skills in at least one programming language, e.g. MATLAB, C/C++, Python.
Highly motivated and keen on working in an international and interdisciplinary team.
Applicants with strong background in the following fields are preferred:
Control Theory
Optimization
Formal methods
Robotics

Context

Our Offer

Contact

Hinweis zum Datenschutz:

Im Rahmen Ihrer Bewerbung um eine Stelle an der Technischen Universität München (TUM) übermitteln Sie personenbezogene Daten. Beachten Sie bitte hierzu unsere Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung von personenbezogenen Daten im Rahmen Ihrer Bewerbung. Durch die Übermittlung Ihrer Bewerbung bestätigen Sie, dass Sie die Datenschutzhinweise der TUM zur Kenntnis genommen haben.