The Description Implementation and Performance Evaluation ofDiscrete Event Systems

有一个不断增长的需要新的类模型的系统 由相互作用的离散事件模块构建， 制造系统、通信网络或计算机操作 系统. 这样的模型也需要系统描述的 由计算机控制器监控的连续变量， 改变他们的行为时，他们被某些离散触发 事件 这些模型被称为离散事件模型或DEM。 该建议引入了一类新的离散事件模型，称为 递归过程（FRP） 这些模型的动机是 监督控制的问题，而一些正式的结构， 基于霍尔的通信顺序过程。 PI提出了四个方向的研究。 一是巩固 扩展了FRP的描述能力。 这项研究相对 因为他的工作到目前为止一直集中在 FRP的描述能力。 其次，研究如何使用FRP 协助实施监督控制。 他提议 开发一个基于LISP的方案，第三，扩展FRP， 可以用于离散事件系统的性能评价 系统. 这将需要在实时环境中嵌入FRP。 为此目的，他建议扩大以下基本概念： 事件和流程，具有实时属性， Knuth关于属性文法的工作。 第四，制定监督 为复杂的实际应用提供控制。

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.