A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic.

Weijie Dong Xiang Yin Shaoyuan Li

Published in: CoRR (2022)

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
wireless sensor networks