DocumentCode
1864510
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
fYear
1993
fDate
2-6 May 1993
Firstpage
337
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1993. Proceedings., 1993 IEEE International Conference on
Conference_Location
Atlanta, GA
Print_ISBN
0-8186-3450-2
Type
conf
DOI
10.1109/ROBOT.1993.292004
Filename
292004
Link To Document