A Time Based Approach for the Monitoring of DES under Partial Observability - Application to a Railway Circuit
GHAZEL ; TOGUYENI ; YIM
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
GHAZEL ; TOGUYENI ; YIM
Résumé / Abstract
We propose in this paper a monitoring approach for Discrete Event Systems of which behavior is a-priori modelled. The model used to represent the system behaviour is Time Petri Net. Our approach proposes a set of mechanisms which exploit the temporal constraints on the bahaviour to fill up the partial observability on the system. This enables, on-line, tracking the system state and identifying the factual scenarios which occur on the system. That allows mainly detecting and identifying possible failures which can occur on the system. This kind of approaches is very suitable for railway safety studies, as the control view point behaviour can be easily represented by means of discrete event model. An illustration on a railway system is given throughout the paper to explain the various developed mechanisms. Railway traffic, Monitoring, Diagnostic, Time Petri net, Temporal constraints
