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