Skip to Main Content
In this paper, a sequential control system controlled by a logic controller is considered as an example. Incompleteness of the system model is given by nondeterministic representation which is modeled by a set-valued function. Therefore, the plant model has more than one transition in each state of it. We propose algorithms to construct the state space of the closed loop system of the plant model and the logic controller. Applying the proposed algorithms to an illustrative example, we show applicability to fault detection when an unpredicted state is generated.