Xu Chu Ding

About

Xu Chu Ding is a robotics and control systems researcher whose work sits at the intersection of formal methods, multi-robot systems, and autonomous planning. His research focuses primarily on applying Linear Temporal Logic (LTL) and related formal specification languages to automatically synthesize control strategies for individual robots and coordinated robotic teams, enabling complex, high-level mission objectives to be translated directly into executable robot behaviors. Ding's most influential contribution, "Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints" (2013, 194 citations), established rigorous frameworks for generating provably optimal and robust paths for robot teams operating under rich mission specifications. His prolific output in 2011 laid much of the theoretical groundwork in the field, addressing distributed deployment, communication strategy synthesis, and Markov Decision Process-based control under uncertainty — collectively accumulating hundreds of citations. His 2016 paper on probabilistic satisfaction guarantees further extended this work into uncertain real-world environments. Across more than ten significant publications, Ding has helped shape the modern landscape of formal methods in robotics, providing the research community with both theoretical tools and practical algorithms. His work is essential reading for students and practitioners working on autonomous systems, multi-agent coordination, and robot task planning.

Research Focus

Key Achievements

Top Papers

1. 1
   Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

   194 citations · 2013
2. 2
   Formal Approach to the Deployment of Distributed Robotic Teams

   140 citations · 2011
3. 3
   Automatic Deployment of Robotic Teams

   74 citations · 2011
4. 4
   MDP optimal control under temporal logic constraints

   61 citations · 2011
5. 5
   Robust multi-robot optimal path planning with temporal logic constraints

   59 citations · 2012
6. 6
   LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees

   58 citations · 2016
7. 7
   Multi-robot deployment from LTL specifications with reduced communication

   46 citations · 2011
8. 8
   Synthesis of distributed control and communication schemes from global LTL specifications

   35 citations · 2011
9. 9
   Optimal multi-robot path planning with temporal logic constraints

   33 citations · 2011
10. 10
    Receding horizon surveillance with temporal logic specifications

    30 citations · 2010

Key Collaborators

Contact & Links