A Diagnosis Framework of Hybrid Dynamic Systems based on Time Fuzzy Petri Nets

This paper presents a diagnosis framework based on a qualitative model of the process. Starting from a dynamic abstraction procedure under a defined operating mode a fuzzy partitioning of the variables evolution is made, defining for each measured or observable variable a number of qualitative states. Then time Fuzzy intervals representing the moment of state change are defined. The process behaviour of the operating mode is represented by Time Fuzzy Petri nets (TFPN). The evolution of the model is the consequence of events detection due to the partitioning bounds crossing. According to the membership possibility of an event to the estimated time interval and to fuzzy influence knowledge, it is possible to reason about a fault occurrence. The fuzzy data issue from the TFPN components allows evaluating the causes of the fault or failure mode. A model-based diagnosis is presented.