CPS: Medium: Collaborative Research: Abstraction of Cyber-Physical Interplays and Its Application to CPS Design

这项研究的目的是开发抽象概念，使网络物理系统中的受控过程和计算状态都可以表示为一种形式，对跨实时任务调度和控制执行领域的决策有用。该方法是根据响应时间来量化控制降级，从而将计算机响应与受控过程性能联系在一起，并使用这样的成本函数来有效地管理计算资源。类似地，可以调整控制策略以响应计算状态。无人机将被用作交通工具来展示我们的方法。这项研究的智力优势在于它将控制和计算这两个不同的领域结合在一起，并在计算到控制和控制到计算两个方向上建立了形式抽象。这些抽象以物理现实(如时间、燃料、能量)为基础，并以对每个领域可理解和有意义的形式封装了另一个领域的相关属性。这项研究很重要，因为网络物理系统在各行各业中发挥着越来越大的作用。它将使设计方法系统化和高效，而不是即兴的。它基于我们之前的大量工作，这些工作已经开始成功地弥合了控制和计算机科学与工程领域之间的代表性和算法鸿沟。结果的传播将通过我们大学的课程、教学材料、研究和教程出版物以及行业合作(例如，通用汽车的研发)来实现。该计划是雇佣少数族裔/女性学生。

The objective of this research is to develop abstractions by which the controlled process and computation state in a cyber-physical system can both be expressed in a form that is useful for decision-making across real-time task scheduling and control actuation domains. The approach is to quantify the control degradation in terms of response time, thereby tying computer responsiveness to the controlled process performance and use such cost functions to effectively manage computational resources. Similarly, control strategies can be adjusted so as to be responsive to computational state. Unmanned aircraft will be used as vehicles to demonstrate our approach.The intellectual merit of this research is that it takes disparate fields, control and computation, and builds formal abstractions in both the computation-to-control and control-to-computation directions. These abstractions are grounded in terms of physical reality (e.g., time, fuel, energy) and encapsulate in a form comprehensible and meaningful to each domain, the relevant attributes of the other domain. This research is important because cyber-physical systems are playing an increasing role in all walks of life. It will allow design approaches to be systematic and efficient rather than ad hoc. It is based on a large body of our prior work that has begun to successfully bridge the representational and algorithmic gap that separates the control and computer science & engineering communities. Dissemination of results will be by means of courses in our universities, instructional materials, research and tutorial publications and industry collaboration (e.g., General Motors R&D). The plan is to hire minority/female students.