The Description Implementation and Performance Evaluation ofDiscrete Event Systems

对于由相互作用的离散事件的模块构建的系统，例如制造系统、通信网络或计算机操作系统，对新类别的模型的需求日益增长。对于由基于计算机的控制器监控的连续变量描述的系统，也需要这样的模型，当它们被某些离散事件触发时，这些控制器改变它们的行为。这些模型称为离散事件模型或DEM。该方案引入了一类新的离散事件模型，称为有限递归过程(FRP)。这些模型是由监督控制中的问题驱动的，而一些形式结构是基于Hoare的通信顺序进程的。皮耶希提出了四个方向的研究。第一，巩固和扩大《财政政策纲要》的描述力。这项研究相对直截了当，因为到目前为止，他的工作主要集中在FRPS的描述能力上。第二，研究如何利用财务报告和报告制度协助实施监督控制。他建议开发一种基于LISP的方案来实现这一点，第三，扩展FRP，使其可以用于离散事件系统的性能评估。这将需要在实时环境中嵌入FRP。为此，他建议在Knuth关于属性文法的工作之后，用实时属性来增强FRP中事件和过程的基本概念。第四，为复杂的、真实世界的应用程序开发监控。

There is a growing need for new classes of models for systems constructed from modules of interacting discrete events such as manufacturing systems, communication networks or computer operating systems. Such models are also needed for systems described by continuous variables supervised by computer-based controllers which alter their actions when they are triggered by certain discrete events. These models are called discrete event models or DEMs. This proposal introduces a new class of discrete event models called Finitely Recursive Processes (FRP). These models are motivated by problems in supervisory control while some of the formal structure is based on Hoare's Communicating Sequential Processes. PI proposes research in four directions. First, consolidate and extend the descriptive power of FRPs. This research is relatively straightforward since his work so far has concentrated on the descriptive power of FRPs. Second, investigate how FRPs can be used to assist in the implementation of supervisory control. He proposes to develop a LISP-based scheme for doing this, Third, extend FRPs so that they can be used for the performance evaluation of discrete event systems. This will require embedding FRPs in a real-time environment. For this purpose, he proposes to augment the fundamental notions of events and processes in FRPs with real-time attributes following the work of Knuth on attribute grammars. Fourth, develop a supervisory control for a complex, real-world application.