Xusheng Luo is currently a Postdoctoral Fellow at the Intelligent Control Lab of Carnegie Mellon University, collaborating with Dr. Changliu Liu. He earned his Ph.D. in Mechanical Engineering and Materials Science from Duke University in December 2020, where he was mentored by Dr. Michael M. Zavlanos. His research focuses on the integration of control, planning and formal methods, particularly in the field of cyber-physical systems (CPS) and robotics. Before this, He received the B.Eng. and M.S.E. degrees in Aerospace Engineering from the Harbin Institute of Technology, China, in 2015 and 2017, respectively.
Formal methods, encompassing mathematical techniques and tools, are widely used across various engineering disciplines for system analysis, requirement assessment, and assurance evaluation. My research is centered on enabling CPS, particularly robots, with rigor to ensure intelligent and reliable planning and execution of high-level tasks. To this end, I apply formal methods to robotics by developing frameworks for defining high-level tasks precisely and creating decision-making algorithms or controllers that fulfill these tasks with certain guarantees. The key contributions can be encapsulated in three aspects: (a) Formal Specification: Develop expressive temporal logic specifications that can define increasingly intricate tasks for systems involving multiple robots. (b) Formal Synthesis: Introduce efficient planning and decision-making algorithms characterized by their speed, optimality, and scalability. (c) Formal Verification: Create methods for verification to ascertain the correctness of learning-based components.