含不可控变迁的Petri网监控器设计  

Supervisor synthesis of Petri net with uncontrollable transitions

作　　者：张瑶瑶[1] 吴敏[1] 颜钢锋[1] 刘妹琴[1] 

机构地区：[1]浙江大学电气工程学院,杭州310027

出　　处：《控制与决策》2008年第5期492-496,502,共6页Control and Decision

基　　金：国家自然科学基金项目(60504024);浙江省教育厅科研项目(20050905)

摘　　要：在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.In supervisory synthesis of discrete event system （DES） modeled by Petri nets with uncontrollable events, when the specifications are Parikh vector constraints, a method is proposed to transform illegal constraint into admissible constraint by using transformation matrix R. Matrix equation is constructed to obtain R, and the existence of R can be predicted by the compatibility of the matrix equation in advance. Generalized inverse matrix is applied to achieve the solution of R, as well as the admissible constraint and supervisor. The principle of cost is provided to search the supervisor with minimal control and observe cost. A simulation example shows the correctness and effectiveness of the method.

关 键 词：离散事件系统 PETRI网 不可控变迁 Parikh矢量 广义逆矩阵 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]