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]
@inproceedings{KanagawaT14,
title = {Verification and synthesis for failure diagnosis of discrete event systems subject to permanent sensor failures},
author = {Naoki Kanagawa and Shigemasa Takai},
year = {2014},
doi = {10.1109/ETFA.2014.7005103},
url = {http://dx.doi.org/10.1109/ETFA.2014.7005103},
researchr = {https://researchr.org/publication/KanagawaT14},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014},
editor = {Antoni Grau and Herminio MartÃnez},
publisher = {IEEE},
isbn = {978-1-4799-4846-8},
}