%0 Journal Article
%T 含不可控变迁的Petri网监控器设计
%A 张瑶瑶
%A 吴敏
%A 颜钢锋
%A 刘妹琴
%J 控制与决策
%P 492-496
%D 2008
%X 在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.
%K 离散事件系统
%K Petri
%K 网
%K 不可控变迁
%K Parikh矢量
%K 广义逆矩阵')"
%K href="#">离散事件系统
%K Petri
%K 网
%K 不可控变迁
%K Parikh矢量
%K 广义逆矩阵
%U http://www.kzyjc.net:8080/CN/abstract/abstract8708.shtml