Title :
Superior synthesis using Boolean matrix computation
Author :
Lee, Joon Hwa ; Kwon, Wook Hyun ; Park, Hyeokgi ; Park, Hong Sung
Author_Institution :
Eng. Res. Center for Adv. Control. & Instr., Seoul Nat. Univ., South Korea
Abstract :
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
Keywords :
Boolean algebra; control system synthesis; discrete time systems; finite state machines; matrix algebra; Boolean matrix; Boolean state vector; discrete event systems; finite state machines; supervisor synthesis; Automata; Automatic control; Automatic generation control; Binary decision diagrams; Boolean functions; Control system synthesis; Data structures; Discrete event systems; Formal languages; Supervisory control;
Conference_Titel :
Robotics and Automation, 1993. Proceedings., 1993 IEEE International Conference on
Conference_Location :
Atlanta, GA
Print_ISBN :
0-8186-3450-2
DOI :
10.1109/ROBOT.1993.292004
