Max Robotics — Global Service Robot Directory + US Certification

About

Scott A. Smolka is a prominent researcher whose work sits at the intersection of cyber-physical systems (CPS), runtime assurance, and autonomous robotics. His research focuses on developing formal methods and architectural frameworks that guarantee safety in complex, real-world systems—particularly where traditional verification approaches fall short. Smolka is perhaps best known for his contributions to the **Simplex Architecture**, a runtime assurance framework that enables safe operation of autonomous CPS by dynamically switching control authority from potentially unsafe advanced controllers to verified baseline controllers. This line of work, spanning from theoretical foundations to multi-agent applications, reflects his sustained commitment to bridging formal safety guarantees with practical deployment scenarios. His collision avoidance research for mobile robots with limited sensing—his most-cited contribution with 23 citations—addresses a critical challenge in real-world robotics: navigating dynamic environments under significant informational constraints. More recently, his introduction of Spatial Predictive Control (SPC) extends these ideas to coordinated drone flocking, demonstrating a knack for translating theoretical insights into scalable multi-agent solutions. With contributions touching medical CPS, autonomous vehicles, and drone systems, Smolka's work collectively advances the science of building trustworthy autonomous systems—making him a valuable reference point for researchers working at the frontier of safe artificial intelligence and robotics.