Max Robotics — Global Service Robot Directory + US Certification

About

Mats Carlsson is a leading researcher at the intersection of constraint programming (CP) and industrial robotics, with a focus on scheduling, optimization, and test generation for cyber-physical systems. His major contributions lie in developing CP models that solve complex, real-world robot programming challenges—particularly for dual-arm multi-tool assembly robots. Carlsson’s work on workspace layout optimization (e.g., 2020, 3 citations) and time-aware test case execution scheduling (2017, 14 citations) demonstrates how CP can integrate task sequencing with spatial constraints to improve robot efficiency and reliability. Notably, his RobTest framework (2020, 2 citations) generates maximal test trajectories for industrial robots, a critical step toward safer autonomous systems. While his citation counts are modest, they reflect a niche, high-impact domain where practical solutions are valued by both academia and industry. Carlsson’s research bridges theoretical CP advances with tangible manufacturing applications, offering students a clear example of how combinatorial optimization can transform robot programming from manual trial-and-error to automated, provably optimal scheduling. His work is essential reading for those interested in CP for robotics, production automation, or cyber-physical system verification.