State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions | IEEE Journals & Magazine | IEEE Xplore