A Monitoring Approach for Discrete Event Systems based on a Time Petri Net Model
| Authors: | Ghazel Mohamed, Ecole Centrale de Lille, France
Toguyéni Armand, Ecole Centrale de Lille, France
Bigand Michel, Ecole Centrale de Lille, France |
|---|
| Topic: | 1.3 Discrete Event and Hybrid Systems |
|---|
| Session: | Discrete Event and Hybrid Systems |
|---|
| Keywords: | Diagnosis, Monitoring, Time Petri nets, Discret Event System, Time |
|---|
Abstract
We develop in this paper a monitoring approach for Discrete EventSystems (DES) starting from a time Petri net model representing the a prioriknown behavior of such a system. The originality of our approach lies in thecombination made of the concept of event observability with the exploitation of thetemporal constraints on these events in order to refine the result of the monitoringprocess.
