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的控制理论 这将扩大其范围，解决两个 应用程序中非常感兴趣的问题：时序和性能。 在 此外，研究将扩大并继续在模块化 监控器综合;分布式和层次化监控器; 结构化控制器和聚合模型; 监督和强制控制。 的关系 监督控制框架到其他模型（例如，极大代数 模型和随机模型）也将进行研究，目的是 在某种程度上，统一了可用于研究 离散事件系统