High Assurance Autonomy

• Assured CPS autonomy applications

  • A wide range of safety critical CPSs, from an autonomous systems (e.g., UAS) to human-machine interaction (HMI) systems, and to networked systems (e.g., ATC, Smart Power Grid)

• • Each requires elaborate control tasks under different operating condition

=> Conventional control methods could not be directly applicable to assure the CPS

• Develop a unified control framework for assured CPS autonomy

  • Security and Safety Assurance of CPS: Cybersecurity

  • Performance Assurance: Adaptive Robust Control