Presidential Young Investigators Award: Modeling, Analysis and Control of Discrete Event Systems

总统青年研究员奖：离散事件系统的建模、分析和控制

• 批准号: 9057967
• 负责人: Stephane Lafortune
• 金额: $ 15万
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1990
• 资助国家: 美国
• 起止时间: 1990-07-01 至 1996-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9057967&HistoricalAwards=false
• 关键词: Presidential; Young; Investigators; Award; Modeling

The PI does research on the modeling, analysis, and control of discrete event systems (DES's). A DES is a man-made dynamical system whose behavior is described by the complex interactions of distributed, communicating, controlled processes. These interactions are modeled by traces of events that record significant changes in the state of the system. A process may for example be a computer program or a user's transaction in a computer system or a machine or a robot in a flexible manufacturing system. The first component of the research deals with theoretical work on the control of DES's. Specific issues being studied include: detailed study of the properties of controllers for DES's; the synthesis of controllers with good qualitative and quantitative performance characteristics; modeling and analysis of recovery in the control of systems that block; and on-line supervisory control under partial information. Progress on these problems will enhance the scope and applicability of the emerging control theory for DES's. The second component of the research deals with the development of algorithms for controller synthesis problems in a relational algebraic framework. This approach is pursued in order to address synthesis problems for large scale DES's. Finally, representative case studies from the fields of database systems, manufacturing systems, and traffic systems are being analyzed in conjunction with the above development of theory and algorithms.

私家侦探研究模型， 离散事件分析与控制 系统（DES）。 DES是人造的 动力系统，其行为被描述为 通过分布式的复杂交互， 沟通，控制过程。 这些 相互作用是由事件的痕迹来模拟的 记录了该州的重大变化 该系统 例如，一个过程可以是 计算机程序或用户的交易， 一个计算机系统或者机器或者机器人， 灵活的制造系统。 第一 研究的一部分涉及 控制DES的理论工作。 正在研究的具体问题包括： 详细研究了 DES的控制器;合成 控制器具有良好的定性和 定量性能特征; 模拟和分析恢复在 控制阻塞的系统;以及 部分信息下的监督控制 在这些问题上取得进展， 范围和适用性 DES的控制理论 第二 研究的一部分涉及 控制器算法开发 关系代数中的综合问题 框架. 采取这一办法是为了 解决大规模合成问题 DES的。 最后，典型案例研究 从数据库系统领域来看， 制造系统和交通系统 结合上述分析， 理论和算法的发展。