Figure 1
Automaton G.
Source publication
Fault diagnosis is one of the key topics in the study of computer program operation and automatic control of large complex systems these days. It can be used in wide-spanning areas. As early as the last century, researchers started to study diagnosis structures and made a series of progress. Moreover, the problem of diagnosability verification of a...
Contexts in source publication
Context 1
... sake of simplicity, it is regarded that í µí°¸íµí°¸í µí± = {í µí±}. For example, a partially-observed automaton í µí°º = (í µí±, í µí°¸, í µí»¿, í µí±¥ 0 ) is shown in Figure 1. Then we have: ...
Context 2
... means each state í µí±¥ is denoted with a label í µí±(normal) or í µí°¹(fault) in this form í µí±¥ ′ = (í µí±¥, í µí±) and í µí± ∈ {í µí±, í µí°¹} . The process that generates í µí± í µí± from the original í µí°º equation is similar to constructing the equivalence DFA from NFA in automata theory (see Figure 1, 2), the formal definition is defined as follows: ...
