“Design and Verification of Safe Co-robots” by Dr. Changliu Liu
Abstract: In this talk, I will talk about challenges and research progress towards design and verification of safe co-robots. Those co-robots can be wide applied to transportation, manufacturing, service, etc. Those co-robot systems can be designed and synthesized using either model-based planning and control approaches or model-free learning approaches. Verification of those systems are challenging due to large uncertainties in the system and complications of the software structure, especially when there are neural networks in the systems. Several successful design will be discussed and several verification tools will be introduced.
Bio: Dr. Changliu Liu is an assistant professor in the Robotics Institute at Carnegie Mellon University (CMU). Her research interests lie in the design and verification of intelligent systems with applications to manufacturing and transportation. She published the book “Designing robot behavior in human-robot interactions” with CRC Press in 2019. She is the recipient of the 2019 Amazon Research Award.