Auteur / Autrice : | Xavier David-Henriet |
Direction : | Laurent Hardouin |
Type : | Thèse de doctorat |
Discipline(s) : | Automatique, productique |
Date : | Soutenance le 19/03/2015 |
Etablissement(s) : | Angers en cotutelle avec Technische Universität (Berlin) |
Ecole(s) doctorale(s) : | École doctorale Sciences et technologies de l'information et mathématiques (Nantes) |
Partenaire(s) de recherche : | Laboratoire : LARIS. Laboratoire Angevin de Recherche en Ingénierie des Systèmes (EA7315) - Laboratoire angevins de recherche en ingénierie des systèmes (EA 7315) / LARIS |
Jury : | Président / Présidente : Rolf Niedermeier |
Examinateurs / Examinatrices : Bertrand Cottenceau, Jörg Raisch | |
Rapporteurs / Rapporteuses : Stéphane Gaubert, Thomas Moor |
Mots clés
Mots clés contrôlés
Résumé
De nombreux systèmes de transport peuvent être modélisées par des synchronisations ordinaires (pour tout k>=l, l'occurrence k de l'événement B se produit au moins t unités de temps après l'occurrence k-l de l'événement A). Ces systèmes sont linéaires dans l'algèbre (max,+). Pour certaines applications, il est primordial de modéliser la simultanéité entre événements. Comme la synchronisation ordinaire ne suffit pas à exprimer ce phénomène, nous introduisons la synchronisation partielle (l'événement B ne peut se produire que quand l'événement A se produit). Dans ce mémoire, des méthodes développées pour la modélisation et le contrôle de systèmes linéaires dans l'algèbre (max,+) sont étendues à des systèmes régis par des synchronisations ordinaires et partielles. Nous considérons uniquement des systèmes divisés en un système principal et un système secondaire et gouvernés par des synchronisations ordinaires entre événements dans le même système et des synchronisations partielles d'événements dans le système secondaire par des événements dans le système principal. Nous introduisons une commande optimale et une commande prédictive pour cette classe de systèmes par analogie avec les résultats disponibles pour les systèmes linéaires dans l'algèbre (max,+). En considérant un comportement donné pour le système principal, il est aussi possible de représenter le système secondaire par une fonction de transfert et de modifier sa dynamique pour suivre un modèle de référence.