A discrete event systems approach to network fault management: detection & diagnosis of faults. - Siddhartha Bhattacharyya; Zhongdong Huang; Vigs Chandra; Ratnesh Kumar 001 (ACC, 2004)

Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic. - Zhongdong Huang; Siddhartha Bhattacharyya; Vigs Chandra; Shengbing Jiang; Ratnesh Kumar 001 (ACC, 2004)