Login / Signup
A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic.
Weijie Dong
Xiang Yin
Shaoyuan Li
Published in:
IEEE Trans. Autom. Control. (2024)
Keyphrases
</>
linear temporal logic
diagnosis of discrete event systems
temporal logic
model checking
bounded model checking
sensor networks
sensor data
data fusion
machine learning
learning algorithm
linear time temporal logic