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

拟议的研究是一项多年计划的一部分，该计划旨在开发数字算法和实现，用于验证、综合和设计网络物理系统的安全控制器和规划器，这些系统受到外部代理的影响，其行为在运行时被揭示。这种非随机不确定性的例子包括人在环控制和使用传统或独立设计的黑匣子控制器的系统，其安全性能无法保证。所开发的技术将保持安全性，并以符合用户期望的方式支持代理的目标追求。这项研究将通过共享控制应用于认知障碍老年人的电动轮椅、麻醉的自动输送、无人机和协同制造。

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.