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

CPS：媒介：协作研究：信息物理相互作用的抽象及其在 CPS 设计中的应用

• 批准号: 0931035
• 负责人: C Krishna
• 金额: $ 67.5万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-10-01 至 2014-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0931035&HistoricalAwards=false
• 关键词: CPS; Medium; Collaborative; Research; Abstraction

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.

本研究的目的是开发抽象的控制过程和计算状态在一个网络物理系统中可以表示的形式，是有用的决策跨实时任务调度和控制驱动域。 该方法是量化的响应时间方面的控制退化，从而绑定计算机响应的受控过程性能，并使用这样的成本函数，以有效地管理计算资源。 类似地，可以调整控制策略以便响应于计算状态。 无人机将被用作车辆来演示我们的方法。这项研究的智力价值在于，它采取了不同的领域，控制和计算，并建立了形式化的抽象在两个计算到控制和控制到计算的方向。 这些抽象是以物理现实为基础的（例如，时间、燃料、能量），并将另一个领域的相关属性封装为对每个领域都可理解且有意义的形式。 这项研究很重要，因为网络物理系统在各行各业中发挥着越来越大的作用。 它将使设计方法成为系统和有效的，而不是临时性的。 它基于我们之前的大量工作，这些工作已经开始成功地弥合控制和计算机科学工程社区之间的代表性和算法差距。 将通过我们的大学课程、教学材料、研究和辅导出版物以及行业合作（例如，General Motors R D）。 计划是雇用少数民族/女学生。