DMCA

Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications (2002)

by Wenbin Qiu , Student Member , Ratnesh Kumar , Senior Member
Venue:IEEE Transactions on Automatic Control
Citations:53 - 8 self