含不可控变迁的Petri网监控器设计
来源期刊:控制与决策2008年第5期
论文作者:张瑶瑶 吴敏 颜钢锋 刘妹琴
文章页码:492 - 998
关键词:离散事件系统;Petri网;不可控变迁;Parikh矢量;广义逆矩阵;
摘 要:在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.
张瑶瑶,吴敏,颜钢锋,刘妹琴
摘 要:在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.
关键词:离散事件系统;Petri网;不可控变迁;Parikh矢量;广义逆矩阵;