| 基于关联矩阵代数运算的逻辑型监控器设计 |
| |
| 引用本文： | 赵坡,罗继亮,齐鹏飞,陈雪琨.基于关联矩阵代数运算的逻辑型监控器设计[J].控制工程,2011,18(4):564-567. |
| |
| 作者姓名： | 赵坡 罗继亮 齐鹏飞 陈雪琨 |
| |
| 作者单位： | 华侨大学信息科学与工程学院,福建厦门,361021 |
| |
| 基金项目： | 国家青年自然科学基金项目(60904018); 福建省自然科学基金项目(2010J01339); 福建省高校杰出青年科研人才培育计划项目(JA10004); 华侨大学“中央高校基本科研业务费”福建省杰出青年基金培育计划专项项目(JB-SJ1006) |
| |
| 摘 要： | 对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组“或”的允许约束来描述,而库所不变量的监控方法12]只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题.针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够...
|
| 关 键 词： | Petri网 监控 允许约束 控制策略 |
Mapping Supervisor Synthesis Based On Algebra Operations on the Incidence Matrixes |
| |
| ZHAO Po,LUO Ji-liang,QI Peng-fei,CHEN Xue-kun.Mapping Supervisor Synthesis Based On Algebra Operations on the Incidence Matrixes[J].Control Engineering of China,2011,18(4):564-567. |
| |
| Authors: | ZHAO Po LUO Ji-liang QI Peng-fei CHEN Xue-kun |
| |
| Affiliation: | ZHAO Po,LUO Ji-liang,QI Peng-fei,CHEN Xue-kun(College of Information Science and Engineering,Huaqiao University,Xiamen 361021,China) |
| |
| Abstract: | To the problem that a given constraint is transformed into a single admissible constraint by the supervisory based on place invariant method and a result,the supervisor restricts the behavior of the plant within a small subnet of the admissible-marking set,a constraint transformation method is proposed based on the algebra operations on the incidence matrix.By this method,the given constraints can be converted to a disjunction of admissible constraints.An approach is presented for designing the mapping supe... |
| |
| Keywords: | Petri nets supervisory control admissible constraints control policy |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
