控制理论与应用
控製理論與應用
공제이론여응용
CONTROL THEORY & APPLICATIONS
2013年
6期
673-682
,共10页
徐姗姗%董利达%朱丹%朱承丞
徐姍姍%董利達%硃丹%硃承丞
서산산%동리체%주단%주승승
Petri网%柔性制造系统%信标%死锁预防%整数规划
Petri網%柔性製造繫統%信標%死鎖預防%整數規劃
Petri망%유성제조계통%신표%사쇄예방%정수규화
Petri net%flexible manufacturing system (FMS)%siphon%deadlock prevention%integer programming
S4R(systems of sequential systems with shared resources)网是分析和解决柔性制造系统死锁现象常用的一种重要的Petri网子类模型,现有的基于S4R网的死锁预防方法通常采用对部分或者全部严格极小信标添加控制库所来实现.此类方法的不足在于得到的活性S4R控制器中往往存在冗余控制库所.针对已为网中每一个严格极小信标都逐一添加了控制库所和相关连接弧的活性S4R控制器,本文提出并设计了一种基于整数规划技术的冗余检测及结构简化方法,由此得到结构更简单、行为允许度更高的活性S4R控制器.该方法的核心思想是:如果网中已经存在一个p-不变式使得某个严格极小信标满足最大受控条件,那么为该严格极小信标添加的控制库所就是冗余的.由于该方法无需进行Petri网的可达性分析,避免了状态组合爆炸问题,因此具有较高的可行性和计算效率.最后用实验验证了本文方法的正确性和有效性.
S4R(systems of sequential systems with shared resources)網是分析和解決柔性製造繫統死鎖現象常用的一種重要的Petri網子類模型,現有的基于S4R網的死鎖預防方法通常採用對部分或者全部嚴格極小信標添加控製庫所來實現.此類方法的不足在于得到的活性S4R控製器中往往存在冗餘控製庫所.針對已為網中每一箇嚴格極小信標都逐一添加瞭控製庫所和相關連接弧的活性S4R控製器,本文提齣併設計瞭一種基于整數規劃技術的冗餘檢測及結構簡化方法,由此得到結構更簡單、行為允許度更高的活性S4R控製器.該方法的覈心思想是:如果網中已經存在一箇p-不變式使得某箇嚴格極小信標滿足最大受控條件,那麽為該嚴格極小信標添加的控製庫所就是冗餘的.由于該方法無需進行Petri網的可達性分析,避免瞭狀態組閤爆炸問題,因此具有較高的可行性和計算效率.最後用實驗驗證瞭本文方法的正確性和有效性.
S4R(systems of sequential systems with shared resources)망시분석화해결유성제조계통사쇄현상상용적일충중요적Petri망자류모형,현유적기우S4R망적사쇄예방방법통상채용대부분혹자전부엄격겁소신표첨가공제고소래실현.차류방법적불족재우득도적활성S4R공제기중왕왕존재용여공제고소.침대이위망중매일개엄격겁소신표도축일첨가료공제고소화상관련접호적활성S4R공제기,본문제출병설계료일충기우정수규화기술적용여검측급결구간화방법,유차득도결구경간단、행위윤허도경고적활성S4R공제기.해방법적핵심사상시:여과망중이경존재일개p-불변식사득모개엄격겁소신표만족최대수공조건,나요위해엄격겁소신표첨가적공제고소취시용여적.유우해방법무수진행Petri망적가체성분석,피면료상태조합폭작문제,인차구유교고적가행성화계산효솔.최후용실험험증료본문방법적정학성화유효성.
