On-line optimization of switched-mode systems: Algorithms and convergence properties. - Yorai Wardi; Xu Chu Ding; Magnus Egerstedt; Shun-ichi Azuma (CDC, 2007)

On-Line Optimization of Switched-Mode Hybrid Dynamical Systems. - Yorai Wardi; Xu Chu Ding; Shun-ichi Azuma (HSCC, 2007)

Optimization of switched-mode systems with switching costs. - Xu Chu Ding; Yorai Wardi; D. Taylor; Magnus Egerstedt (ACC, 2008)

Real-time optimal feedback control of switched autonomous systems. - Xu Chu Ding; Axel Schild; Magnus Egerstedt; Jan Lunze (ADHS, 2009)

An optimal timing approach to controlling multiple UAVs. - Xu Chu Ding; Matthew Powers; Magnus Egerstedt; Ryan Young (ACC, 2009)

On-line adaptive optimal timing control of switched systems. - Xu Chu Ding; Yorai Wardi; Magnus Egerstedt (CDC, 2009)

Design of optimal switching surfaces for switched autonomous systems. - Axel Schild; Xu Chu Ding; Magnus Egerstedt; Jan Lunze (CDC, 2009)

Optimal multi-UAV convoy protection. - Xu Chu Ding; Amirreza Rahmani; Magnus Egerstedt (ROBOCOMM, 2009)

Executive decision support. - Xu Chu Ding; Matthew Powers; Magnus Egerstedt; Shih-Yih Young; Tucker R. Balch (IEEE Robotics Autom. Mag., 2009)

On-Line Optimization of Switched-Mode Dynamical Systems. - Xu Chu Ding; Yorai Wardi; Magnus Egerstedt (IEEE Trans. Autom. Control., 2009)

Real-time optimal control of autonomous switched systems. - Xu Chu Ding (2009)

Receding horizon surveillance with temporal logic specifications. - Xu Chu Ding; Calin Belta; Christos G. Cassandras (CDC, 2010)

Cooperative receding horizon control for multi-agent rendezvous problems in uncertain environments. - Chen Yao; Xu Chu Ding; Christos G. Cassandras (CDC, 2010)

A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. - Yushan Chen; Xu Chu Ding; Alin Stefanescu; Calin Belta (DARS, 2010)

Optimal motion primitives for multi-UAV convoy protection. - Amirreza Rahmani; Xu Chu Ding; Magnus Egerstedt (ICRA, 2010)

Multi-UAV Convoy Protection: An Optimal Approach to Path Planning and Coordination. - Xu Chu Ding; Amirreza Rahmani; Magnus Egerstedt (IEEE Trans. Robotics, 2010)

An optimal control approach for the persistent monitoring problem. - Christos G. Cassandras; Xu Chu Ding; Xuchao Lin (CDC/ECC, 2011)

Synthesis of distributed control and communication schemes from global LTL specifications. - Yushan Chen; Xu Chu Ding; Calin Belta (CDC/ECC, 2011)

MDP optimal control under temporal logic constraints. - Xu Chu Ding; Stephen L. Smith 001; Calin Belta; Daniela Rus (CDC/ECC, 2011)

Least squares temporal difference actor-critic methods with applications to robot motion control. - Reza Moazzez Estanjini; Xu Chu Ding; Morteza Lahijanian; Jing Wang 044; Calin Belta; Ioannis Ch. Paschalidis (CDC/ECC, 2011)

Multi-robot deployment from LTL specifications with reduced communication. - Marius Kloetzer; Xu Chu Ding; Calin Belta (CDC/ECC, 2011)

Optimal multi-robot path planning with Temporal Logic constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta; Daniela Rus (IROS, 2011)

Probabilistically Safe Vehicle Control in a Hostile Environment - Igor Cizelj; Xu Chu Ding; Morteza Lahijanian; Alessandro Pinto; Calin Belta (CoRR, 2011)

LTL Control in Uncertain Environments with Probabilistic Satisfaction Guarantees - Xu Chu Ding; Stephen L. Smith 001; Calin Belta; Daniela Rus (CoRR, 2011)

Automatic Deployment of Robotic Teams. - Xu Chu Ding; Marius Kloetzer; Yushan Chen; Calin Belta (IEEE Robotics Autom. Mag., 2011)

Formal Abstraction of Linear Systems via Polyhedral Lyapunov Functions. - Xu Chu Ding; Mircea Lazar; Calin Belta (ADHS, 2012)

Receding horizon temporal logic control for finite deterministic systems. - Xu Chu Ding; Mircea Lazar; Calin Belta (ACC, 2012)

Robust multi-robot optimal path planning with temporal logic constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta (ICRA, 2012)

An Optimal Control Approach to the Persistent Monitoring Problem - Christos G. Cassandras; Xuchao Lin; Xu Chu Ding (CoRR, 2012)

Formal Approach to the Deployment of Distributed Robotic Teams. - Yushan Chen; Xu Chu Ding; Alin Stefanescu; Calin Belta (IEEE Trans. Robotics, 2012)

Strategic planning under uncertainties via constrained Markov Decision Processes. - Xu Chu Ding; Alessandro Pinto; Amit Surana (ICRA, 2013)

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints. - Alphan Ulusoy; Stephen L. Smith 001; Xu Chu Ding; Calin Belta; Daniela Rus (Int. J. Robotics Res., 2013)

An Optimal Control Approach to the Multi-Agent Persistent Monitoring Problem. - Christos G. Cassandras; Xuchao Lin; Xu Chu Ding (IEEE Trans. Autom. Control., 2013)

LTL receding horizon control for finite deterministic systems. - Xu Chu Ding; Mircea Lazar; Calin Belta (Autom., 2014)

Optimal Control of Markov Decision Processes With Linear Temporal Logic Constraints. - Xu Chu Ding; Stephen L. Smith 001; Calin Belta; Daniela Rus (IEEE Trans. Autom. Control., 2014)

Finite Bisimulations for Switched Linear Systems. - Ebru Aydin Gol; Xu Chu Ding; Mircea Lazar; Calin Belta (IEEE Trans. Autom. Control., 2014)

Temporal logic motion control using actor-critic methods. - Jing Wang 044; Xu Chu Ding; Morteza Lahijanian; Ioannis Ch. Paschalidis; Calin Belta (Int. J. Robotics Res., 2015)