Max Robotics — Global Service Robot Directory + US Certification

About

Andrea Domenici is a researcher at the forefront of cyber-physical systems (CPS) engineering, with a particular focus on co-simulation, formal verification, and security. His work bridges the gap between theoretical modeling and practical system validation, making significant contributions to how complex, multi-domain systems are designed and tested. Domenici’s most influential paper, with 18 citations, tackles the practical challenge of cogging torque reduction in brushless motors through co-simulation and non-linear control, demonstrating his ability to apply formal methods to real-world electromechanical problems. He is equally recognized for his pioneering work on CPS security, where he formalizes and simulates attacks on sensors and actuators using logic theories—a methodology that enables engineers to analyze vulnerabilities before deployment. His research on co-simulation for cooperative autonomous robotic systems, including the Voronoi tessellation use case, further showcases his impact on multi-agent CPS design. Domenici has also contributed to the standardization of co-simulation tools with his work on “Do-it-Yourself FMU Generation,” supporting the Functional Mock-up Interface ecosystem. Through his publications, Domenici has established himself as a key figure in making CPS design more secure, verifiable, and efficient.