Login / Signup
Verification of Codiagnosability for Decentralized Diagnosis of Discrete Event Systems Subject to Permanent Sensor Failures.
Akihito Wada
Shigemasa Takai
Published in:
ECC (2019)
Keyphrases
</>
diagnosis of discrete event systems
sensor data
sensor networks
model checking
data acquisition
real time
data sets
face verification
formal methods
formal analysis
signature verification
root cause
failure detection
multi agent
decision making
information systems
functional verification