Research Initiation Award: Distributed Control of Concurrent Discrete Event Systems

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

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. ***