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

控制句决策 2008 年 5 月 第 23 卷第 5 期 Vo l. 23 No.5 Control and Decision May 2008 文章编寄， 1001-0920(2008)05-0492-05 含不可控变迁的 Petri 网监控器设计 张瑶瑶，吴敏，颜钢锋，刘妹琴 (断江大学电气工程学院，杭州 310027) 摘 要g 在基于 Petri 网建模的舍不可控事件的离散事件系统监控器设计中，当给定的控制目标为 Parikh 矢最约束 时，提出通过转换矩阵 R 将不可控变迁导致的非法不等式约束变换为允许约束，并求得相应监控器.构造矩阵方程 求解 R. 通过矩阵方程的相容性判断 R 的存在性，并给出利用广义逆矩阵求解R 的算法，得到对应的允许约束和监 控器.同时提出代价函数，用于寻找控制观测代价最小的监控器，最后通过实例验证了该算法的正确性和有效性. 关键诩g 离做事件系统; Petri 网 z 不可控变迁; Parikh 矢量F 广义逆矩阵 中团分类号: TP301 文献栋i只码， A Supervisor synthesis of Petri net with uncontrollable transitions ZHANG Yao-yao , WU Min , YAN Gαng-feng , LIU Mei-qin (College of Electrical Engineering. Zhejiang University , Hangzhou 310027 , China. Correspondent: ZHANG Yao- yao. E-mail. f1yingyaoyao@hotmai l. com) Abstract , 1n 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 compatibílity of the matrix equation in advance. Generalized inverse matri嚣 is applied ω 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. Key words , DES; Petri net; Uncontrollable transition; Parikh vector; Generalized inverse matrix 问 一 也 1 ~I 阵行变换将非法约束转化为允许约束. Zhang[1J 通