Detection of changes by observer in timed event graphs and time stream event graphs
Dependable Control of Discrete Systems, Volume # 1 | Part# 1
Digital Object Identifier (DOI)
time stream event graphs,observer,estimation,detection,isolation, diagnostic, (min, max, +) functions
A state-based approach for detection of changes in systems modelled as Timed Event Graph and Time Stream Event Graph is presented. We assume that the net in its nominal behavior is known and transitions are partitioned as observable and unobservable transitions. Considered faults are (possibly small) variations of dynamical models by respect to this nominal behavior. Using the algebra of dioids, the approach follows the same principle as the observers used in continuous systems.
 A. Giua, Carla Seatzu (2005). Fault detection for discrete event systems using petri nets with unobservable transitions. 44th IEEE Conference on Decision and Control and European Control Conference ECC.  D. Lefebvre, C. Delherm (2006). Diagnosis of des with petri net models. IEEE Trans. On Automation Science and Engineering.  F. Baccelli, G. Cohen, G.J. Olsder J.P. Quadrat (1992). Synchronization and linearity. An Algebra for Discrete Event Systems. Wiley. New York.  M. Diaz (2001). Les réseaux de Petri. Hermes.  S. Hashtrudi Zad, R.H. Kwong, W.M. Wonham (2003). Fault diagnosis in discrete-event systems: Framework and model reduction. IEE Trans. on Automatic Control. 48, 1199-1212.