Naoki Kanagawa, Shigemasa Takai. Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures. In Antoni Grau, Herminio MartÃnez, editors, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014. pages 1-8, IEEE, 2014. [doi]
Abstract is missing.