Jerry Ding

Postdoctoral Researcher Hybrid Systems Lab Department of Electrical Engineering and Computer Sciences University of California, Berkeley Contact Information Email: jding@eecs.berkeley.edu Office: 307 Cory Hall Phone: (414) 630-4868

Brief Bio

I am currently a postdoctoral researcher in the Electrical Engineering and Computer Sciences Department at University of Califorina, Berkeley, working with Prof. Claire Tomlin in the Hybrid Systems Lab. I received my PhD in electrical engineering and computer sciences from UC Berkeley in 2012, and my Bachelor of Science in electrical engineering from the University of Wisconsin-Madison in 2006.

Research Interests

My research interests lie at the boundary of control theory and formal verification, with focus on model-based control design and analysis methods which provide provable performance guarantees for safety-critical control applications, with robustness to sources of uncertainty arising from model inaccuracy, environment disturbances, and adversarial actions. A sampling of the problems I am interested in includes:

• Robust control of nonlinear and hybrid systems
• Stochastic estimation and optimal control
• Hybrid systems verification
• Differential and stochastic games
• Autonomous vehicle control
• Aircraft conflict detection and resolution
• Multi-agent robot motion planning

Publications

Journal Articles

• A Stochastic Games Framework for Verification and Control of Discrete Time Stochastic Hybrid Systems
  Jerry Ding*, Maryam Kamgarpour*, Sean Summers, Alessandro Abate, John Lygeros, and Claire Tomlin
  Automatica, accepted for publication, 2013.
  * These authors contributed equally to this work.
  
• Reachability Calculations for Vehicle Safety during Manned/Unmanned Vehicle Interaction
  Jerry Ding, Jonathan Sprinkle, Claire Tomlin, Shankar Sastry, and Jim Paunicka
  AIAA Journal of Guidance, Control, and Dynamics, 35(1), 138-152, 2012.
  
• Hybrid Systems in Robotics
  Jerry Ding, Jeremy Gillula, Haomiao Huang, Michael Vitus, Wei Zhang, Claire Tomlin
  IEEE Robotics and Automation Magazine, 18(3), 33-43, 2011.
  

Conference Proceedings

• Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications
  Jerry Ding, Alessandro Abate, and Claire Tomlin
  Proceedings of the American Control Conference, Washington, DC, June 2013.
  
• Pursuit, Evasion, and Defense in the Plane
  Selina Pan, Haomiao Huang, Jerry Ding, Wei Zhang, Dusan Stipanovic, and Claire Tomlin
  Proceedings of the American Control Conference, Montreal, Canada, June 2012, pp. 4167-4173.
  
• Time-optimal multi-stage motion planning with guaranteed collision avoidance via an open-loop game formulation
  Ryo Takei, Haomiao Huang, Jerry Ding, and Claire Tomlin
  Proceedings of the IEEE International Conference on Robotics and Automation, St. Paul, MN, May 2012, pp. 323-329.
  
• Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesis
  Maryam Kamgarpour*, Jerry Ding*, Sean Summers, Alessandro Abate, John Lygeros, and Claire Tomlin
  Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, December 2011, pp. 6122-6127.
  * These authors contributed equally to this work.
  
• Guaranteed Decentralized Pursuit-Evasion in the Plane with Multiple Pursuers
  Haomiao Huang, Wei Zhang, Jerry Ding, Dusan Stipanovic, and Claire Tomlin
  Proceedings of the IEEE Conference on Decision and Control, Orlando, FL, December 2011, pp. 4835-4840.
  
• A Differential Game Approach to Planning in Adversarial Scenarios: A Case Study on Capture-the-Flag
  Haomiao Huang, Jerry Ding, Wei Zhang, and Claire Tomlin
  Proceedings of the IEEE International Conference on Robotics and Automation, Shanghai, China, May 2011, pp. 1451-1456.
  
• Reachability-based Synthesis of Feedback Policies for Motion Planning Under Bounded Disturbances
  Jerry Ding, Eugene Li, Haomiao Huang, and Claire Tomlin
  Proceedings of the IEEE International Conference on Robotics and Automation, Shanghai, China, May 2011, pp. 2160-2165.
  
• Robust Reach-Avoid Controller Synthesis for Switched Nonlinear Systems
  Jerry Ding and Claire Tomlin
  Proceedings of the IEEE Conference on Decision and Control, Atlanta, GA, December 2010, pp. 6481-6486.
  
• Trajectory optimization in convex underapproximations of safe regions
  Jerry Ding and Claire Tomlin
  Proceedings of the IEEE Conference on Decision and Control, Shanghai, China, December 2009, pp. 2510-2515.
  
• A Dynamic Programming Approach for Aircraft Conflict Detection
  Jerry Ding and Claire Tomlin
  Proceedings of the AIAA Conference on Guidance, Navigation and Control, Chicago, IL, August 2009.
  
• Reachability calculations for automated aerial refueling
  Jerry Ding, Jonathan Sprinkle, Shankar Sastry, and Claire Tomlin
  Proceedings of the IEEE Conference on Decision and Control, Cancun, Mexico, December 2008, pp. 3706-3712.
  

Theses and Reports

• Methods for Reachability-based Hybrid Controller Design
  Jerry Ding
  PhD Thesis, EECS Department, University of California, Berkeley, May 2012.
  
• A Dynamic Game Framework for Verification and Control of Stochastic Hybrid Systems
  Jerry Ding*, Maryam Kamgarpour*, Sean Summers, Alessandro Abate, John Lygeros, and Claire Tomlin
  Technical Report UCB/EECS-2011-101, EECS Department, University of California, Berkeley, September 2011.
  * These authors contributed equally to this work.
  
• Reachability Calculations for Automated Aerial Refueling
  Jerry Ding
  Masters Thesis, EECS Department, University of California, Berkeley, December 2008.
  

Talks

• Reachability Based Controller Synthesis for Switched Systems
  Jerry Ding, Eugene Li, Haomiao Huang, and Claire Tomlin
  Workshop on Formal Methods for Robotics and Automation
  IEEE International Conference on Robotics and Automation, Anchorage, Alaska, May 2010.