Diagnosis of Discrete Event Systems
Diagnosis of Discrete Event Systems
Mona Noori Hosseini
2011
0 Citations
TLDR
Failure diagnosis of discrete event systems based on nondeterministic Extended Finite Automaton (EFA) is studied to gain more compactness and ease of implementation and two computation tree logic (CTL) formulas are proposed as proper specifications for the diagnosability verification.