Max Robotics — Global Service Robot Directory + US Certification

About

Hugo Flordal is a leading researcher in discrete event systems and supervisory control theory, with a focus on the formal design and verification of control logic for industrial automation. His work centers on developing efficient computational methods for modeling, synthesizing, and implementing supervisors that ensure safe, collision-free, and optimized behavior in complex manufacturing environments. Flordal is best known for his foundational contributions to the **Supremica** tool, a widely adopted platform for large-scale discrete event system analysis that has garnered over 76 citations. He pioneered **compositional approaches** to supervisory control, enabling automatic generation of interlocking policies and PLC code for multi-robot cells. His 2007 paper on automatic model generation and PLC-code implementation for robot interlocking policies (33 citations) is a landmark in bridging formal methods with practical industrial deployment. Flordal’s work has demonstrated how to achieve optimal, collision-free work cycles while guaranteeing blocking-free operation, making him a key figure in the automation and robotics community. His research continues to influence both theoretical advances and real-world applications in intelligent manufacturing systems.