CAREER: A Compositional Approach to Modular Cyber-Physical Control System Design

复杂的、网络化的、分布式的网络物理系统（cps）正在航空航天和汽车等许多安全关键应用领域兴起。这种系统的设计严重依赖于工程师的洞察力和经验，因为缺乏能够处理这些系统复杂性的原则性设计方法。因此，需要进行广泛的测试和微调，以确保最终产品满足设计目标。作为一个原则性的替代方案，本项目建议在网络物理系统的设计和生命周期中使用模块化来管理复杂性。目标是开发模块化网络物理控制系统设计的科学基础和相关算法工具。如果成功的话，从长远来看，这项研究将导致一个由自动化设计工具支持的cps的“即插即用”集成框架，其中可以用另一个子系统替换子系统，或者在保持操作正确性保证的同时对子系统进行升级。这项研究的结果将与许多应用领域相关，包括下一代飞行器、汽车系统和机器人。其潜在的变革性影响将对这些领域cps的设计和操作方式产生影响。通过积极寻找和吸引工业合作伙伴，将转化为经济。这项研究工作将辅以一项教育计划，在本科生和研究生中培养CPS领域的跨学科研究和思考，为下一代CPS研究人员和实践者做好准备。具体而言，该项目将开发理论基础和相关算法工具，用于分布式合成可证明正确的控制协议，从而产生网络物理控制系统的组合设计原则。特别是，将开发用于在离散/逻辑级别分解系统需求和在连续/系统级别分解系统状态的算法。其主要思想是在影响每个子系统的外部和内部因素之间进行一种新颖的分离，这种分离允许显式地计算子系统成功运行所需的内部交互。这些内部交互，即接口规则，是根据假设和保证对捕获的，这些假设和保证对用于解决本地综合问题，以分布式方式获得本地控制器，同时在这些控制器同时部署时保持全局正确性保证。通过在这些接口规则上引入适当的偏序，并根据这些顺序关系调整接口规则的复杂性，将探索模块化-性能权衡空间。来自控制理论（分散和鲁棒控制，模型简化，离散事件系统）和形式化方法（时间逻辑，组合验证，分布式反应性合成）的工具将被用来解决这些问题。

Complex, networked, distributed cyber-physical systems (CPSs) are emerging in many safety-critical application domains such as aerospace and automotive. Design of such systems heavily relies on insights and experiences of engineers as principled design methodologies that can cope with the complexity of these systems are lacking. As a result, extensive testing and fine-tuning is required to ensure that the final product satisfies the design objectives. As a principled alternative, this project proposes to use modularity for managing complexity during both the design- and the life-cycles of cyber-physical systems. The objective is to develop the scientific foundation and associated algorithmic tools for the design of modular cyber-physical control systems. If successful, in the long-run this research will lead to a "plug and play" integration framework for CPSs supported by automated design tools, where one can replace a subsystem with another one or perform upgrades to subsystems while maintaining operational correctness guarantees. Results from this research will be relevant to many application domains, including next generation air vehicles, automotive systems and robotics. Its potential transformative impact will be on the way CPSs in these domains are designed and operated. Translation to the economy will proceed by actively seeking and engaging industrial partners. This research effort will be complemented by an education plan where interdisciplinary research and thinking in the area of CPS will be fostered among undergraduate and graduate students to prepare the next generation of CPS researchers and practitioners.To be specific, the project will develop theoretical foundations and associated algorithmic tools for distributed synthesis of provably correct control protocols that give rise to compositional design principles for cyber-physical control systems. In particular, algorithms for decompositions of system requirements at the discrete/logic level and of the system states at the continuous/system level will be developed. The main idea is a novel separation between external and internal factors affecting each subsystem that allows internal interactions required for the successful operation of a subsystem to be computed explicitly. These internal interactions, namely interface rules, are captured in terms of assumption and guarantee pairs that are used for solving local synthesis problems to obtain local controllers in a distributed manner, while maintaining global correctness guarantees when these controllers are deployed simultaneously. The modularity-performance trade-off space will be explored by introducing proper partial orders on these interface rules and by tuning the complexity of the interface rules according to these order relations. Tools from control theory (decentralized and robust control, model reduction, discrete event systems) and formal methods (temporal logics, compositional verification, distributed reactive synthesis) will be brought to bear to address these problems.