Abstract FR:

La surveillance et le diagnostic de pannes (sdp) dans les systemes complexes reposent ici sur la connaissance d'un comportement de reference et sur l'exploitation de signaux delivres par les capteurs, numeriques ou symboliques (marche/arret, alarmes). Nous prenons pour cadre une modelisation conjointe, ou hybride numerique/symbolique, de la production de ces signaux, par modele a etat continu parametre pour l'aspect numerique et sinon par systeme a evenements discrets, ici un reseau de petri (rdp). La conception du rdp propose exploite les connaissances a priori disponibles : arbres de defaillances, issus des analyses de risque des systemes, et graphe (des modes) de fonctionnement, issu par exemple d'un grafcet de commande. La sdp consiste alors a estimer dans un cadre bayesien, la sequence optimale d'evenements non observes (les defaillances) survenus dans le rdp, conditionnellement aux signaux numeriques dans lesquels se manifestent les pannes : pour cela deux algorithmes de type viterbi sont developpes, selon que le modele hybride est purement stochastique ou non. Dans le premier cas, le rdp est restreint a la dynamique des defaillances, supposee completement probabilisee, ce qui permet d'adopter un cadre markovien cache pour l'estimation. Dans le second cas, on inclut les possibilites de changement de mode de fonctionnement : un ensemble de modeles d'etat decrit la production des signaux numeriques selon les phases de fonctionnement du systeme ; leur alternance etant observee de maniere certaine, le rdp est maintenant partiellement deterministe. Un algorithme de viterbi generalise, recemment developpe pour les rdp partiellement stochastiques, est ici etendu a ce type de systeme. Dans les deux cas, les observations numeriques du viterbi sont elaborees selon l'approche asymptotique locale. Un exemple simule presente les qualites et limites de cette approche.