CPS: Synergy: Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop

CPS：协同：可证明安全的汽车网络物理系统与人在环

• 批准号: 1239323
• 负责人: Francesco Borrelli
• 金额: $ 110万
• 依托单位: University of California-Berkeley
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-10-01 至 2015-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1239323&HistoricalAwards=false
• 关键词: CPS; Synergy; Provably; Safe; Automotive

This project focuses on the formal design of semi-autonomous automotive Cyber Physical Systems (CPS). Rather than disconnecting the driver from the vehicle, the goal is to obtain a vehicle where the degree of autonomy is continuously changed in real-time as a function of certified uncertainty ranges for driver behavior and environment reconstruction. The highly integrated research plan will advance the science and engineering for CPS by developing methods for (1) reconstructing 3D scenes which incorporate high-level topological and low-level metric information, (2) extracting driver behavioral models from large datasets using geometry, reasoning and inferences, (3) designing provably-safe control schemes which trade-off real-time feasibility and conservatism by using the evidence collected during actual driving.Assisting humans in controlling complex and safety-critical systems is a global challenge. In order to improve the safety of human-operated CPS we need to provide guarantees in the reconstruction of the environment where the humans and the CPS operate, and to develop control systems that use predictive cognitive models of the human when interacting with the CPS. A successful and integrated research in both areas will impact not only the automotive sector but many other human-operated systems. These include telesurgery, homeland security, assisted rehabilitation, power networks, environmental monitoring, and all transportation CPS. Graduate, undergraduate and underrepresented engineering students will benefit through classroom instruction, involvement in the research and a continuous interaction with industrial partners who are leaders in the field of assisted driving.

该项目的重点是半自主汽车网络物理系统（CPS）的正式设计。 我们的目标不是将驾驶员与车辆断开连接，而是获得一辆自动驾驶程度根据驾驶员行为和环境重建的认证不确定性范围实时连续变化的车辆。高度集成的研究计划将通过开发以下方法来推进CPS的科学和工程：（1）重建包含高级拓扑和低级度量信息的3D场景，（2）使用几何，推理和推断从大型数据集中提取驾驶员行为模型，（3）设计可证明安全的控制方案，该方案权衡真实的通过使用实际驾驶过程中收集的证据来评估时间可行性和保守性。协助人类控制复杂和安全关键系统是一项全球性挑战。为了提高人类操作CPS的安全性，我们需要在人类和CPS操作的环境的重建中提供保证，并且开发在与CPS交互时使用人类的预测认知模型的控制系统。这两个领域的成功和综合研究不仅会影响汽车行业，还会影响许多其他人工操作系统。这些包括外科手术，国土安全，辅助康复，电力网络，环境监测和所有运输CPS。 研究生、本科生和代表性不足的工程专业学生将通过课堂教学、参与研究以及与辅助驾驶领域的行业合作伙伴持续互动而受益。