Title :
An approach for the design of supervisory controller of discrete event systems
Author :
Li, Y.M. ; Wang, M.Z. ; Jones, A.H.
Author_Institution :
Dept. of Mech. Eng., Taiyuan Heavy Machinery Inst., Shanxi, China
Abstract :
This paper describes a new method for the synthesis of Petri net based supervisory control for discrete event system (DES) by blocking or enabling controllable transitions in the system according to the forbidden state specifications. The supervisory control methodology is proposed to provide such a formal technique for the modeling, specification, simulation and simplification of supervisory control for DES in a very simple and compact way
Keywords :
Petri nets; control system synthesis; controllability; discrete event systems; DES; Petri net based supervisory control; controllable transition blocking; controllable transition enabling; discrete event systems; forbidden state specifications; supervisory control modeling; supervisory control simplification; supervisory control simulation; supervisory control specification; supervisory controller design; Automata; Boolean functions; Control system synthesis; Control systems; Design engineering; Discrete event systems; Machinery; Mechanical engineering; Petri nets; Supervisory control;
Conference_Titel :
Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on
Conference_Location :
Hefei
Print_ISBN :
0-7803-5995-X
DOI :
10.1109/WCICA.2000.862433
