Max Robotics — Global Service Robot Directory + US Certification

About

Marco Stadler is a researcher at the forefront of ensuring the safe and reliable operation of Cyber-Physical Systems (CPS) and robotic applications. His work centers on the critical challenge of runtime monitoring—the ability to detect system failures or requirement violations while a system is actively operating. Stadler’s major contribution is the development of flexible, model-driven frameworks that make runtime monitoring practical for complex, real-world systems. He created **AMon**, a domain-specific language and framework for adaptive monitoring of CPS, and **GRuM**, a flexible model-driven runtime monitoring framework demonstrated on automated aerial and ground vehicles. Additionally, his **ROMoSu** framework provides tailored runtime monitoring support for ROS-based robotic applications, addressing a critical need as these systems proliferate in domains from manufacturing to search and rescue. With his most-cited paper already garnering 11 citations, Stadler’s work is rapidly gaining recognition for bridging the gap between theoretical monitoring concepts and practical, deployable solutions. His research is essential reading for anyone working on safety-critical autonomous systems.