An approach for the design of supervisory controller of discrete event systems
Y.M. Li, M.Z. Wang, Anthony H. Jones
Abstract
Y.M. Li, M.Z. Wang, Anthony H. Jones
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.
OpenAlex reports 2 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.
Key concepts: Supervisory control, Petri net, Supervisory control theory, Computer science, Event (particle physics), Controller (irrigation), Discrete event dynamic system, Simple (philosophy)