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

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

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.