Modeling and Control of Discrete Event Systems

离散事件系统的建模和控制

• 批准号: 8715217
• 负责人: Peter Ramadge
• 金额: $ 14.8万
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1987
• 资助国家: 美国
• 起止时间: 1987-09-15 至 1991-02-28
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8715217&HistoricalAwards=false
• 关键词: Modeling; Control; Discrete; Event; Systems

The goal of this research is to develop a mathematical theory for the analysis and control of discrete event systems (DES). DES arise in a variety of areas including, for example, multi-robot systems, manufacturing systems, data bases, distributed computing, pattern recognition, distributed and hierarchical optimization, and the higher level intelligent control of complex processes. The main thrust of the research is to develop a 'real-time' extension of supervisory control theory for DES. This will extend its scope by addressing two issues of great interest in applications: timing and performance. In addition, the research will expand upon and continue work on modular supervisor synthesis; distributed and hierarchical supervisors; structured controllers and aggregated models; the complexity of supervision, and forcing controls. The relationship of the supervisory control framework to other models (e.g., the max-algebra model, and stochastic models) will also be investigated with the aim of unifying, to some extent, the tools available for the study of discrete-event systems.

本研究的目的是发展离散事件系统（DES）分析与控制的数学理论。DES出现在许多领域，例如，多机器人系统、制造系统、数据库、分布式计算、模式识别、分布式和分层优化，以及复杂过程的高级智能控制。本研究的主要目的是为DES开发一种“实时”的监督控制理论扩展。这将通过解决两个在应用中非常感兴趣的问题来扩展其范围：时序和性能。此外，该研究将扩展并继续在模块化主管合成的工作；分布的和分层的管理者；结构化控制器和聚合模型；监管的复杂性，以及强制控制。监督控制框架与其他模型（例如，最大代数模型和随机模型）的关系也将被研究，目的是在某种程度上统一用于研究离散事件系统的工具。