Fault diagnosis based on identified discrete-event models

Astrom, 1971, System identification: A survey, Automatica, 7, 123, 10.1016/0005-1098(71)90059-8 Cabasino, 2013, Model identification and synthesis of discrete-event systems Cabasino, 2014, Fault model identification and synthesis in Petri nets, Discrete Event Dynamic Systems, 24, 275 Cabasino, 2007, Identification of Petri nets from knowledge of their language, Discrete Event Dynamic Systems, 17, 447, 10.1007/s10626-007-0025-0 Cabral, 2017, Synchronous codiagnosability of modular discrete-event systems, 7025 Cabral, 2015, Online fault diagnosis of modular discrete-event systems, 4450 Cabral, 2015, A Petri net diagnoser for discrete event systems modeled by finite state automata, IEEE Transactions on Automatic Control, 59, 10.1109/TAC.2014.2332238 Carvalho, 2012, Robust diagnosis of discrete-event systems against intermittent loss of observations, Automatica, 48, 2068, 10.1016/j.automatica.2012.06.042 Carvalho, 2013, Robust diagnosis of discrete-event systems against permanent loss of observations, Automatica, 49, 223, 10.1016/j.automatica.2012.09.017 Cassandras, 2008 Debouk, 2000, Coordinated decentralized protocols for failure diagnosis of discrete event systems, Discrete Event Dynamic Systems: Theory and Applications, 10, 33, 10.1023/A:1008335115538 Estrada-Vargas, 2014, A stepwise method for identification of controlled discrete manufacturing systems, International Journal of Computer Integrated Manufacturing, 28, 187, 10.1080/0951192X.2013.874591 Estrada-Vargas, 2010, A comparative analysis of recent identification approaches for discrete-event systems, Mathematical Problems in Engineering, 2010, 1, 10.1155/2010/453254 Estrada-Vargas, 2014, Input–output identification of controlled discrete manufacturing systems, International Journal of Systems Science, 45, 456, 10.1080/00207721.2012.724098 Estrada-Vargas, 2015, A black-box identification method for automated discrete event systems, IEEE Transactions on Automation Science and Engineering, 14, 1321, 10.1109/TASE.2015.2445332 Klein, S., Litz, L., & Lesage, J.-J. (2005). Fault detection of discrete event systems using an identification approach. In 16th IFAC world congress (pp. 92–97). Prague, Czech Republic. Ljung, 1999 Medhi, 2006, Petri nets design and identification for the diagnosis of discrete event systems Moor, T., Raisch, J., & Young, S. (1998). Supervisory control of hybrid systems via l-complete approximations. In Proceedings of the IEEE workshop on discrete-event systems (pp. 426–431). Cagliari, Italy. Moreira, 2011, Polynomial time verification of decentralized diagnosability of discrete event systems, IEEE Transactions on Automatic Control, 1679, 10.1109/TAC.2011.2124950 Moreira, 2018, Enhanced discrete event model for system identification with the aim of fault detection, 172 Qiu, 2006, Decentralized failure diagnosis of discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, 36, 384, 10.1109/TSMCA.2005.853503 Real Games, 2018 Roth, 2010 Roth, M., Lesage, J.-J., & Litz, L. (2009). An FDI method for manufacturing systems based on an identified model. In 13th IFAC symposium on information control problems in manufacturing, INCOM2009 (pp. 1406–1411). Moscow, Russia. Roth, 2011, The concept of residuals for fault localization in discrete event systems, Control Engineering Practice, 19, 978, 10.1016/j.conengprac.2011.02.008 Sampath, 1995, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control, 40, 1555, 10.1109/9.412626 Santoro, 2017, Computation of minimal diagnosis bases of discrete-event systems using verifiers, Automatica, 77, 93, 10.1016/j.automatica.2016.11.026