控制与决策
控製與決策
공제여결책
CONTROL AND DECISION
2008年
5期
492-496,502
,共6页
张瑶瑶%吴敏%颜钢锋%刘妹琴
張瑤瑤%吳敏%顏鋼鋒%劉妹琴
장요요%오민%안강봉%류매금
离散事件系统%Petri网%不可控变迁%Parikh矢量%广义逆矩阵
離散事件繫統%Petri網%不可控變遷%Parikh矢量%廣義逆矩陣
리산사건계통%Petri망%불가공변천%Parikh시량%엄의역구진
在基于Petri网建模的含不可控事件的离散事件系统监控器设计中,当给定的控制目标为Parikh矢量约束时,提出通过转换矩阵R将不可控变迁导致的非法不等式约束变换为允许约束,并求得相应监控器.构造矩阵方程求解R,通过矩阵方程的相容性判断R的存在性,并给出利用广义逆矩阵求解R的算法,得到对应的允许约束和监控器.同时提出代价函数,用于寻找控制观测代价最小的监控器.最后通过实例验证了该算法的正确性和有效性.
在基于Petri網建模的含不可控事件的離散事件繫統鑑控器設計中,噹給定的控製目標為Parikh矢量約束時,提齣通過轉換矩陣R將不可控變遷導緻的非法不等式約束變換為允許約束,併求得相應鑑控器.構造矩陣方程求解R,通過矩陣方程的相容性判斷R的存在性,併給齣利用廣義逆矩陣求解R的算法,得到對應的允許約束和鑑控器.同時提齣代價函數,用于尋找控製觀測代價最小的鑑控器.最後通過實例驗證瞭該算法的正確性和有效性.
재기우Petri망건모적함불가공사건적리산사건계통감공기설계중,당급정적공제목표위Parikh시량약속시,제출통과전환구진R장불가공변천도치적비법불등식약속변환위윤허약속,병구득상응감공기.구조구진방정구해R,통과구진방정적상용성판단R적존재성,병급출이용엄의역구진구해R적산법,득도대응적윤허약속화감공기.동시제출대개함수,용우심조공제관측대개최소적감공기.최후통과실례험증료해산법적정학성화유효성.
