Home > Dependable Control of Discrete Systems > 1st IFAC Workshop on Dependable Control of Discrete Systems (2007) > Detection of changes by observer in timed event graphs and
time stream event graphs
» Download Article
Document
Reference
Detection of changes by observer in timed event graphs and time stream event graphs
Dependable Control of Discrete Systems, Volume # 1 | Part# 1
Location: École Normale Supérieure de Cachan, France
National Organizing Committee Chair: Lesage, Jean-Jacques
International Program Committee Chair: Faure, Jean-Marc, McDermid, J.
Conference Editor: Faure, Jean-Marc, Lesage, Jean-Jacques
Authors
Declerck, Philippe
Digital Object Identifier (DOI)
10.3182/20070613-3-FR-4909.00011
Page Numbers:
49-54
Index Terms
time stream event graphs,observer,estimation,detection,isolation, diagnostic, (min, max, +) functions
Abstract
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.
References
[1] 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.
[2] D. Lefebvre, C. Delherm (2006). Diagnosis of
des with petri net models. IEEE Trans. On
Automation Science and Engineering.
[3] F. Baccelli, G. Cohen, G.J. Olsder J.P. Quadrat
(1992). Synchronization and linearity. An Algebra
for Discrete Event Systems. Wiley. New
York.
[4] M. Diaz (2001). Les réseaux de Petri. Hermes.
[5] 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.