基于关联矩阵代数运算的逻辑型监控器设计
对于含有不可控变迁的Petri网监控问题，允许状态空间可能需要一组“或” 的 允许约束来描述，而库所不变量的监控方法”12”只将给定约束转换为单个的允许约束，其监控 器将系统行为限制在允许标识状态空间的较小子集内，其限制性过于严格，且该方法无法解 决某些监控问题。针对上述问题，给出了一种基于关联矩阵代数运算的约束转换方法，能够将 给定约束转换为一组“逻辑或”的允许约束，进而给出了逻辑型监控器的设计方法，其控制 策略的在线计算可以在多项式时间内完成，能够满足实时性的要求，并且该监控器比方法”12”的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算 复杂性。
Petri网 监控 允许约束 控制策略
赵坡 罗继亮 齐鹏飞 陈雪琨
华侨大学信息科学与工程学院,福建厦门 361021
国内会议
南京
中文
901-904
1900-01-01（万方平台首次上网日期，不代表论文的发表时间）