Papers
10
Total Citations
167
H-Index
6
About
Yuri Kaszubowski Lopes is a leading researcher at the intersection of formal methods and swarm robotics, whose work bridges the gap between theoretical control theory and practical, real-world robotic systems. His primary contributions lie in applying Supervisory Control Theory (SCT) to create verifiable, correct-by-construction controllers for robot swarms—a field traditionally dominated by ad-hoc development. His seminal 2016 paper, "Supervisory control theory applied to swarm robotics," has garnered 96 citations, establishing the foundational framework for this approach. Lopes has extended this work through probabilistic SCT (pSCT) and multi-operator control systems, addressing the challenges of shared human-robot control in complex scenarios. Beyond formal methods, he has made significant hardware and software contributions, including OpenSwarm—the first operating system designed specifically for miniature robots, with a remarkably small memory footprint of just 1 kB RAM. His innovative work on soft-bodied modular robotics, including the Kilobot Soft Robot, explores how error-prone individual units can achieve coherent movement through mechanical coupling. Lopes’ research demonstrates a rare ability to move from abstract formal theory to tangible robotic platforms, making him a pivotal figure in advancing reliable, scalable, and verifiable swarm robotics systems.
Research Focus
Key Achievements
Top Papers
- 1Supervisory control theory applied to swarm robotics96 citations · 2016
- 2
- 3Coherent movement of error-prone individuals through mechanical coupling13 citations · 2023
- 4OpenSwarm: An event-driven embedded operating system for miniature robots10 citations · 2016
- 5
- 6
- 7
- 8
- 9
- 10Supervisory Control of Robot Swarms Using Public Events3 citations · 2020