DECENTRALIZED APPROACH FOR FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS

Moamar Sayed Mouchaweh, Alexandre Philippot, Véronique Carré-Ménétrier

Abstract

This paper proposes a decentralized approach to realize the diagnosis of Discrete Event Systems (DES). This approach is based on a set of local diagnosers, each one of them diagnoses faults entailing the violation of the local desired behavior. These local diagnosers infer the fault’s occurrence using event sequences, time delays between correlated events and state conditions, characterized by sensors readings and commands issued by the controller. An adapted codiagnosability notion is formally defined in order to ensure that the set of local diagnosers is able to diagnose all faults entailing the violation of the global desired behavior. An example is used to illustrate the proposed approach.

References

  1. Balemi S, Hoffmann G.J., Gyugyi P, Wong-Toi H., Franklin G.F. Supervisory control of a rapid thermal multiprocessor, IEEE Transactions on Automatic Control, vol. 38, n°7, pp. 1040-105, 1993.
  2. Debouk R., Lafortune S., and Teneketzis D. Coordinated decentralized protocols for failure diagnosis of DES, Discrete Event Dynamic Systems: Theory and Applications, 10(1-2):33-86, 2000.
  3. Lin F., Diagnosability of Discrete Event Systems and its Applications, In Discrete Event Dynamic Systems4, Kluwer Academic Publishers, USA. 1994.
  4. Pandalai D., L. E. N. Holloway, Template Languages for Fault Monitoring of Timed Discrete Event Processes, In IEEE Transactions On Automatic Control 45( 5), 2000.
  5. Philippot A., Sayed Mouchaweh M., Carré-Ménétrier V., Multi-models approach for the diagnosis of Discrete Events Systems, In IMACS'05, International conference on Modelling, Analyse and Control of Dynamic Systems, Paris-France, 2005.
  6. Qiu W., Decentralized/distributed failure diagnosis and supervisory control of DES, PhD Thesis, the Iowa State University, USA, 2005.
  7. Ramadge P., Wonham W., Supervisory control of a class of discrete event processes, In SIAM J. Control Optim. 25(1), 1987.
  8. Sampath M., Segupta R., Lafortune S., Sinnamohideen K., Teneketzis D., Diagnosability of discrete event systems, In 11th Int. Conf. Analysis Optimization of Systems: DES, France, 1994.
  9. Tripakis S., Fault Diagnosis for Timed Automata, 7th International Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'02), Oldenburg Germany, 2002.
  10. Wang Y., Supervisory Control of Boolean Discrete-Event Systems, Thesis of Master of Applied Sciences, University of Toronto, Canada, 2000.
  11. Zad S. H., Kwong R. H., Wonham W. M., Fault Diagnosis in DES: Framework and model reduction, IEEE Transactions On Automatic Control 48(7), 2003.
Download


Paper Citation


in Harvard Style

Sayed Mouchaweh M., Philippot A. and Carré-Ménétrier V. (2007). DECENTRALIZED APPROACH FOR FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS . In Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-972-8865-84-9, pages 124-129. DOI: 10.5220/0001627301240129


in Bibtex Style

@conference{icinco07,
author={Moamar Sayed Mouchaweh and Alexandre Philippot and Véronique Carré-Ménétrier},
title={DECENTRALIZED APPROACH FOR FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS},
booktitle={Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2007},
pages={124-129},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001627301240129},
isbn={978-972-8865-84-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Fourth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - DECENTRALIZED APPROACH FOR FAULT DIAGNOSIS OF DISCRETE EVENT SYSTEMS
SN - 978-972-8865-84-9
AU - Sayed Mouchaweh M.
AU - Philippot A.
AU - Carré-Ménétrier V.
PY - 2007
SP - 124
EP - 129
DO - 10.5220/0001627301240129