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

Volume

4

fYear

2000

fDate

2000

Firstpage

2341

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Control and Automation, 2000. Proceedings of the 3rd World Congress on

Conference_Location

Hefei

Print_ISBN

0-7803-5995-X

Type

conf

DOI

10.1109/WCICA.2000.862433

Filename

862433