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]
Abstract is missing.