Max Robotics — Global Service Robot Directory + US Certification

About

Mahmoud Abdelgawad’s research centers on the rigorous testing and validation of autonomous systems, with a particular focus on real-time motion planning and robotic operations in unpredictable environments. His major contribution is the development of novel, model-based test generation approaches that treat the world as a dynamic entity rather than a static set of attributes. By employing Petri Nets and Communicating Extended Finite State Machines (CEFSM), Abdelgawad created “world models” that can systematically generate test scenarios for autonomous systems interacting with their surroundings. His work on testing Urban Search and Rescue (USAR) robots and Real-Time Adaptive Motion Planning (RAMP) systems addresses critical challenges in safety-critical robotics, where unknowns and unpredictability are inherent. While his most-cited papers have accumulated modest citation counts (ranging from 3 to 9), their impact lies in laying foundational groundwork for a more systematic, scenario-driven approach to autonomous system verification—an area of growing importance as robots are deployed in increasingly complex, real-world settings. His research is particularly notable for bridging the gap between theoretical model-based testing and practical, real-time robotic applications.