Max Robotics — Global Service Robot Directory + US Certification

About

Yuchen Zhou is a researcher whose work sits at the intersection of formal methods, robotics, and cyber-physical systems (CPS). His primary research focuses on developing rigorous, logic-based frameworks for robot motion planning under complex, time-sensitive constraints. Zhou’s major contribution is pioneering the use of Metric Interval Temporal Logic (MITL) and Metric Temporal Logic (MTL) to specify high-level, time-bounded tasks for autonomous robots. His most cited work, "Timed automata approach for motion planning using metric interval temporal logic" (2016, 37 citations), provides a constructive method to generate robot trajectories that satisfy these precise temporal specifications. This foundational approach is complemented by his work on optimal mission planning (2015, 16 citations), which integrates optimization with temporal logic constraints for dynamic environments. Zhou has also explored the broader application of these concepts within CPS, as seen in his work on a modeling integration hub for microrobotics (2013). By providing a formal, verifiable bridge between high-level task descriptions and low-level robot control, Zhou’s research offers a powerful toolkit for ensuring safety, sequencing, and timeliness in autonomous systems, making a significant impact on the field of formal methods in robotics.