Diagnosability of discrete event systems subject to permanent sensor failures

References

• Carvalho, L.K., Moreira, M.V., Basilio, J.C., & Lafortune, S. (2012). Robust diagnosis of discrete-event systems against intermittent loss of observations. Automatica, 48(9), 2068–2078.
   Web of Science ®Google Scholar
• Carvalho, L.K., Moreira, M.V., Basilio, J.C., & Lafortune, S. (2013). Robust diagnosis of discrete-event systems against permanent loss of observations. Automatica, 49(1), 223–231.
   Web of Science ®Google Scholar
• Cassandras, C.G., & Lafortune, S. (2008). Introduction to discrete event systems (2nd ed.). New York, NY: Springer.
   Google Scholar
• Cormen, T.H., Leiserson, C.E.& Rivest, R.L. (1990). Introduction to algorithms. Cambridge, MA: MIT Press.
   Google Scholar
• Jiang, S., Huang, Z., Chandra, V., & Kumar, R. (2001). A polynomial algorithm for testing diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 46(8), 1318–1321.
   Web of Science ®Google Scholar
• Kanagawa, N., & Takai, S. (2014). Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures. In A. Grau & H. Martinez (Eds.), 19th IEEE International Conference on Emerging Technologies and Factory Automation. Barcelona: IEEE. (paper ID: PD-001147).
   Google Scholar
• Qiu, W., & Kumar, R. (2006). Decentralized failure diagnosis of discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 36(2), 384–395.
   Web of Science ®Google Scholar
• Qiu, W., & Kumar, R. (2008). Distributed diagnosis under bounded-delay communication of immediately forwarded local observations. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 38(3), 628–643.
   Web of Science ®Google Scholar
• Ramadge, P.J., & Wonham, W.M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1), 206–230.
   Web of Science ®Google Scholar
• Rohloff, K.R. (2005). Sensor failure tolerant supervisory control. In 44th IEEE Conference on Decision and Control, and European Control Conference 2005 (pp. 3493–3498). Seville: IEEE.
   Google Scholar
• Rohloff, K.R. (2012). Bounded sensor failure tolerant supervisory control. In A. Ramirez-Trevino, E. Lopez-Mellado, J.-J. Lesage, & M. Silva (Eds.), 11th International Workshop on Discrete Event Systems (pp. 272–277). Guadalajara: IFAC.
   Google Scholar
• Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., & Teneketzis, D. (1995). Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40(9), 1555–1575.
   Web of Science ®Google Scholar
• Sánchez, A.M., & Montoya, F.J. (2006). Safe supervisory control under observability failure. Discrete Event Dynamic Systems: Theory and Applications, 16(4), 493–525.
   Web of Science ®Google Scholar
• Takai, S., & Ushio, T. (2012). Verification of codiagnosability for discrete event systems modeled by Mealy automata with nondeterministic output functions. IEEE Transactions on Automatic Control, 57(3), 798–804.
   Web of Science ®Google Scholar
• Thorsley, D., Yoo, T.-S., & Garcia, H.E. (2008). Diagnosability of stochastic discrete-event systems under unreliable observations. In 2008 American Control Conference (pp. 1158–1165). Seattle, WA: IEEE.
   Google Scholar
• Ushio, T., & Takai, S. (2009). Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions. In 2009 American Control Conference (pp. 4260–4265). St. Louis, MO: IEEE.
   Google Scholar
• Xu, S., Jiang, S., & Kumar, R. (2010). Diagnosis of dense-time systems under event and timing masks. IEEE Transactions on Automation Science and Engineering, 7(4), 870–878.
   Web of Science ®Google Scholar
• Xu, S., & Kumar, R. (2009). Discrete event control under nondeterministic partial observation. In 2009 IEEE International Conference on Automation Science and Engineering (pp. 127–132). Bangalore: IEEE.
   Google Scholar
• Yoo, T.-S., & Garcia, H.E. (2008). Diagnosis of behaviors of interest in partially-observed discrete-event systems. Systems & Control Letters, 57(12), 1023–1029.
   Web of Science ®Google Scholar
• Yoo, T.-S., & Lafortune, S. (2002). Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Transactions on Automatic Control, 47(9), 1491–1495.
   Web of Science ®Google Scholar