Diagnostic de réseaux de Petri partiellement observables avec indicateurs algébriques

Dans cet article, nous presentons une approche de diagnostic d’un reseau de Petri partiellement observable basee sur une formalisation des indicateurs de fautes exprimees sous une forme algebrique (min, max, +). Les fautes sont modelisees par certaines transitions non observables et l’occurence d’une faute est equivalente au franchissement de la transition associee. L’algorithme d’elimination de Fourier-Motzkin est applique hors-ligne pour la generation des indicateurs de fautes utilises pour le diagnostic en-ligne dans un temps polynomial. L’approche permet d’anticiper sur l’etat du systeme (defaillant, non-defaillant, incertain) pour chaque transition observee de l’observation. Une comparaison avec la technique de diagnostic, utilisant la programmation lineaire, permet de montrer l’efficacite de notre approche. Le systeme de diagnostic se presente sous la forme d’un module operant en parallele avec l’approche classique.