• Commande prédictive : interaction optimisation - commande
• Incertitude et décision en logistique
• La maintenance prévisionnelle : méthodes et outils
• Méthodes de diagnostic de fonctionnement de systèmes sans modèle a priori

• Méthodes intervalles
• Commande et surveillance des systèmes à événements discrets : Application aux systèmes manufacturiers

Jeudi 19 mars

09:00 – 10:35

Le calcul par intervalles pour la résolution de problèmes non-linéaires.
Luc Jaulin (ENSIETA)

11:35 – 12:45

Applications du calcul par intervalles en automatique et robotique.
Luc Jaulin (ENSIETA)

14:15 – 15:50

Méthodes ensemblistes pour l'estimation d'état.
Michel Kieffer (L2S - CNRS - Supélec – Univ. Paris-Sud)

16:20 – 18:00

Vérification des systèmes hybrides.
Antoine Girard (Laboratoire Jean Kuntzmann)

Vendredi 20 mars

09:00 – 10:35

Intégration numérique garantie d'équations différentielles ordinaires.
Nacim Ramdani (INRIA - LIRMM)

11:35 – 12:45

Méthodes intervalles pour l'analyse d'atteignabilité de systèmes continus et hybrides en présence d'incertitude.
Nacim Ramdani (INRIA - LIRMM)

14:15 – 15:50

Calculer avec des intervalles : une activité symbolique.
Yves Papegay (INRIA)

16:20 – 18:00

Travaux Pratiques calculs intervalles.
Michel Kieffer (L2S), Gilles Chabert (EMN) ou Luc Jaulin (ENSIETA).