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. The proposed research will build upon this framework by extending and generalising it, adapting existing DES methodologies so that they can exploit the HISC architecture and developing tools that utilise the method. In particular, the research will adapt the HISC method to timed DES, DES fault-diagnosis, and decentralized supervisory control. Also, the HISC concept will be extended to other software verification methods, such as state-based specifications verified using theorem provers. DES also needs a reliable method to transform a DES supervisor into an actual software or hardware implementation. In doing so, concurrency and timing delay issues must be resolved. This proposal will build upon the applicant's Sampled-Data (SD) Supervisory control work. First, a method to automatically generate software code or hardware design from SD supervisors will be developed. Next, SD control will be extended to the HISC platform. Then, a discrete-optimization method will be developed that respects the SD conditions. Finally, this method will be adapted to the HISC platform. The above tasks are key to making DES ready for industry adoption.