Proposition stage M2 : Robust signal temporal logic MPC

Urgent?
oui
Description

Bonjour à toutes et à tous,

l'équipe Sémantique des Systèmes Hybrides de l'ENSTA Paris propose un stage de niveau M2 sur le sujet du contrôle prédictif robuste et la logique temporelle.

# Profil cherché :

- Personne en M2 Optimisation ou Automatique avec une appétence pour la formalisation mathématique et la programmation.

# Date limite de dépôt de candidature :

15 février 2023

# Contacts : 

- Julien Alexandre dit Sandretto julien.alexandre-dit-sandretto@ensta-paris.fr

- Elena Ivanova elena.ivanova@ensta-paris.fr