| Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems |
| |
| 作者姓名： | Hong-Ye SU Wei-Min WU Jian CHU |
| |
| 作者单位： | 1.National Laboratory of Industrial Control Technology & Institute of Advanced Process Control, Zhejiang University, Hangzhou 310027 P.R.China |
| |
| 基金项目： | 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.
|
| 关 键 词： | Discrete event systems supervisory control Petri nets liveness |
| 收稿时间： | 2004-3-29 |
| 修稿时间： | 2004-8-12 |
Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems |
| |
| Hong-Ye SU,Wei-Min,WU Jian CHU.Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems[J].Acta Automatica Sinica,2005,31(1):143-150. |
| |
| Authors: | Hong-Ye SU Wei-Min WU Jian CHU |
| |
| Affiliation: | 1.National Laboratory of Industrial Control Technology & Institute of Advanced Process Control, Zhejiang University, Hangzhou 310027 P.R.China |
| |
| Abstract: | 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. |
| |
| Keywords: | Discrete event systems supervisory control Petri nets Hveness |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《自动化学报》浏览原始摘要信息 |
|
点击此处可从《自动化学报》下载全文 |
