Research Initiation Award: Distributed Control of Concurrent Discrete Event Systems

研究启动奖：并发离散事件系统的分布式控制

• 批准号: 9308737
• 负责人: Lawrence Holloway
• 金额: $ 9.99万
• 依托单位: University of Kentucky Research Foundation
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-09-01 至 1997-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9308737&HistoricalAwards=false
• 关键词: Research; Initiation; Award; Distributed; Control

9308737 Holloway In this project, automated procedures are developed for synthesizing distributed discrete-event control laws according to specifications of operations sequencing and forbidden state avoidance. The framework considered consists of a manufacturing system modeled as a controlled Petri net, a set of distributed controllers, and a communication channel through which the controllers interact. The distributed representation of the system state as a Petri net marking offers distinct advantages in the modeling of distributed systems and in developing efficient synthesis procedures. The developed synthesis techniques are enhanced to optimize the permissiveness of the control while minimizing the controller interaction. The techniques drawn upon recent results in discrete-event control theory for both automata system models and Petri net system models. Finally, the strengths and weaknesses of the discrete-event control synthesis are demonstrated by implementing and evaluating the synthesized control in an automated manufacturing facility. ***

9308737霍洛威在这个项目中，自动化程序的开发综合分布式离散事件控制法，根据操作排序和禁止状态避免的规格。 所考虑的框架包括一个制造系统建模为一个受控的Petri网，一组分布式控制器，和一个通信通道，通过该控制器进行交互。 系统状态的分布式表示为Petri网标记在分布式系统的建模和开发高效的综合过程中提供了明显的优势。 所开发的合成技术的增强，以优化控制的许可，同时最大限度地减少控制器的相互作用。 该技术借鉴了离散事件控制理论中自动机系统模型和Petri网系统模型的最新成果。 最后，通过在自动化制造设备中实施和评估综合控制，证明了离散事件控制综合的优点和缺点。 ***