Diagnosis of Controlled Discrete-Event Systems: An Approach Based on Chronicles and Modular Analysis by Using Automata Models

[EN] Nowadays industrial process systems are becoming more complex and it is needed simpler and efficient diagnosers by decreasing the dimension of their models. Modular diagnosis has proved to be very efficient in order to reduce the complexity asociated to discrete event systems. This work proposes a diagnostic approach based on chronicles and modular temporized analysis. Each fault is associated with a set of chronicles and each chronicle recognizes fault signature which is obtained from the state diagnoser associated to the finite state automata defined for each process module. A base of modular chronicles is created, which are manipulated through a coordination protocol that runs online in order to produce the global diagnosis. The performance of the proposed approach is tested on a industrial case of study and adequate results are reached.[ES] Debido a la complejidad de los procesos industriales, se necesitan diagnosticadores más sencillos y eficientes con reducción en las dimensiones de sus modelos. El diagnóstico modular ha mostrado ser eficiente en la reducción de la complejidad asociada a los sistemas de eventos discretos. Este trabajo propone un enfoque de diagnóstico basado en crónicas y análisis modular temporizado. Cada falla se asocia a un conjunto de crónicas, y cada crónica reconoce una firma de la falla, la cual es obtenida a partir de diagnosticadores de estado, modelados con autómatas de estado finito, y definidos para cada módulo del proceso. De esta manera se crea una base de crónicas modulares que luego son manipuladas a través de un protocolo de coordinación que se ejecuta en línea. El desempeño de este enfoque ha sido probado en un caso de estudio industrial relativo a una clase de sistema hidráulico, obteniendo resultados adecuados.Este trabajo ha sido financiado por el proyecto CDCHT-ULA I-1237-10-02-AA.González Miranda, O.; Cerrada Lozada, M. (2014). Diagnóstico de Sistemas de Eventos Discretos Controlados: Un Enfoque Basado en Crónicas y Análisis Modular Usando Modelos de Autómatas. Revista Iberoamericana de Automática e Informática industrial. 11(2):191-201. https://doi.org/10.1016/j.riai.2014.02.003191201112Cassandras, C.G., Lafortune, S., 2008. Introduction to Discrete Event Systems, 2nd Edition. Springer, New York, USA.Cerrada, M., Ferrarini, L., Dedé, A., Julio 2010. Modular fault diagnosis using temporized analisys for a class of discrete event systems. In: 12th LSS Large Scale Systems: Theory and Applications Simposium. Villeneuve d’Ascq. France.Contant, O., Lafortune, S., Teneketzis, D., 2006. Diagnosability of discrete event systems with modular structure. Discrete Event Dynamic Systems 16 (1), 9-37.Cordier, M., Guillou, X.L., Robin, S., Rozé, L., Vidal, T., Mayo 29-31 2007a. Distributed chronicles for on-line diagnosis of web services. In: The 18th International Workshop on Principles of Diagnosis (DX-07). Nashville, TN, USA, pp. 37-44.Cordier, M., Pencolé, Y., Travé-Massuyés, L., Vidal, T., 2007b. Self-healability = diagnosability + repairability. In: The 18th International Workshop on Principles of Diagnosis (DX-07). Nashville, TN, USA, pp. 251-258.Debouk, R., Lafortune, S., Teneketzis, D., 2000. Coordinated descentralized protocols for failure diagnosis of discrete event systems. Discrete Event Dynamic Systems 10 (1-2), 33-86.Dousson, C., Gaborit, P., Ghallab, M., 1993. Situation recognition: Representation and algorithms. In: Proceedings of the 13th IJCAI. Vol. 1. Chambéry, France, pp. 166-172.Ferrarini, L., Brusa, R., Veber, C., 2008. A pragmatic approach to fault diagnosis in hydraulic circuits for automated machining: a case study. In: IEEE CASE 2008, the 4th annual IEEE Conference on Automation Science and Engineering. Washington DC, USA.Jamshidi, M., Julio 2010. From large-scale systems to system of systems: Control challenges for the 21st century. In: 12th LSS Large Scale Systems: Theory and Applications Simposium. Villeneuve d’Ascq. France.Pencolé, Y., Subias, A., 2009. A chronicle-based diagnosability approach for discrete timed-event systems: Application to web-services. Journal of Universal Computer Science 15 (17), 3246-3272.Pucel, X., Travé-Massuyés, L., Pencolé, Y., Julio 21-25 2008. Another point of view on diagnosability. In: 4th European Starting AI Researcher Symposium (Stairs’2008). Patras, Grecia.Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D., 1996. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4 (2), 105-124.Wang, Y., Yoo, T., Lafortune, S., 2007. Diagnosis of discrete event systems using decentralized architectures. Discrete Event Dynamic Systems 17 (2), 233-263