Complexity and Implementation for Discrete-Event Systems

离散事件系统的复杂性和实现

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

Discrete-Event Systems (DES) model a system's behaviour as automata, and use this to formally verify properties such as controllability (will the system stay within desired behaviour) and nonblocking (a form of deadlock detection). Application areas include manufacturing, communication, and transport systems, as well as automotive applications.

离散事件系统（DES）将系统行为建模为自动机，并使用它来正式验证诸如可控性（系统是否保持期望的行为）和非阻塞性（死锁检测的一种形式）等属性。应用领域包括制造、通信和运输系统，以及汽车应用。