Diagnosability of discrete event systems subject to permanent sensor failures.

Naoki Kanagawa Shigemasa Takai

Published in: Int. J. Control (2015)

Keyphrases

discrete event systems
failure diagnosis
petri net
complex systems
model based diagnosis
telecommunication networks
timed petri nets
discrete event
sensor data
temporal constraints
sensor networks
real time
constraint programming
failure detection
object oriented
xml documents
search algorithm
databases