ロジックコントローラによって制御されるシステムの故障診断

抄録

This paper concerns fault diagnosis for sequential control systems controlled by logic controllers. Incompleteness of the system model is regarded as nondeterministic. The considered systems are modeled by set-valued functions. Thus, the system model has more than one transition in each state of it. We propose a state space generation algorithm of the closed loop system of the plant model and the corresponding logic controller. Then, we show that the proposed algorithm yields only expected normal operation. Finally, we apply it to fault diagnosis for sequential control systems based on an idea that a nonexistent state and/or transition is faulty.