5. Conclusion et discussion
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,...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Conclusion et discussion
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Article inclus dans l'offre
"Conception et Production"
(
188 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
