基于关联矩阵代数运算的逻辑型监控器设计

摘要

对于含有不可控变迁的Petri网监控问题，允许状态空间可能需要一组“或”的允许约束来描述，而库所不变量的监控方法只将给定约束转换为单个的允许约束，其监控器将系统行为限制在允许标识状态空间的较小子集内，其限制性过于严格，且该方法无法解决某些监控问题。针对上述问题，给出了一种基于关联矩阵代数运算的约束转换方法，能够将给定约束转换为一组“逻辑或”的允许约束，进而给出了逻辑型监控器的设计方法，其控制策略的在线计算可以在多项式时间内完成，能够满足实时性的要求，并且该监控器比方法的监控器允许性更大。需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性。