Max Robotics — Global Service Robot Directory + US Certification

About

Petter Nilsson is a leading researcher in safety-critical control and autonomous robotics, whose work bridges the gap between rigorous control theory and real-world robotic implementation. His primary research areas include formal methods for safety, multi-robot coordination, and human-robot interaction. Nilsson’s most influential contribution is a scalable safety-critical control framework for nonlinear systems (63 citations), which unifies control invariant set computation with online model predictive control to provide provable safety guarantees. He has also pioneered specification-guided exploration for cooperative robot teams (34 citations), developing temporal logic-based mission planning for Mars exploration scenarios involving copter-rover teams. In the domain of human-robot collaboration, Nilsson introduced online active safety methods for robotic manipulators (33 citations) that guarantee collision avoidance with human operators in manufacturing environments. His work on realizable set invariance conditions (21 citations) addresses the critical gap between theoretical control results and practical robotic implementations, making analytical safety guarantees transferable to physical systems. Through his research on invariant sets for quadrotor obstacle avoidance and multi-robot coordination with counting temporal logics, Nilsson continues to advance the frontier of safe, autonomous systems that can operate reliably alongside humans in complex, dynamic environments.