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

0624821老妇人这项提案涉及具有分布式体系结构的复杂工程系统。这些分布式联网系统出现在许多不同的应用领域，包括汽车、运输和制造系统。这些系统的集成控制策略的设计需要考虑必须强制执行的关于安全性、活性、可诊断性、模块化、可重构性和容错性的逻辑规范。这是离散事件系统和控制理论的领域。目前，对于网络离散事件系统的分布式控制还没有令人满意的理论，这种分布式控制在计算上是有效的，因此可以扩展到复杂的工程系统。这项提议旨在发展这样的理论及其相关的分析和综合算法。这项工作将产生分布式算法，这些算法将在软件中实现并提供给研究团体。智力优势：这项研究将对各种复杂分布式工程系统的模块化离散事件控制器的系统设计产生重要的技术影响。调查人员在汽车和制造业领域有几个行业合作伙伴。在这项研究项目的过程中，将经常征求他们的专业知识，以指导理论调查和确定适当的案例研究。广泛的影响：(I)女性或代表性不足的少数族裔研究生或本科生参与这一项目；(Ii)开发和教授一门关于复杂分布式离散事件系统分析和控制的课程，旨在培养从事研发工作的工程师；(Iii)与工业研究工程师积极合作；以及(Iv)与国际研究人员积极合作和学生交流。

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.