# A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic

> Research article (IEEE Transactions on Automatic Control, 2023) · cited 15× · AI/ML

**Wikidata**: [openalex:W4364322975](https://www.wikidata.org/wiki/openalex:W4364322975)  
**Source**: https://4ort.xyz/entity/a-uniform-framework-for-diagnosis-of-discrete-event-systems-with-unreliable-sensors-using-linear-temporal-logic