| 基于UPPAAL的虚拟生产系统仿真 |
| |
| 引用本文： | 李琳,江志斌.基于UPPAAL的虚拟生产系统仿真[J].上海交通大学学报,2006,40(7):1140-1147. |
| |
| 作者姓名： | 李琳 江志斌 |
| |
| 作者单位： | 上海交通大学,机械与动力工程学院,上海,200030 |
| |
| 基金项目： | 国家自然科学基金资助项目(70271036)，安徽省自然科学基金资助项目(01042307) |
| |
| 摘 要： | 虚拟生产系统(VPSs)是一种为应对易变的和不确定的制造环境而提出的新型生产资源结构形式.针对VPSs的特点,提出了基于自治与协调机制的控制结构.应用赋时自动机理论以及在UPPAAL的辅助下,对VPSs进行了DEDS的建模.为获得期望的性能(生产流程和时间)和行为特性(避免冲突和死锁),设计了基于启发式调度规则的自治与协调监控器,并进行了系统分析和时间最优调度的计算与仿真,从而构建起兼顾控制和调度问题的VPSs闭环监控系统.
|
| 关 键 词： | 虚拟生产系统 赋时自动机理论 自治与协调 监控调度 UPPAAL |
| 文章编号： | 1006-2467(2006)07-1140-08 |
| 收稿时间： | 2005-06-10 |
| 修稿时间： | 2005年6月10日 |
The Simulation of Virtual Production Systems Based on UPPAAL |
| |
| LI Lin,JIANG Zhi-bin.The Simulation of Virtual Production Systems Based on UPPAAL[J].Journal of Shanghai Jiaotong University,2006,40(7):1140-1147. |
| |
| Authors: | LI Lin JIANG Zhi-bin |
| |
| Institution: | School of Mechanical Eng. , Shanghai Jiaotong Univ. , Shanghai 200030, China |
| |
| Abstract: | 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 and 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. |
| |
| Keywords: | virtual production systems(VPSs) timed automata theory autonomy and coordination (supervisory) control and scheduling UPPAAL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
