CPS: Breakthrough: Compositional Modeling of Cyberphysical Systems

职务名称：CPS：突破：该项目致力于发现新的网络物理系统的数学建模技术。 特别是，该研究涉及设计新的概念方法，用于从子系统组装系统，以及根据其子系统的行为来推理系统的行为，这些行为可以是计算的或物理的。 这些结果使科学家和工程师能够开发出他们正在设计的系统的更逼真的模型，并获得对其最终行为的更深入的了解，而无需构建昂贵的原型。 智力上的优点是正在发展的系统行为的新概念，它统一了计算和物理，以及控制系统和子系统之间关系的数学运算符和定律。 该项目更广泛的意义和重要性在于新的建模技术使信息物理系统设计的创新步伐加快，以及开发中的新概念框架支持的课程增强。该项目的具体研究计划涉及开发一种新的建模范式，广义同步树（GST），一个丰富的框架来描述网络物理系统（CPS）和研究它们在互联下的行为。 GST的灵感来自于米尔纳使用同步树（ST）来建模互连的计算过程，但GST以这样一种方式概括了其前身的数学结构，即包含离散（"网络"）和连续（"物理"）动态系统。 正如米尔纳对ST所做的那样，PI正在为GST开发一种代数合成理论。 这样的理论比非代数理论有一个特别的优势：因为两个（或多个）对象的组合会导致一个相同类型的对象，所以组合运算符可以被嵌套以从较小的结构中构建大型结构。因此，GST的理论本质上是合成的。该理论的发展涉及五个不同但互补的努力。 网络物理系统的标准模型正在以语义上健壮的方式编码为GST; CPS的组成和一致性的有意义的概念正在被描述和代数研究;行为等效性和系统属性保存之间的相互作用正在被研究;实时性的概念正在被研究。（或时钟时间）正在考虑GST; GST正在被评估为实际设计方案的建模工具。

Title: CPS: Breakthrough: Compositional Modeling of Cyberphysical SystemsThis project is devoted to the discovery of new mathematical modeling techniques for Cyber-Physical Systems. In particular, the research involves devising novel conceptual methods for assembling systems from subsystems, and for reasoning about the behavior of systems in terms of the behavior of their subsystems, which may be computational or physical. The results enable scientists and engineers to develop more realistic models of the systems they are designing, and to obtain greater insights into their eventual behavior, without having to build costly prototypes. The intellectual merits are the new notions of system behavior being developed that unify the computational and the physical, and the mathematical operators and laws governing the relationships between systems and subsystems. The project's broader significance and importance lie in the increased pace of innovation within Cyber-Physical System design that the new modeling techniques make possible, and the curricular enhancements that the novel conceptual frameworks under development support.The specific research program of this project involves the development of a novel modeling paradigm, Generalized Synchronization Trees (GSTs), into a rich framework for both describing Cyber-Physical Systems (CPSs) and studying their behavior under interconnection. GSTs are inspired by Milner's use of Synchronization Trees (STs) to model interconnected computing processes, but GSTs generalize the mathematical structure of their forebears in such a way as to encompass systems with discrete ("Cyber") as well as continuous ("Physical") dynamics. As Milner did with STs, the PIs are developing an algebraic theory of composition for GSTs. Such theories have a particular advantage over non-algebraic ones: because the composition of two (or more) objects results in an object of the same type, composition operators can be nested to build large structures out of smaller ones. Thus, the theory of GSTs is inherently compositional. The development of the theory involves five distinct but complementary endeavors. Standard models for cyber-physical systems are being encoded as GSTs in a semantically robust way; meaningful notions of composition and congruence for CPSs are being described and studied algebraically; the interplay between behavioral equivalence and the preservation of system properties is being investigated; a notion of real-time (or clock time) is under consideration for GSTs; and GSTs are being assessed as modeling tools for practical design scenarios.