Robust signal temporal logic model predictive control

Keywords:
Robust Model Predictive Control
Signal Temporal Logic Specification
Mixed-Integer Linear Programming

Please address the attached PDF for a detailed description.

Laboratory: U2IS, ENSTA Paris Address: 828 boulevard des mar´echaux 91762 Palaiseau Cedex

Advisers: Julien Alexandre dit Sandretto julien.alexandre-dit-sandretto@ensta-paris.fr
Elena Ivanova elena.ivanova@ensta-paris.fr

Duration: 6 months Scholarship: according to the legislation in force

In case of a successful internship, a Ph.D. offer is likely to be proposed.