Équipe Systèmes Dynamiques et Optimisation

Les systèmes dynamiques sont des systèmes dont l'état évolue dans le temps. La variation de l'état du système peut être prédit à l'aide de modèles mathématiques qui permettent d'évaluer les performances, de simuler leur comportement ou de proposer des stratégies de contrôle.
Au sein de cette équipe différents modèles de systèmes dynamiques sont considérés

- les modèles aux dérivées partielles, permettant de prédire le comportement de systèmes thermiques ou fluides,
- les modèles discrets permettant de décrire l'évolution de systèmes dont l'état évolue en fonction de l'occurrence d'événements, tels que des systèmes de production, informatique ou de transport.

Les travaux menés visent le développement de nouveaux outils de modélisation mathématiques, l'utilisation des modèles mathématiques existants pour proposer des stratégies de contrôle et l'application de méthodes d'optimisation et de recherche opérationnelle afin de concevoir des systèmes plus performants. L'équipe s'intéresse également à l'application de ces outils en robotique et en informatique.

Mots clefs : Équations aux dérivées partielles, systèmes thermiques, optimisation combinatoire, recherche opérationnelle, optimisation de tournées de véhicules, systèmes à événements discrets, théorie des systèmes max-plus linéaires, ordonnancement, robotique mobile, cartographie, analyse par intervalles.

Responsable de l'équipe SDO : Sébastien LAHAYE (Professeur)

Membres :
Enseignants-Chercheurs et Chercheurs :
Laurent AUTRIQUE (Professeur)
Jean-Louis BOIMOND (Professeur)
Nizar CHATTI (Maître de Conférences SDO & SFD)
Bertrand COTTENCEAU (Professeur)
Philippe DECLERCK (Maître de Conférences - HDR)
Nicolas DELANOUE (Maître de Conférences - HDR)
Axel GRIMAULT (Maître de Conférences)
Christelle GUÉRET (Professeur)
Rémy GUYONNEAU (Maître de Conférences)
Laurent HARDOUIN (Professeur)
Jean-Claude JOLLY (Maître de Conférences)
Sébastien LAGRANGE (Maître de Conférences)
Mehdi LHOMMEAU (Maître de Conférences)
Philippe LUCIDARME (Maître de Conférences)
Laetitia PEREZ (Maître de Conférences - HDR)
Eric PINSON - membre intégré (Enseignant-Chercheur - HDR)
David RIVREAU - membre intégré (Enseignant-Chercheur - HDR)

Doctorants :
Thérèse AZAR
David BAEZ
Salim BIDOU
Salah BOUTERFIF
Guilherme ESPINDOLA WINCK
Luz Adriana GUZMAN TRUJILLO
Morgan LANGARD
Soraia MORADI

Autres membres :
Romain BENOIT (Membre associé)
Frédéric BOUSSEAU (Membre associé)
Frédéric GUÉGNARD (Membre associé)
Maria-Isabel RESTREPO-RUIZ (Membre associée)

- ConFuNuc : Projet RFI Atlanstic 2020, Développement d’approches théoriques et de méthodes numériques pour Contrôler l’évolution du profil de sécurité dans un plasma de Fusion Nucléaire,

- FILESMALL : Projet RFI Atlanstic 2020, Projet RFI Atlanstic 2020, FILtragE Stochastique de systèmes MAx-pLus Linéaires,

ENGRAIS : Fusion de donnéEs pour la NaviGation (autonome) d’un Robot AgrIcole Symétrique,

- MASCOT : Projet RFI Atlanstic 2020, Medical Attendant Shift Conception and OpTimisation

- ROBIBIO: Projet RFI Atlanstic 2020, RObot humanoïde BI-articulaires BIO-inspiré

- ROMULUX: RObot MesUrant des LUX

- DROMS : projet financé par la commission recherche de l’UA

- MinMaxGD : développement d'une librairie C++ pour le calcul sur les systèmes (max,+) linéaires, interface Scilab, traduction Javascript pour le calcul via un navigateur (téléchargements > 5000).
Auteurs : L. Hardouin, M. Lhommeau, B. Cottenceau, B. Gruet
les systèmes (max,+) linéaires peuvent être décrits par des séries formelles constituées de deux variables commutatives décrivant les opérateurs de décalage événementiel et temporel. La librairie MinMaxGD permet de réaliser des opérations rationnelles (somme, produit et étoile de Kleene) et des calculs de résiduation sur des matrices de séries rationnelles. Les résultats sont systématiquement fournis sous une forme canonique ultimement périodique (partie transitoire, motif périodique et périodicité).

- pa_SLAM, ISTIASlam et autres, développés à partir du premier SLAM, en libre accès : https://github.com/rguyonneau?tab=repositories.

- (Event|Time)-Variant Operator : ETVO is a set of C++ classes to compute transfer series for Weighted Timed Event Graphs and for Timed Event Graphs with partial synchronizations.

- Activités avec le CEA, la société IPRS, le DCNS,
- LS2N de Nantes,
- Gipsa-Lab de Grenoble,
- XLIM,
- LTN,
- ENSTA Bretagne,
- CIRRELT,
- Académie des sciences, Institut de Mathématiques à Prague en République Tchèque,
- Czech Technical University, Faculty of El. Eng. à Prague en République Tchèque,
- École Polytechnique de Montréal au Canada,
- TU Berlin en Allemagne,
- UFSC, UNICAMP et UFMG au Brésil,
- Edwardsville University aux USA,
- Universidad EAFIT et INCAS Universidad de Antioquia en Colombie,
- Institute of Control and Computation Engineering, University of Zielona Gora en Pologne,
- Unité de recherche SAGE - ENISO de Sousse en Tunisie