Max Robotics — Global Service Robot Directory + US Certification

About

Dr. Ning Ran is a leading researcher in multi-robot systems, specializing in path planning, security, and formal methods. Her work centers on using Petri nets—timed colored, labeled, and partially observed variants—to solve complex coordination problems. A key contribution is her 2022 paper on path planning for multi-type robot systems with time windows, which has garnered 14 citations and addresses critical challenges in industrial logistics and manufacturing. She has since advanced the field by integrating security constraints into robot path planning, as seen in her 2023 and 2024 papers (10 and 8 citations, respectively), which consider passive intruders and Boolean specification tasks. Her most recent 2025 work (2 citations) extends optimal path planning to handle logical requirements like conjunctions and negations. Dr. Ran’s research is notable for its practical impact on intelligent transportation, logistics, and manufacturing, and her innovative use of integer linear programming with Petri nets has set a new standard for secure, efficient multi-robot coordination. Her growing citation record reflects the increasing relevance of her work to both academia and industry.