A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools....A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.展开更多
The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on. In such a hierarchical...The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on. In such a hierarchical structure, the controllers are geographically distributed according to their physical structure. So it is desirable to realize the hierarchical and distributed control. In this paper, a methodology is presented using Petri nets for hierarchical and distributed control. The Petri net representation of discrete event manufacturing processes is decomposed and distributed into the machine controllers, which are coordinated through communication between the coordinator and machine controllers so that the decomposed transitions fire at the same time. Implementation of a hierarchical and distributed control system is described for an example robotic manufacturing system. The demonstrations show that the proposed system can be used as an effective tool for consistent modeling and control of large and complex manufacturing systems.展开更多
The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A ne...The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A new method of controller design with mixed constraint is presented, and a net reduction technique of Petri net fuses all the constrained places into one place whose marking is equal to the sum of the markings of the constrained places, and then compared with the constrained transitions. The net reduction eases the design of controller and holds remarkable advantages especially for systems with large scale. The method is proved to be simpler and more efficient than the method presented by Yamalidou, et al, using an applied case used by Yamalidou, et al.展开更多
基金Supported in part by the National Outstanding Youth Science Foundation of P.R.China (60025308) Doctor Degree Program Foundation of P.R.China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R.China (20040149)
文摘A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
文摘The large scale and complex manufacturing systems have a hierarchical structure where a system is composed several lines with some stations and each station also have several machines and so on. In such a hierarchical structure, the controllers are geographically distributed according to their physical structure. So it is desirable to realize the hierarchical and distributed control. In this paper, a methodology is presented using Petri nets for hierarchical and distributed control. The Petri net representation of discrete event manufacturing processes is decomposed and distributed into the machine controllers, which are coordinated through communication between the coordinator and machine controllers so that the decomposed transitions fire at the same time. Implementation of a hierarchical and distributed control system is described for an example robotic manufacturing system. The demonstrations show that the proposed system can be used as an effective tool for consistent modeling and control of large and complex manufacturing systems.
文摘The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the place and transition modeled by Petri net, is discussed. A new method of controller design with mixed constraint is presented, and a net reduction technique of Petri net fuses all the constrained places into one place whose marking is equal to the sum of the markings of the constrained places, and then compared with the constrained transitions. The net reduction eases the design of controller and holds remarkable advantages especially for systems with large scale. The method is proved to be simpler and more efficient than the method presented by Yamalidou, et al, using an applied case used by Yamalidou, et al.
