Scalability and Implementation Issues for Discrete-Event Systems

离散事件系统的可扩展性和实施问题

• 批准号: 250315-2012
• 负责人: Leduc, Ryan
• 金额: $ 1.02万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=547590
• 关键词: Scalability; Implementation; Issues; Discrete; Event

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.

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