期刊文献+

基于UPPAAL的虚拟生产系统仿真 被引量:1

The Simulation of Virtual Production Systems Based on UPPAAL
下载PDF
导出
摘要 虚拟生产系统(VPSs)是一种为应对易变的和不确定的制造环境而提出的新型生产资源结构形式.针对VPSs的特点,提出了基于自治与协调机制的控制结构.应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模.为获得期望的性能(生产流程和时间)和行为特性(避免冲突和死锁),设计了基于启发式调度规则的自治与协调监控器,并进行了系统分析和时间最优调度的计算与仿真,从而构建起兼顾控制和调度问题的VPSs闭环监控系统. Virtual Production Systems (VPSs) is a novel paradigm for production resources structure, which is proposed to cope with changeful and uncertain manufacturing environment. Considering the characteristics of VPSs, a control structure based on autonomy and coordination was proposed. With the application of timed automata theory and the aid of UPPAAL, a DEDS model for VPSs was established. In order to obtain the desired characteristics on performance (production flow and time) and activity (avoidance of conflicts arid deadlocks), autonomous and coordination supervisory controllers were designed based on heuristic scheduling rules. Furthermore, system analysis, calculation and simulation of temporal optimal scheduling were implemented. As a result, the closed-loop supervisory control system of VPSs was established with considerations on both control and scheduling problems.
作者 李琳 江志斌
出处 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第7期1140-1147,共8页 Journal of Shanghai Jiaotong University
基金 国家自然科学基金资助项目(70271036) 安徽省自然科学基金资助项目(01042307)
关键词 虚拟生产系统 赋时自动机理论 自治与协调 监控调度 UPPAAL virtual production systems (VPSs) timed automata theory autonomy and coordination supervisory control and scheduling UPPAAL
  • 相关文献

参考文献9

  • 1Jiang Z B,Fung R Y K,Tu Y L,et al.A framework for adaptive control of virtual production systems[C]//Proceedings of 3rd World Congress on Intelligent Control and Automation (WCICA ' 2000).Hefei,China:IEEE,2000:138-142.
  • 2Fung R Y K,Jiang Z B,Zou M J,et al.Adaptive production scheduling of virtual production systems using OPNS-CS with changeable structure[J].International Journal of Production Research,2002,40(8):1759-1785.
  • 3Jiang Z B,Fung R Y K.An adaptive agile manufacturing control infrastructure based on TOPNs-CS modeling[J].The International Journal of Advanced Manufacturing Technology,2003,18(10):191-215.
  • 4Qiu R G,Joshi S B.A structured adaptive supervisory control methodology for modeling the control of a discrete event manufacturing system[J].IEEE Transactions on Systems,Man and Cybernetics,Part A:Systems and Humans,1999,29(6):573-586.
  • 5Brandin B A,Wonham W M.Supervisory control of timed discrete-event systems[J].IEEE Transactions,1994,39 (2):329-342.
  • 6胡峰,温熙森,孙国基.离散事件动态系统理论及应用[J].电脑与信息技术,2001,9(5):10-20. 被引量:5
  • 7Bengtsson J,Jonsson B,Lilius J,et al.Partial order reductions for timed systems[C]//Proceedings of the 9th International Conference on Concurrency Theory (CONCUR' 98).Vancouver,Canada:Springer Verlag,1998:485-500.
  • 8Bengtsson J,Larsen K G,Larsson F,et al.UPPAAL-a tool suite for automatic verification of real-time systems[C]//Proceedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems.New Brunswick,New Jersey:Springer Verlag,1995:232-243.
  • 9Behrmann G,David A,Larsen K G.A tutorial on UPPAAL[EB/OL].http://www.it.uu.se/ research/group/darts/papers/texts/ new-tutorial.pdf,2004-11-07.

二级参考文献4

  • 1张岚 李人厚.广义随机Petri网分析计算机局域网络[J].西安交大学报,1990,24(1).
  • 2曹长修 肖立群.定随机Petri网用于柔性制造系统的性能评价.第三届全国控制与决策学术会议论文集[M].,1991.351-356.
  • 3陈浩勋 胡保生.离散事件系统的事件识别器[J].西安交大学报,1994,28(1).
  • 4胡保生,陈浩勋.离散事件动态系统理论的发展动向[J].控制理论与应用,1992,9(3):325-327. 被引量:9

共引文献4

同被引文献7

引证文献1

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部