Jaime A. Dulce-Galindo

Papers

Total Citations

H-Index

About

Jaime A. Dulce-Galindo is a researcher specializing in autonomous multi-robot systems and discrete event control, with a focus on applying Supervisory Control Theory (SCT) to navigation challenges. His major contributions lie in developing formal, hybrid control architectures that enable multiple robots to navigate autonomously while coordinating tasks through centralized or distributed supervision. In his most-cited work (2019, 13 citations), he proposed a novel structure integrating a centralized scheduler with SCT-based individual robot control, treating each robot as a Discrete Event System to ensure safe, collision-free operation. Expanding this framework, his 2022 paper (8 citations) introduced a distributed supervisory control approach for single-robot tasks, allowing decentralized decision-making among robots while maintaining system-level guarantees. These works have advanced the practical application of formal methods in robotics, offering scalable solutions for multi-robot coordination in dynamic environments. Dulce-Galindo’s research bridges theoretical control theory and real-world robotic navigation, providing a rigorous foundation for autonomous systems that require both flexibility and safety. His contributions are particularly valuable for students and researchers exploring formal verification in multi-agent robotics.