CAREER: Logical Foundations of Cyber-Physical Systems

职业：网络物理系统的逻辑基础

• 批准号: 1054246
• 负责人: Andre Platzer
• 金额: $ 40.35万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-02-01 至 2018-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1054246&HistoricalAwards=false
• 关键词: CAREER; Logical; Foundations; Cyber; Physical

This project seeks to develop logical foundations for cyber-physical systems (CPS), i.e., systems that combine cyber aspects such as communication and computer control with physical aspects such as movement in space. CPS applications abound. Ensuring their correct functioning, however, is a serious challenge. Scientists and engineers need analytic tools to understand and predict the behavior of their systems. This is the key to designing smart and reliable control. By providing such analytic foundations, this project addresses an intellectual grand challenge that has substantial scientific, economical, societal, and educational impact arising from the benefits of improved CPS analysis and design. In order to tame their complexity, this project studies CPS as multi-dynamical systems, i.e., in terms of the elementary dynamical aspects of their parts.Multi-billion dollar industries spend 50% of the development cost on control software design and testing. This cannot be sustained any longer. The foundations of computer science have revolutionized our society. We need even stronger foundations when software interacts with the physical world. Multi-dynamical systems concepts provide a unifying principle for education and enable students to focus on one dynamical aspect at a time without missing the big picture. They overcome the divide between computer science and engineering that keeps causing irreconcilable differences among design teams. This project develops cross-departmental graduate/undergraduate courses on Mathematical Foundations of CPS as prime examples of STEM integration. Long-term goals include a K-12 outreach that inspires young people to pursue science careers through an early exposure to both mathematical beauty and exciting societal challenges. CPS foundations excel in demonstrating the paramount importance of discrete and continuous mathematics, not as separate disciplines, but well-integrated.

该项目旨在开发网络物理系统（CPS）的逻辑基础，即将通信和计算机控制等网络方面与空间运动等物理方面相结合的系统。CPS应用比比皆是。然而，确保它们的正确运作是一项严峻的挑战。科学家和工程师需要分析工具来理解和预测他们系统的行为。这是设计智能可靠控制的关键。通过提供这样的分析基础，该项目解决了一个智力上的重大挑战，该挑战具有实质性的科学、经济、社会和教育影响，这些影响来自改进CPS分析和设计的好处。为了控制其复杂性，本项目将CPS作为多动力系统进行研究，即从其各部分的基本动力学方面进行研究。数十亿美元的行业将开发成本的50%用于控制软件的设计和测试。这种情况不能再持续下去了。计算机科学的基础已经彻底改变了我们的社会。当软件与物理世界交互时，我们需要更强大的基础。多动力系统概念为教育提供了一个统一的原则，使学生能够一次专注于一个动力方面，而不会错过大局。他们克服了计算机科学和工程之间的分歧，这种分歧一直导致设计团队之间不可调和的差异。该项目开发了跨部门的研究生/本科生课程，将CPS的数学基础作为STEM整合的主要例子。长期目标包括通过早期接触数学之美和激动人心的社会挑战，鼓励年轻人追求科学事业的K-12推广。CPS基础擅长于展示离散和连续数学的至高无上的重要性，不是作为单独的学科，而是很好地整合在一起。