为确保自动制造系统的正常和有效运行,需要一定的控制机制将资源合理地分配给各个过程。这种分配机制应该使得系统在无死锁的前提下保证一定的性能。Petri网由于具有简约和规范的表述形式,在制造系统中的建模、分析和控制中得到了很大应用和发展。充分地利用Petri网的结构化控制特性可以极大地降低控制器的计算时间,简化控制器的实现结构,确保受控系统性能。本项目的主要研究内容有1) 研究自动制造系统中的死锁控制与比例控制问题及其解决机制。设计出兼容的死锁控制器和比例控制器,并确保受控系统的运行效率;2) 研究兼顾控制器实现代价和受控系统性能的活性监督控制器设计策略。建立实现代价最小和受控系统性能最优的控制器设计的一般方法;3) 针对考虑时间信息的自动制造系统,研究出避免遍历系统可达图的监督控制器设计方法。该方法应具有低的算法复杂度,所实现的受控系统应该具有最多的可达状态。
英文主题词Liveness Supervision;Ratio Control;Petri Net;Mathematical Programming;Automated Manufacturing Systems