Rabah AMMOUR
Allocation :
Encadrant(s) :
Directeur : M. DIMITRI LEFEBVRE, PU
Co-Encadrant : M. EDOUARD LECLERCQ, MCF
Spéc. : Automatique, Signal, Productique, Robotique
Thèse : Contributions au diagnostic et pronostic des SEDs temporisés par réseaux de Petri stochastiques.
Soutenance : le 11 décembre 2017
Jury :
- M. Mohamed GHAZEL, Chargé de recherche HDR, IFFSTAR, Rapporteur
- M. Jean Jacques LESAGE, PU, ENS Cachan, Rapporteur
- Mme Isabel DEMONGODIN, PU, Université de Marseille, Examinatrice
- Mme Louise TRAVE, Directeur de Recherche CNRS, Toulouse, Examinatrice
- M. Edouard LECLERCQ, MCF, Université Le Havre Normandie, Encadrant
- M. Dimitri LEFEBVRE, PU, Université Le Havre Normandie, Directeur
- M. Eric SANLAVILLE, PU, Université Le Havre Normandie, Codirecteur
Résumé :
La complexification des systèmes nécessite l’élaboration de méthodes de surveillance de plus en plus efficaces. Le travail de cette thèse s’inscrit dans ce contexte et porte sur le diagnostic et le pronostic des Systèmes à Evénements Discrets (SEDs) temporisés. Les réseaux de Petri stochastiques partiellement mesurés sont utilisés pour modéliser le système. Le modèle représente à la fois le comportement nominal et le comportement dysfonctionnel du système. Il permet aussi de représenter ses capteurs à travers une mesure partielle des transitions et des places. Notre contribution porte sur l’exploitation de l’information temporelle pour le diagnostic et le pronostic des SEDs. A partir d’une suite de mesures datées, les comportements du système qui expliqueraient ces mesures sont d’abord déterminés. La probabilité de ces comportements est ensuite évaluée pour fournir un diagnostic du système en termes de probabilité d’occurrence des défauts. Dans le cas où une faute est diagnostiquée, une approche permettant d’estimer la distribution de sa date d’occurrence est proposée. L’objectif est de donner plus de détails sur cette faute afin de mieux la caractériser. Par ailleurs, la probabilité des comportements compatibles est exploitée pour estimer l’état actuel du système. Il s’agit de déterminer les marquages compatibles avec les mesures ainsi que leurs probabilités associées. A partir de cette estimation d’état, la prise en considération des évolutions possibles du système permet d’envisager la prédiction de la faute avant son occurrence. Une estimation de la probabilité d’occurrence de la faute sur un horizon de temps futur est ainsi obtenue. Celle-ci est ensuite étendue à l’évaluation de la durée de vie résiduelle du système. Enfin, une application des différentes approches développées sur un cas d’un système de tri est proposée.
Mots-clés :
Systèmes échantillonnés, Petri, Réseaux de, Durée de vie (ingénierie), Diagnostic et pronostic de défauts, Réseaux de Petri stochastiques, Datation des fautes, Durée de vie résiduelle, Système à évènements discrets