Collaborative proposal: Distributed and Fault-Tolerant Control of Discrete-Event Systems

合作提案：离散事件系统的分布式和容错控制

• 批准号: 0624821
• 负责人: Stephane Lafortune
• 金额: --
• 依托单位: Regents of the University of Michigan - Ann Arbor
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-10-01 至 2010-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0624821&HistoricalAwards=false
• 关键词: Collaborative; proposal; Distributed; Fault; Tolerant

0624821 LafortuneThis proposal is concerned with complex engineering systems that have a distributed architecture. These distributed networked systems occur in many different application areas, including automotive, transportation, and manufacturing systems. The design of integrated control strategies for these systems requires the consideration of logical specifications that must be enforced regarding safety, liveness, diagnosability, modularity, reconfigurability, and fault tolerance. This is the realm of discrete-event system and control theory. There is no satisfactory theory at this time for distributed control of networked discrete-event systems that is computationally efficient and thus scalable to complex engineering systems. This proposal aims at developing such a theory and its associated analysis and synthesis algorithms. This work will result in distributed algorithms that will be implemented in software and made available to the research community.Intellectual merit:This research will have a significant technological impact on the systematic design of modular discrete-event controllers for a wide variety of complex distributed engineering systems. The investigators have several industrial collaborators in the automotive and manufacturing sectors. Their expertise will be sought frequently in the course of this research project to guide the theoretical investigations and identify appropriate case studies.Broader impacts:(i) involvement of female or under-represented minority graduate or undergraduate students in this project; (ii) development and teaching of a course on analysis and control of complex distributed discrete-event systems aimed for practicing engineers working in R\&D; (iii) active collaborations with research engineers in industry; and (iv) active collaborations and student exchanges with international researchers.

0624821 Lafortune该提案涉及具有分布式体系结构的复杂工程系统。这些分布式网络系统出现在许多不同的应用领域，包括汽车，运输和制造系统。这些系统的集成控制策略的设计需要考虑的逻辑规范，必须执行有关安全性，活性，可诊断性，模块化，可重构性和容错性。这是离散事件系统和控制理论的领域。目前还没有令人满意的理论用于网络离散事件系统的分布式控制，这种控制在计算上是有效的，因此可以扩展到复杂的工程系统。该建议旨在发展这样的理论及其相关的分析和综合算法。这项工作将导致分布式算法，将在软件中实现，并提供给research community.Intellectual merit：这项研究将有一个显着的技术影响的系统设计的模块化离散事件控制器的各种复杂的分布式工程系统。调查人员在汽车和制造业有几个工业合作者。他们的专业知识将寻求经常在这个研究项目的过程中，以指导理论调查，并确定适当的案例studies.Broader影响：（一）参与女性或代表性不足的少数民族研究生或本科生在这个项目;（二）开发和教学的课程分析和控制的复杂分布式离散事件系统的目的是实践工程师在R\&D工作;（iii）与工业研究工程师积极合作;以及（iv）与国际研究人员积极合作和学生交流。