Numerical Algorithms for Verification, Design, Analysis and Operation of Shared Control Cyber-Physical Systems

共享控制信息物理系统验证、设计、分析和操作的数值算法

• 批准号: RGPIN-2017-04543
• 负责人: Mitchell, Ian
• 金额: $ 2.48万
• 依托单位: University of British Columbia
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634314
• 关键词: Numerical; Algorithms; Verification; Design; Analysis

The proposed research is part of a multi-year program to develop numerical algorithms and implementations for the verification, synthesis and design of safe controllers and planners for cyber-physical systems subject to uncertainty arising from the influence of external agents whose behaviour is revealed at run-time. Examples of this often non-random uncertainty include human-in-the-loop control and systems using legacy or independently designed black-box controllers whose safety properties cannot be guaranteed. The techniques developed will maintain safety and support pursuit of the agent's goal in a manner that aligns with user expectations. The research will be informed by shared control applications in powered wheelchairs for cognitively impaired older adults, automated delivery of anesthesia, unmanned aerial vehicles, and collaborative manufacturing.

拟议的研究是一项多年计划的一部分，旨在开发数值算法和实施，以验证，综合和设计安全控制器和计划者的网络物理系统系统，这些系统受到不确定性的影响，这是由于外部试剂在运行时所揭示的外部试剂的影响而产生的。这种通常非随机不确定性的示例包括使用遗产或独立设计的黑盒控制器的人类在循环控制和系统，这些控制器无法保证其安全性能。开发的技术将以与用户期望保持一致的方式来维持对代理商目标的安全和支持。这项研究将通过用于认知障碍的老年人，麻醉，无人驾驶飞机和协作制造的自动化的老年人，自动化的老年人的共享控制应用程序来告知这项研究。