Ecole MACS 2015

Module "Formalismes et diagnostic des systèmes à événements discrets"

Introduction aux SED, langages et automates

présentation (pdf)

Laurent Piétrac

Ampère, INSA Lyon

• Introduction aux systèmes à événements discrets : syst. à état continu et état discret, temps continu et discret, concept d’événement, les SED

• les Langages : définitions, opérations, langages réguliers

• Les automates : définitions et propriétés (déterministe, bloquant, émondé), langages d'un automate, produit et composition parallèle

• Exemple d'utilisation : le contrôle par supervision

Introduction aux réseaux de Petri

présentation (pdf)

Isabel Demongodin

LSIS, Université de Marseille

• Introduction aux formalismes RdP nécessaires aux méthodes (Max, +) et au diagnostic présentées dans ce module :

  • RdP autonomes

  • RdP labélisés

  • RdP synchronisés

  • RdP temporisés / temporels

Méthodes et outils de l'algèbre max-plus pour les SED

présentation (pdf)

Bertrand Cottenceau, Mehdi Lhommeau, Sébastien Lahaye

LARIS, Université d'Angers

• Introduction et motivations (SL)

• Bases de l'algèbre (max,+) (SL)

  • Définitions et propritétés

  • Manipulation de matrices

  • Système (max,+)-linéaire

  • Résultats importants : points fixes, théorie spectrale et résiduation

  • Autres exemples de semi-anneaux idempotents

• Automatique des systèmes (max,+) linéaires (BC)

  • Notions de dateur et de compteur

  • Graphes d'événements temporisés, classe de systèmes (max,+) linéaires

    • Représentation dans les algèbres (max,+) et (min,+)

    • Représentation à l'aide d'opérateurs

  • Résultats de commande (ML)

• Outils logiciels pour l'Automatique des systèmes (max,+) linéaires (ML)

• Automates (max,+) (SL)

  • Exemples et classes de SED considérés

  • Définitions et propriétés

  • Représentation d'état et comportement

  • Exemples d'utilisation

    • Aide à l'évaluation de performances et l'ordonnancement d'ateliers

    • Aide à la planification ferroviaire

Diagnostic des systèmes à événements discrets

Alessandro Giua (LSIS, Marseille), Armand Toguyeni (LAGIS, Lille), Dimitri Lefebvre (GREAH, Le Havre) et Yannick Pencolé (LAAS, Toulouse)

• Diagnostic des SED par réseaux de Petri partiellement mesurables (Dimitri Lefebvre), présentation (pdf)

  1. Introduction

  2. Diagnostic des SED

  3. Diagnostic par POPN et POSPN

     1. Modélisation des configurations de capteurs

     2. Trajectoires compatibles avec les mesures

     3. Diagnostic

     4. Pronostic

  4. Conclusions

• Diagnosticabilité des modèles à base de RdP Labellisé et de RdP Temporel Labellisé (Armand Toguyeni), présentation (pdf)

• 1. Introduction

  2. Problématiques (diagnosticabilité, k-diagnosticabilité, construction d’un diagnostiqueur)

  3. Diagnosticabilité des RdP labellisés : différentes approches développées dans la littérature

     1. Diagnosticabilité des RdP temporels labellisés

     2. Conclusions

• State identifications of synchronized Petri nets (Alessandro Giua), présentation (pdf)

In testing problems, a topic of great interest is that of state identification, i.e., estimating the state of a discrete event system. Among the different approaches that have been presented in the literature  we consider those based on synchronizing sequences, i.e., sequences that drive the system to a known final state regardless of the initial one and do not require the observation of the system’s outputs. For automata models the problem of computing such sequences has been completely solved but its complexity is polynomial in the number of states.

In this talk I discuss some recent results for the computation of synchronizing sequences on discrete event systems modeled by synchronized Petri nets. It will be shown that the approaches based on Petri nets offer significant computation advantages with respect to the automata based approaches: in fact they may exploit the knowledge of the net structure and do not require the exhaustive enumeration of its state space. Furthermore, I also show how these techniques can be extended to encompass systems with an infinite state space.

• Diagnostic des SED basé sur langages réguliers et les automates (Yannick Pencolé), présentation (pdf)

1. Notions de modules, de précision

2. Diagnosticabiité locale/globale

3. Notions de motifs de supervision