Conclusion et discussion
Diagnostic des systèmes à événements discrets (SED) - État de l'art

Dans cet article, l'état de l'art sur les méthodes de diagnostic des Systèmes à Événements Discrets (SED) a été présenté. Nous avons vu que la majorité des méthodes de diagnostic des SED utilisent soit des automates à états soit des Réseaux de Petri (RdPs) pour la modélisation des comportements normal et/ou défaillant. Les automates sont un outil de modélisation formel qui possède des opérateurs de composition et de projection permettant de passer d'une vision locale d'un procédé vers une vision globale et vice versa.

De plus, les langages associés aux automates permettent une définition formelle de la notion de diagnosticabilité. Cependant, la granularité de la modélisation par automates est un élément déterminant impliquant des problèmes de lisibilité et d'explosion du nombre d'états.

Les RdPs, quant à eux, sont des modèles bien adaptés pour traiter les problèmes de synchronisation d'événements et le partage de ressources puisqu'il est possible d'avoir plusieurs jetons pour une même place ou une place pour plusieurs composants du système, ce qui n'est pas possible pour les automates à états. Toutefois, la vérification formelle de la propriété de diagnosticabilité et la détermination du retard de détection par les RdPs restent un problème difficile à résoudre.

En ce qui concerne la structure de prise de décision, nous avons étudié trois structures : centralisée, décentralisée et distribuée. Le choix d'une de ces structures dépend de la taille du procédé et de l'information disponible. Les systèmes réels de production sont des systèmes de nature informationnelle et géographiquement décentralisée. Une structure décentralisée ou une structure distribuée sont donc les plus adaptées pour ce type de systèmes.

Le choix entre une structure décentralisée ou distribuée dépend de l'architecture du système (composants interconnectés) ou de la manière dont on souhaite contrôler le système. Par exemple, si on veut contrôler le comportement du système par une commande globale, on choisit un diagnostic décentralisé. En revanche, pour un contrôle local par composant, une approche distribuée est plus adaptée. Toutefois, la vérification de la F-codiagnosticabilité ne doit pas nécessiter la construction d'un modèle global du système.

La modélisation...