Discrete Event Systems with Standard and Partial Synchronizations

par Xavier David-Henriet

Thèse de doctorat en Automatique, productique

Sous la direction de Laurent Hardouin.

Soutenue le 19-03-2015

à Angers en cotutelle avec Technische Universität (Berlin) , dans le cadre de École doctorale Sciences et technologies de l'information et mathématiques (Nantes) , en partenariat avec LARIS. Laboratoire Angevin de Recherche en Ingénierie des Systèmes (EA7315) (laboratoire) et de Laboratoire angevins de recherche en ingénierie des systèmes (EA 7315) / LARIS (laboratoire) .

Le président du jury était Rolf Niedermeier.

Le jury était composé de Bertrand Cottenceau, Jörg Raisch.

Les rapporteurs étaient Stéphane Gaubert, Thomas Moor.

  • Titre traduit

    Systèmes d'événement discrets avec synchronisations standard et partielles


  • 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.


  • Résumé

    Many transportation networks can be modeled by (max,+)-linear systems, i.e., discrete event systems ruled by standard synchronizations (conditions of the form: "for all k>=l, occurrence k of event B is at least t units of time after occurrence k-l of event A"). In some applications, it is also necessary to model simultaneity between events (e.g., for a road equipped with traffic lights, a vehicle can cross an intersection only when the associated traffic light is green). Such conditions cannot be expressed using standard synchronizations. Hence, we introduce the partial synchronization (condition of the form: "event B can only occur when event A occurs"). In this thesis, we consider a class of discrete event systems ruled by standard and partial synchronizations, called (max,+)-systems with partial synchronization. Such systems are split into a main system and a secondary system such that there exist only standard synchronizations between events in the same system and partial synchronizations of events in the secondary system by events in the main system. We adapt some modeling and control approaches developed for (max,+)-linear systems to (max,+)-systems with partial synchronization. Optimal feedforward control and model predictive control for (max,+)-linear systems are extended to (max,+)-systems with partial synchronization. Furthermore, transfer relation and model reference control are provided for the secondary system under a predefined behavior of the main system.


Il est disponible au sein de la bibliothèque de l'établissement de soutenance.

Consulter en bibliothèque

La version de soutenance existe

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université d'Angers. Service commun de la documentation. Section Lettres - Sciences.
  • Bibliothèque : Université d'Angers. Service commun de la documentation. Bibliothèque numérique.
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.