摘要
针对区域法设计系统控制器时存在求解线性规划次数过多、算法复杂和状态爆炸等问题,提出了一个能有效降低计算复杂度的优化算法,解决了由状态爆炸引起的求解线性规划次数指数级递增的问题;证明了任何普通网系统需要添加的控制库所的数量不超过事件分离事例个数和|T|+1中的最小者。通过所提算法,最终获得结构简单、状态最大许可的柔性制造系统活性监督控制器。
To reduce the computation complexity during the design process of the supervisor for flexible manufacturing systems（FMS）,an optimization algorithm was presented.The number of linear programming problems（LPP） to be solved was reduced greatly.It was proved that,for any normal net system,the number of monitors to be added was less than the smaller of the number of separation instances and ｜T｜＋1.According to the algorithm proposed,a simplified liveness-enforcing supervisor with maximal permissive behavior was obtained.
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2010年第3期663-671,共9页
Computer Integrated Manufacturing Systems
基金
国家自然科学基金资助项目(60773001)
高等学校博士点基金资助项目(20070701013)~~
关键词
PETRI网
柔性制造系统
区域理论
事件分离事例
线性规划
Petri nets
flexible manufacturing systems
theory of regions
marking/transition separation instances
linear programming
