Cyber-physical systems (CPSs) are engineering systems that are controlled by computer-based algorithms. These systems play increasing roles in our everyday lives—from executing search and rescue missions to enabling autonomous cars to navigate busy traffic and surgical robots to perform life-saving operations. When these systems fail, the consequences can be catastrophic. Dr. Jun Liu, Canada Research Chair in Hybrid Systems and Control, is developing advanced control algorithms to ensure that CPSs meet their safety, reliability and performance requirements.
He and his research team are exploring the theoretical limits of validated computation and formal methods for controlling CPS. They are also designing efficient algorithms for robust control synthesis for CPSs, and exploiting the synergies of control theory, learning and optimization for safety-critical control. Their results will lead to more efficient control design paradigms for CPS that have the potential to reduce their development time and cost significantly and improve their run-time performance safely.