Diagnosis of discrete event systems in rules-based model using first-order linear temporal logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Zhongdong Huang' in GoogleThis author has not been identified. Look up 'Siddhartha Bhattacharyya' in GoogleThis author has not been identified. Look up 'Vigs Chandra' in GoogleThis author has not been identified. Look up 'Shengbing Jiang' in GoogleThis author has not been identified. Look up 'Ratnesh Kumar 0001' in Google

runs on WebDSL