Supervisory Control of Discrete Event Systems

이산현상시스템의 관리제어기법에 관한 연구 - 분산시스템의 병렬제어 응용 -

We present the discrete event systems modeled by finite state machines in this paper using the boolean matrices and vectors. We propose a supervisor synthesis method for such boolean discrete-event systems. The proposed supervisor synthesis algorithm is practically implementable, since the size of the state vector in the product system does not increase exponentially with the number of components.