李,林;蒋志斌 虚拟生产系统混合监控结构的形式化设计与分析。 (英语) Zbl 1122.90340号 国际J.生产研究。 44,第13号,2479-2497(2006). 摘要:虚拟生产系统是一种动态的生产资源结构范式,旨在应对不断变化和不确定的制造环境。然而,VPS的高性能依赖于实践中的高质量控制。基于局部快速响应和全局优化的思想,提出了一种基于自治和协调机制的VPS监控结构。在一个名为UPPAAL的集成工具平台上,利用时间自动机对这种混合监控结构进行了形式化设计和分析。首先,建立了VPS的离散事件动态系统(DEDS)模型。然后,在启发式调度规则的指导下,进一步设计自治和协调的监督控制器,以确保性能(生产流程和时间)和活动(无溢出、无冲突和无死锁)的期望特性。最后,通过验证进行了系统分析,包括无死锁分析、时间最优调度的计算和仿真。实例研究表明,在实际应用中,控制和调度可以很好地集成到这种混合监控结构中。 MSC公司: 90B30型 生产模型 90B35型 运筹学中的确定性调度理论 93立方厘米 控制理论中的应用模型 关键词:虚拟生产系统(VPS);监督控制理论;时间自动机;自治与协调;行程安排 软件:Uppaal公司;德斯科 PDF格式BibTeX公司 XML格式引用 \textit{L.Li}和textit{Z.Jiang},国际期刊生产研究44,第13号,2479--2497(2006;Zbl 1122.90340) 全文: DOI程序 参考文献: [1] 内政部:10.1016/0304-3975(94)90010-8·Zbl 0803.68071号 ·doi:10.1016/0304-3975(94)90010-8 [2] Ang WL,IEEE新兴技术和工厂自动化会议2,第738页–(1996年) [3] Behrmann G,第40届IEEE决策与控制会议记录(CDC’2001),第2881页–(2001) [4] Behrmann G,《第四届国际计算机、通信和软件系统设计形式方法学院学报》(SFM-RT'04)LNCS 3185(2004) [5] 内政部:10.1109/9.272327·Zbl 0801.93002号 ·数字对象标识代码:10.1109/9.272327 [6] DOI:10.1016/S0166-3615(97)00036-5·doi:10.1016/S0166-3615(97)00036-5 [7] 内政部:10.1109/ETFA.1996.573994·doi:10.1109/ETFA.1996.573994 [8] Chandra V,IEEE控制系统技术汇刊(2002) [9] Desrochers AA,Petri网在制造系统中的应用(1995) [10] Fabian M,Desco–离散事件系统的教育和控制工具(2000)·doi:10.1007/978-1-4615-4493-7_51 [11] 内政部:10.1080/00207540110118631·Zbl 1057.90505号 ·网址:10.1080/00207540110118631 [12] 江志波,《第三届世界智能控制与自动化大会论文集》(WCICA’2000)(2000) [13] DOI:10.1007/s00170-002-1459-z·doi:10.1007/s00170-002-1459-z [14] Leduc RJ,第40届IEEE决策和控制会议记录5 pp 4116–(2001) [15] Leduc RJ,第39届Allerton通信、控制和计算机会议记录第386页–(2002) [16] 内政部:10.1109/3468.798061·doi:10.1009/3468.798061 [17] 内政部:10.1109/5.21072·数字对象标识代码:10.1109/5.21072 [18] 内政部:10.1007/BF02601562·doi:10.1007/BF02601562 [19] Reyes A,《2001年IEEE系统、人与控制论国际会议论文集》,第2516页–(2001) [20] DOI:10.1016/S0736-5845(98)00020-9·doi:10.1016/S0736-5845(98)00020-9 [21] 王CE,Contr。12月6日第625页–(1999) [22] 沃特曼JC,客户驱动制造(1997) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。