DETECTABILITY AND DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS - Application on manufacturing systems

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

2005

Abstract

The diagnosis is defined as the process of detecting an abnormality in the system behavior and isolating its causes or sources. Not all the systems are diagnosable. Thus, before Appling a method to diagnose a system, we need to know if this system is diagnosable according to the set of failures required to be detected and isolated. This paper presents an algorithm to determine if a system is detectable or not, i.e., if we can know, at each instant, whether the system works under a normal or abnormal functioning state. In the case that the system is detectable, this algorithm determines if this system is diagnosable. This algorithm combines event and state based approaches in order to maximise the diagnosability power with a minimum number of sensors. In addition, the time is integrated and modelled with fuzzy intervals to enhance this diagnosabilty power and to take into account the imprecision of events occurrences instants. An example of manufacturing system is used to illustrate the functioning of this algorithm.

References

  1. Cassandras, C. G., Lafortune, S., 1999. Introduction to Discrete Event Systems, Kluwer Academic Publisher.
  2. Deepa Pandalai, N., Holloway, L. E., 2000. Template Languages for Fault Monitoring of Timed Discrete Event Processes, In IEEE Transactions On Automatic Control 45( 5).
  3. Garcia, H. E., Yoo, T. S., 2005. Model-based detection of routing events in discrete flow networks, Automatica 41.
  4. Holloway, L. E., Chand, S., 1994. Time templates for discrete event fault monitoring in manufacturing systems, In American Control Conf., Baltimore, MD.
  5. Lin, F., 1994. Diagnosability of Discrete Event Systems and its Applications, In Discrete Event Dynamic Systems4, Kluwer Academic Publishers, Boston, USA.
  6. Perrow, C., 1984. Normal Accidents:Living with High Risk Technologies, Basic Books, Inc., New York.
  7. Philippot, A., Sayed Mouchaweh, M., Carré-Ménétrier, V., 2005. 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.
  8. Philippot, A., Tajer, A., Gellot, F., Carre-Ménétrier, V., 2004. Méthodologie de modélisation dans le cadre de la synthèse formelle des SED. Conférence Internationale Francophone d'Automatique, Douz, Tunisie.
  9. Ramadge, P., Wonham, W., 1987. Supervisory control of a class of discrete event processes, In SIAM J. Control Optim. 25(1).
  10. Sampath, M., Sungupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D., 1994. Diagnosability of discrete event systems, In 11th Int. Conf. Analysis Optimization of Systems: Discrete Event Systems, Sophia-Antipolis, France.
  11. Su, R., 2004. Distributed Diagnosis for Discrete-Event System, Thesis of PhD, University of Toronto, Canada.
  12. Tripakis S., 2001; Fault Diagnosis for Timed Automata, VERIMAG (www-verimag.imag.fr).
  13. Wang, Y., 2000. Supervisory Control of Boolean DiscreteEvent Systems, Thesis of Master of Applied Sciences, University of Toronto, Canada.
  14. Zad, S. H., Kwong, R. H., Wonham, W. M., 2003. Fault Diagnosis in Discrete Event Systems: Framework and model reduction, IEEE Transactions On Automatic Control 48( 7).
  15. Zad, S. H., Kwong, R. H., Wonham, W. M., 1998. Fault diagnosis in discrete-event systems. In CDC'98, IEEE Conference on Decision and Control, Tampa, Florida, USA.
Download


Paper Citation


in Harvard Style

Sayed Mouchaweh M., Phillipot A. and Carré Ménétrier V. (2005). DETECTABILITY AND DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS - Application on manufacturing systems . In Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 972-8865-31-7, pages 149-154. DOI: 10.5220/0001176201490154


in Bibtex Style

@conference{icinco05,
author={Moamar Sayed Mouchaweh and Alexandre Phillipot and Véronique Carré Ménétrier},
title={DETECTABILITY AND DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS - Application on manufacturing systems},
booktitle={Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2005},
pages={149-154},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001176201490154},
isbn={972-8865-31-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - DETECTABILITY AND DIAGNOSABILITY OF DISCRETE EVENT SYSTEMS - Application on manufacturing systems
SN - 972-8865-31-7
AU - Sayed Mouchaweh M.
AU - Phillipot A.
AU - Carré Ménétrier V.
PY - 2005
SP - 149
EP - 154
DO - 10.5220/0001176201490154