Scalability and Implementation Issues for Discrete-Event Systems

这项建议的主要目标是解决阻碍业界采用DES理论的两个主要问题：可扩展性和实施问题。在离散事件系统(DES)中，目前正在进行大量的工作来克服状态空间的组合爆炸问题，以便使监督控制方法能够扩展到大系统(&gt；10^20个状态)。为了处理大型系统的复杂性，软件工程界长期以来一直主张将软件分解为通过定义良好的接口进行交互的模块(组件)。申请人开发了一种类似的方法，称为基于分层接口的分层监督控制(HISC)。这种方法在组件之间开发定义良好的接口，以提供允许本地检查以保证全局属性(如可控性或非阻塞)的结构。

The primary objective of this proposal is to address the two main concerns standing in the way of the adoption of DES theory by industry: scalability and implementation issues. In discrete-event systems (DES), a great deal of effort is currently being applied to overcome the state space combinatorial explosion problem, in order to allow supervisory control methods to scale to large systems (> 10^20 states). To deal with the complexity of large scale systems, the software engineering community has long advocated the decomposition of software into modules (components) that interact via well defined interfaces. The applicant has developed a similar approach, called hierarchical interface-based hierarchical supervisory control (HISC). This approach develops well defined interfaces between components to provide the structure to allow local checks to guarantee global properties such as controllability or nonblocking.