控制工程
控製工程
공제공정
CONTROL ENGINEERING OF CHINA
2011年
4期
564-567
,共4页
赵坡%罗继亮%齐鹏飞%陈雪琨
趙坡%囉繼亮%齊鵬飛%陳雪琨
조파%라계량%제붕비%진설곤
Petri网%监控%允许约束%控制策略
Petri網%鑑控%允許約束%控製策略
Petri망%감공%윤허약속%공제책략
对于含有不可控变迁的Petri网监控问题,允许状态空间可能需要一组“或”的允许约束来描述,而库所不变量的监控方法[12]只将给定约束转换为单个的允许约束,其监控器将系统行为限制在允许标识状态空间的较小子集内,其限制性过于严格,且该方法无法解决某些监控问题.针对上述问题,给出了一种基于关联矩阵代数运算的约束转换方法,能够将给定约束转换为一组“逻辑或”的允许约束,进而给出了逻辑型监控器的设计方法,其控制策略的在线计算可以在多项式时间内完成,能够满足实时性的要求,并且该监控器比方法[12]的监控器允许性更大.需要指出的是该方法的约束转换算法的离线计算量具有指数级的计算复杂性.
對于含有不可控變遷的Petri網鑑控問題,允許狀態空間可能需要一組“或”的允許約束來描述,而庫所不變量的鑑控方法[12]隻將給定約束轉換為單箇的允許約束,其鑑控器將繫統行為限製在允許標識狀態空間的較小子集內,其限製性過于嚴格,且該方法無法解決某些鑑控問題.針對上述問題,給齣瞭一種基于關聯矩陣代數運算的約束轉換方法,能夠將給定約束轉換為一組“邏輯或”的允許約束,進而給齣瞭邏輯型鑑控器的設計方法,其控製策略的在線計算可以在多項式時間內完成,能夠滿足實時性的要求,併且該鑑控器比方法[12]的鑑控器允許性更大.需要指齣的是該方法的約束轉換算法的離線計算量具有指數級的計算複雜性.
대우함유불가공변천적Petri망감공문제,윤허상태공간가능수요일조“혹”적윤허약속래묘술,이고소불변량적감공방법[12]지장급정약속전환위단개적윤허약속,기감공기장계통행위한제재윤허표식상태공간적교소자집내,기한제성과우엄격,차해방법무법해결모사감공문제.침대상술문제,급출료일충기우관련구진대수운산적약속전환방법,능구장급정약속전환위일조“라집혹”적윤허약속,진이급출료라집형감공기적설계방법,기공제책략적재선계산가이재다항식시간내완성,능구만족실시성적요구,병차해감공기비방법[12]적감공기윤허성경대.수요지출적시해방법적약속전환산법적리선계산량구유지수급적계산복잡성.
