李，林;蒋志斌 虚拟生产系统混合监控结构的形式化设计与分析。 （英语） Zbl 1122.90340号 国际J.生产研究。 44，第13号，2479-2497（2006）. 摘要：虚拟生产系统（VPS）是一种生产资源结构的动态范式，是为了应对不断变化和不确定的制造环境而提出的。然而，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） 全文： 内政部 参考文献： [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] 数字对象标识码：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·数字对象标识代码：10.1109/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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。