Monitoring and Diagnosis of Discrete Event Systems using Time Petri Nets : a Railway Case Study
GHAZEL
Type de document
CHAPITRE D'OUVRAGE (CO)
Langue
anglais
Auteur
GHAZEL
Résumé / Abstract
Monitoring of discrete event systems has been the subject of several studies during the last decades. The approaches developed are different as regards the model used, the hypothesis taken and the point of view considered. In this chapter, a monitoring approach for timed discrete event systems is discussed. The system behavior is modelled using Time Petri Net. The proposed approach exploits temporal constraints to assess the system state and therefore detect and identify faults being given the partial observability of events. This approach uses an offline synthesis of the timed system behavior which serves as a basis to the online monitoring. Then, an online algorithm is used to track the system's state and to identify the event scenarios which occur within the system. Several mechanisms have been elaborated in order to detect the faulty behaviors and to identify the possible failures. They are based both on the structural analysis of the system behavior and on the time constraints. Moreover, the developed approach offers the ability to anticipate the occurrence of some failures which is an interesting fact, especially when dealing with critical systems. Diagnosability questions are also put forth and some results are proposed. A railway control case study is used in order to gradually illustrate the various approach steps.
Editeur
Nova Science Publishers
