Papers
6
Total Citations
39
H-Index
4
About
Michele Lora is a leading researcher at the intersection of cyber-physical systems, Industry 5.0, and multi-robot control. His work focuses on formalizing and validating complex industrial systems through compositional design and contract-based methodologies. Lora’s major contributions include pioneering the use of Assume-Guarantee Contracts to decompose and verify control software for multi-robot systems, as well as developing frameworks for production recipe validation through digital twin generation. His highly cited 2021 paper on modeling in Industry 5.0 (17 citations) critically examines the gaps in current modeling approaches for smart manufacturing, while his 2019 work on compositional design for ROS-based multi-robot systems (7 citations) provides foundational methods for scalable robot software synthesis. Lora has also addressed practical challenges in automated warehouses, tackling task assignment and motion planning for million-product workloads. His ongoing work on contract-based requirement engineering for industrial cyber-physical systems promises to deliver scalable algorithms for high-assurance design. Through his research, Lora is shaping the next generation of intelligent, verifiable manufacturing systems that bridge formal methods with real-world industrial applications.
Research Focus
Key Achievements
Top Papers
- 1
- 2Compositional Design of Multi-Robot Systems Control Software on ROS7 citations · 2019
- 3
- 4
- 5
- 6