Superior synthesis using Boolean matrix computation
J.H. Lee, W.H. Kwon, H. Park, Hyunsun Park · 2002
Discrete-event systems are modeled by finite state machines using Boolean matrices and vectors. A supervisor synthesis method for such discrete event systems using Boolean matrix computations is proposed. The supervisor synthesis algorithm is practical to implement, since the size of the Boolean state vector in the product system does not increase exponentially with the number of components.>