Zhongdong Huang, Siddhartha Bhattacharyya, Vigs Chandra, Shengbing Jiang, Ratnesh Kumar 0001. Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic. In Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004. pages 5114-5119, IEEE, 2004. [doi]
@inproceedings{HuangBCJK04,
title = {Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic},
author = {Zhongdong Huang and Siddhartha Bhattacharyya and Vigs Chandra and Shengbing Jiang and Ratnesh Kumar 0001},
year = {2004},
doi = {10.23919/ACC.2004.1384663},
url = {https://doi.org/10.23919/ACC.2004.1384663},
researchr = {https://researchr.org/publication/HuangBCJK04},
cites = {0},
citedby = {0},
pages = {5114-5119},
booktitle = {Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004},
publisher = {IEEE},
isbn = {0-7803-8335-4},
}