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.