| 引用本文: | 蒋智平,吴智铭.一种新的离散事件系统监督器综合方法[J].控制理论与应用,1993,10(5):563~566.[点击复制] |
| JIANG Zhiping and WU Zhiming.A New Method of Supervisor Synthesis for Discrete Event Systems[J].Control Theory and Technology,1993,10(5):563~566.[点击复制] |
|
| 一种新的离散事件系统监督器综合方法 |
| A New Method of Supervisor Synthesis for Discrete Event Systems |
| 摘要点击 684 全文点击 397 投稿时间：1991-11-13 修订日期：1992-04-06 |
| 查看全文 查看/发表评论 下载PDF阅读器 |
| DOI编号 |
| 1993,10(5):563-566 |
| 中文关键词 离散事件系统 监督器 自动机 语言 |
| 英文关键词 discrete event system supersior automata language |
| 基金项目 |
|
| 中文摘要 |
| 我们把一个待控离散事件系统中各离散事件赋予满足一定限制条件的控制值并由此得到一个Mealy型自动机。再利用Mealy型自动机到Moore型自动机的标准转换算法便得到一个状态赋（控制）值监督器。删除该监督器中所有不可达状态（及对应的子事件串）便获得一个不含多余状态的最大监督器。 |
| 英文摘要 |
| A Mealy-type automation corresponding to a controlled discrete event system is obtained by specifying for each discrete event in the system a control value satisfying certain constrains. Then, we will get a state-value-assigned supervisor using a standard automata transformation from a Mealy machine to its Moore equivalent. After deleting all the inaccessible states of the resultant Moore machine, we will eventually achieve a suprem machine for the original discrete event system without any extra state. |
|
|
|
|
|