CPS: Frontier: Collaborative Research: Correct-by-Design Control Software Synthesis for Highly Dynamic Systems

CPS：前沿：协作研究：高动态系统的设计正确控制软件综合

• 批准号: 1239143
• 负责人: Hartmut Geyer
• 金额: $ 30万
• 依托单位: Carnegie-Mellon University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2013
• 资助国家: 美国
• 起止时间: 2013-04-01 至 2017-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1239143&HistoricalAwards=false
• 关键词: CPS; Frontier; Collaborative; Research; Correct

This CPS Frontiers project addresses highly dynamic Cyber-Physical Systems (CPSs), understood as systems where a computing delay of a few milliseconds or an incorrectly computed response to a disturbance can lead to catastrophic consequences. Such is the case of cars losing traction when cornering at high speed, unmanned air vehicles performing critical maneuvers such as landing, or disaster and rescue response bipedal robots rushing through the rubble to collect information or save human lives. The preceding examples currently share a common element: the design of their control software is made possible by extensive experience, laborious testing and fine tuning of parameters, and yet, the resulting closed-loop system has no formal guarantees of meeting specifications.The vision of the project is to provide a methodology that allows for complex and dynamic CPSs to meet real-world requirements in an efficient and robust way through the formal synthesis of control software. The research is developing a formal framework for correct-by-construction control software synthesis for highly dynamic CPSs with broad applications to automotive safety systems, prostheses, exoskeletons, aerospace systems, manufacturing, and legged robotics. The design methodology developed here will improve the competitiveness of segments of industry that require a tight integration between hardware and highly advanced control software such as: automotive (dynamic stability and control), aerospace (UAVs), medical (prosthetics, orthotics, and exoskeleton design) and robotics (legged locomotion). To enhance the impact of these efforts, the PIs are developing interdisciplinary teaching materials to be made freely available and disseminating their work to a broad audience.

这个CPS前沿项目解决了高度动态的网络物理系统（CPS），被理解为计算延迟几毫秒或对干扰的错误计算响应可能导致灾难性后果的系统。汽车在高速转弯时失去牵引力，无人驾驶飞行器执行着陆等关键机动，灾难和救援反应双足机器人在废墟中奔跑，收集信息或拯救生命。前面的例子目前有一个共同的元素：它们的控制软件的设计是通过丰富的经验、艰苦的测试和参数的微调来实现的，然而，最终的闭环系统没有满足规范的正式保证。该项目的愿景是提供一种方法，允许复杂和动态的cps通过控制软件的正式合成以有效和健壮的方式满足现实世界的需求。该研究正在开发一个正式的框架，用于高动态cps的结构校正控制软件合成，广泛应用于汽车安全系统、假肢、外骨骼、航空航天系统、制造业和腿式机器人。这里开发的设计方法将提高需要硬件和高度先进控制软件之间紧密集成的工业领域的竞争力，例如：汽车（动态稳定性和控制），航空航天（无人机），医疗（假肢，矫形器和外骨骼设计）和机器人（腿运动）。为了加强这些努力的影响，专业人员正在编写跨学科的教材，免费提供，并向广大读者传播他们的工作。