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

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

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.