Thèse soutenue

Systèmes d'événement discrets avec synchronisations standard et partielles
FR  |  
DE  |  
EN
Accès à la thèse
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

Résumé

FR  |  
EN

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.