Fault diagnosis with Coloured Petri Nets using Latent Nestling Method

IEEE International Symposium on Industrial Electronics

Volumn , Issue , 2008, Pages 986-991

  Garcia E ^a   Rodriguez, L ^a   Morant, F ^a   Correcher, A ^a   Quiles, E ^a   Blasco, R ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRIC FAULT CURRENTS; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS;

COLOURED PETRI NETS; FAULT DIAGNOSIS; FINITE STATE MACHINES; INTERMITTENT FAULTS; STATE EXPLOSIONS;

INDUSTRIAL ELECTRONICS;

EID: 57849145332     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISIE.2008.4677094     Document Type: Conference Paper

References (13)

1. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis, "Failure diagnosis using discrete-event models," IEEE TransOn Contr. Systems, vol. 4, no. 2, pp. 105-124, March 1996.
2. E. Garcia and F. Morant, "Modular fault diagnosis based on discrete event systems for a mixer chemical process," ETFA'99 7th International Conference on Emerging Technologies and Factory Automation, vol. 2, pp. 1123-1130, Barcelona, Spain, October 1999.
3. S. Henk and S. Lafortune, "Distribute Diagnosis of Discrete-Event Systems Using Petri Nets," Applications and Theory of Petri Nets 2003, pp. 316-336.
4. B. Yang, S. Jeong, Y. Oh and A. Chiow Tan, "Case-based reasoning system with Petri nets for induction motor fault diagnosis," Expert Systems with Applications, vol. 27, Issue 2, pp. 301-311 August 2004.
5. C. Ciufudean, A. Graur, C. Filote and C. Turcu, "A New Formalism for Failure Diagnosis: Ant Colony decision Petri Nets," Proceedings of the IEEE International Conference on ARES 2006, Vienna, Austria, April 2006.
6. G. Fortino, L. Nigro, F. Pupo and W. Russo, "Agent-Based Distributed Execution of Coloured Petri Nets," Proceedings of SCS European Simulation Multiconference (ESM). 2001.
7. L. A. M. Riascos, L. A. Moscazo and P. E. Miyagi, "Detection and Treatment of Faults in Manufacturing Systems Based on Petri Nets", Journal of the Brazilian Society of Mechanical Sciences and Engineering., vol. XXVI, no. 3, July-September 2004.
8. L. Amorim, M. Nogueira, R. Barreto and E. Tavares, "Mapping Live Sequence Chart to Coloured Petri Nets for Analysis and Verification of Embedded Systems," ACM SIGSOFT Software Engineering, vol. 31, no. 3. May 2006.
9. R. Furtado, G. Cordeiro and R. Saraiva, "Método de Implementação de Sistema de Diagnóstico de Falta para Subestações Baseado em Redes de Petri," Revista Controle & Automação, vol. 16, no. 4. October-December 2005.
10. K. Hensen, "Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use," vol. 1, Second Edition, Springer Editions, 1997.
11. R. David and H. Halla, "Petri Nets & Grafcet: Tools for modelling discrete event systems," Prentice-Hall International Editions, 1992.
12. Ulerich and G. Powers, "On-line hazard aversion and fault diagnosis in chemical processes: The digraph + fault-tree method," IEEE Trans. Reliability, vol. 37, pp. 171-177, 1988
13. A. Correcher, E. García, F. Morant, E. Quiles and R. Blasco, "Intermittent failure diagnosis in industrial processes," ISIE '03. IEEE International Symposium on Industrial Electronics.vol. 2, pp. 723-728. June 2003.