Scalability and Implementation Issues for Discrete-Event Systems

该提案的主要目标是解决工业界采用DES理论的两个主要问题：可扩展性和实现问题。在离散事件系统（DES）中，为了使监督控制方法能够扩展到大型系统（> 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.