Evaluation a la volee de la diagnosticabilite des systemes a evenements discrets temporises

摘要

Cet article s'interesse a la diagnosticabilite des systemes a evenements discrets temporises. Le formalisme de modelisation utilise est le reseau de Petri T-temporel et labellise (RdP-LT). C'est une extension des RdP temporels pour laquelle a chaque transition est associe un evenement qui peut etre observable ou non. Nous proposons une approche pour verifier la diagnosticabilite et nous fournissons une solution pour calculer le delai minimum A pour garantir cette diagnosticabilite. L'analyse de cette diagnosticabilite est effectuee par un algorithme a la volee, base sur une structure de donnees que nous nommerons graphe-ECEE. Cette structure contient les informations sur l'etat du RdP-LT. Les algorithmes a la volee permettent souvent d'obtenir un resultat sans avoir necessairement a explorer tout l'espace d'etats. C'est un avantage important par rapport aux approches classiques d'enumeration systematique de tous les etats.