DETECCIÓN ACTIVA DE FALTAS EN SISTEMAS DE EVENTOS DISCRETOS

Karen Hernández Rueda, María E. Meda Campaña, Bernardo Haro Martínez

Resumen


Resumen

El objetivo de este trabajo es presentar una propuesta de solución de Diagnóstico Activo en Sistemas de Eventos Discretos modelado por redes de Petri. La propuesta se basa en un controlador llamado Circuito de Regulación Inteligente que reduce la distancia relativa entre las transiciones que modelan faltas y las del resto de la red de Petri, permitiendo la detección y diagnóstico de faltas mientras se mantiene la vivacidad del sistema y se reduce la flexibilidad del sistema sólo en los estados requeridos. Finalmente, los resultados presentados se ilustran en un ejemplo.

Palabras Claves: Detección activa, diagnosticabilidad, redes de Petri, sistemas de eventos discretos.

 

ACTIVE FAULT DETECTION IN DISCRETE EVENT SYSTEMS

Abstract

The aim of this work is to present a proposal of Active Diagnosis in Discrete Event Systems modeled by Petri nets. This approach is based on a controller named Intelligent Regulation Circuit which reduces the relative distance among the system transition allow in the detection and diagnosis of faults while maintaining the liveness of the system. Finally, the results presented are illustrated by an example.

Keywords: Active detection, diagnosability, discrete event system, Petri nets.


Texto completo:

730-748 PDF

Referencias


Cabasino M.P., Lafortune S. and Seatzu C. Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Automatica, vol. 49. Pp.2372-2383, 2013.

Densel J. and Esparza J. Free Choice Petri Nets. University Press. Cambridge, 1995.

Dotoli M., Fanti M.P., Mangini A.M. and Ukovich W. On-line Fault Detection in Discrete Event Systems by Petri nets and Integer Linear Programming. Automatica, vol. 45. no. 11. Pp. 2665-2672, Octuber 2009.

Hernández-Rueda K., Meda-Campaña M.E. and Arámburo-Lizárraga J. Enforcing Diagnosability in Interpreted Petri Nets. IFAC-Papers On Line, vol. 48. No. 7. Pp. 58-63. DOI: 10.1016/j.ifacol.2015.06.473, 2015

Lafortune S. and Genc S. Distributed diagnosis of place-bordered petri nets. IEEE Transactions on Automation Science and Engineering, vol.4. No. 2. April. Pp.206-219, 2007.

Lefebvre D. and Leclerq E. Stochastic Petri nets identification for the fault detection and isolation of discrete event systems. IEEE Transactions on Systems, Man, Cybernetics, A., Syst. Humans, vol. 41. No. 2. Pp. 213-225, 2011.

Murata T. Petri nets: properties, analysis and applications. Proceedings of IEEE, vol.77. No.4. Pp.541-580, 1989.

Ramírez-Treviño A., Ruiz-Beltrán E., Arámburo J. and López-Mellado E. Structural Diagnosability of DES and Design of Reduced Petri Net Diagnosers. IEEE Transactions on Systems, Man and Cybernetics, vol. 42. No.2. Pp. 416-429, 2012.

Rivera-Rangel I., Ramírez-Treviño A., Aguirre-Salas L.I. and Ruiz-León J. Geometrical characterization of Observability in Interpreted Petri Nets. Kybernetika, vol. 41. Pp. 553-574, 2005.

Ruiz-Beltrán E., Ramírez-Treviño A. and Orozco-Mora J.L. Formal Methods in Manufacturing: Fault Diagnosis in Petri Nets. Edited by Javier Campos, Carla Seatzu and Xiaolan Xie. CRC Press Taylor-Francis Group. Boca Raton, FL. Pages 728, 2014.

Ruiz-Beltrán E., Ramirez-Treviño A., López-Mellado E. and Arámburo-Lizárraga J. A Structural Characterization of Diagnosable Petri Net Models. Proceedings of the 3rdAnnual IEEE Conference on Automation Science and Engineering. Scottsdale, AZ, USA. Pp.1137-1142. Sept 22-25, 2007.

Sampath M., Sengupta R., Lafortune S., Sinnamohideen and K., Teneketzis D.C. Diagnosability of discrete event systems. IEEE Transactions on Automatic and Control, vol.4. No.9. Pp.1555-1575, 1995.

Sampath M., Sengupta R., Lafortune S., Sinnamohideen and K., Teneketzis D.C. Diagnosis of Discrete-Event Systems. IEEE Transactions on Automatic and Control, vol. 43. No.7. Pp. 908-929, 1998.

Sampath M., Sengupta R., Lafortune S., Sinnamohideen K. and Teneketzis D.C. Failure Diagnosis Using Discrete-Event Models. IEEE Transactions on Control Systems Technology, vol.4. No. 2. Pp.105-124, 1996.

Seatzu C. and Giua A. Fault Detection for Discrete Event Systems using Petri nets with unobservable transition. IEEE CDCD. Pp.6323-6328, December 2005.

Wu Y. and Hadjicostis C. N. Algebraic approaches for fault identification in discrete-event systems. IEEE Trans. Robotics and Automation, vol. 50. No.12. Pp. 2048–2053, 2005.

Ziqiang C.,Feng L., Caisheng W. G., Wang L. Y. and Min X. Active Diagnosability of Discrete Event Systems and its Application to Battery Fault Diagnosis. IEEE Transactions on Control Systems Technology, vol.22. No.5. Pp.1892-1898, 2014.


Enlaces refback

  • No hay ningún enlace refback.