Research Initiation Award: Distributed Control of Concurrent Discrete Event Systems

9308737 Holloway在本项目中，根据操作排序和禁止状态回避的规范，开发了分布式离散事件控制律合成的自动化程序。所考虑的框架包括建模为受控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. ***