@inproceedings{ea4daf02286b4c7a833f80475d23040f,
title = "Supervision synthesis using Boolean matrix computation",
abstract = "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 discrete event systems using boolean matrix computations. The proposed supervisor synthesis algorithm is practically implementable, since the size of the boolean state vector in the product system does not increase exponentially with the number of components.",
author = "Lee, \{Joon Hwa L.\} and Kwon, \{Wook Hyun\} and Hyeokgi Park and Park, \{Hong Sung\}",
year = "1993",
language = "English",
isbn = "0818634529",
series = "Proceedings - IEEE International Conference on Robotics and Automation",
publisher = "Publ by IEEE",
pages = "337--342",
editor = "Anon",
booktitle = "Proceedings - IEEE International Conference on Robotics and Automation",
note = "Proceedings of the IEEE International Conference on Robotics and Automation ; Conference date: 02-05-1993 Through 06-05-1993",
}