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

Supervisory Control of Discrete Event Systems

  • Lee, Joon-Hwa (Engineering Research Center for Advanced Contr. and Insrt. Seoul National University) ;
  • Kwon, Wook-Hyun (Engineering Research Center for Advanced Contr. and Insrt. Seoul National University)
  • 발행 : 1993.07.18

초록

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.

키워드