控制理论与应用
控製理論與應用
공제이론여응용
CONTROL THEORY & APPLICATIONS
2015年
3期
374-379
,共6页
Petri网%柔性制造系统%死锁检测%混合整数规划
Petri網%柔性製造繫統%死鎖檢測%混閤整數規劃
Petri망%유성제조계통%사쇄검측%혼합정수규화
Petri net%flexible manufacturing system (FMS)%deadlock detection%mixed integer programming (MIP)
信标的受控性是检测柔性制造系统(flexible manufacturing system,FMS)Petri网模型是否存在死锁的关键因素,对于普通Petri网,在任何可达标识下所有信标不被清空是检测网系统非死锁的充分条件.然而,该条件对于建模能力更强的一般Petri网并不适用,max可控性条件由此产生.研究证明,该条件对于一般Petri网的死锁检测过于严格了.虽然其后有很多研究者通过改进max可控性条件以求给出条件更宽松的一般Petri网非死锁的充分条件,但大部分的研究成果都仅仅局限于一种顺序资源共享分配系统Petri网模型S4PR(systems of sequential systems with shared resources)网.因此,本文在max可控性条件的基础上提出了新的名为max#可控的信标可控性条件,并在此条件的基础上实现了基于混合整数规划(mixed integer programming,MIP)的死锁检测方法.与现有研究成果相比,max#可控性条件更宽松,可适用于更多类型的一般网,为解决大规模柔性制造系统中死锁监督控制器的结构复杂性问题提供了有力的理论支撑.
信標的受控性是檢測柔性製造繫統(flexible manufacturing system,FMS)Petri網模型是否存在死鎖的關鍵因素,對于普通Petri網,在任何可達標識下所有信標不被清空是檢測網繫統非死鎖的充分條件.然而,該條件對于建模能力更彊的一般Petri網併不適用,max可控性條件由此產生.研究證明,該條件對于一般Petri網的死鎖檢測過于嚴格瞭.雖然其後有很多研究者通過改進max可控性條件以求給齣條件更寬鬆的一般Petri網非死鎖的充分條件,但大部分的研究成果都僅僅跼限于一種順序資源共享分配繫統Petri網模型S4PR(systems of sequential systems with shared resources)網.因此,本文在max可控性條件的基礎上提齣瞭新的名為max#可控的信標可控性條件,併在此條件的基礎上實現瞭基于混閤整數規劃(mixed integer programming,MIP)的死鎖檢測方法.與現有研究成果相比,max#可控性條件更寬鬆,可適用于更多類型的一般網,為解決大規模柔性製造繫統中死鎖鑑督控製器的結構複雜性問題提供瞭有力的理論支撐.
신표적수공성시검측유성제조계통(flexible manufacturing system,FMS)Petri망모형시부존재사쇄적관건인소,대우보통Petri망,재임하가체표식하소유신표불피청공시검측망계통비사쇄적충분조건.연이,해조건대우건모능력경강적일반Petri망병불괄용,max가공성조건유차산생.연구증명,해조건대우일반Petri망적사쇄검측과우엄격료.수연기후유흔다연구자통과개진max가공성조건이구급출조건경관송적일반Petri망비사쇄적충분조건,단대부분적연구성과도부부국한우일충순서자원공향분배계통Petri망모형S4PR(systems of sequential systems with shared resources)망.인차,본문재max가공성조건적기출상제출료신적명위max#가공적신표가공성조건,병재차조건적기출상실현료기우혼합정수규화(mixed integer programming,MIP)적사쇄검측방법.여현유연구성과상비,max#가공성조건경관송,가괄용우경다류형적일반망,위해결대규모유성제조계통중사쇄감독공제기적결구복잡성문제제공료유력적이론지탱.
