Jerry Ding
 |
PhD Student
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 graduate student in the Electrical Engineering
and Computer Sciences department at UC Berkeley, working
with Prof. Claire Tomlin in the Hybrid Systems Lab. I received my bachelors
degree in Electrical Engineering from University of Wisconsin, Madison in 2006,
and my masters degree in the same major from UC Berkeley in 2008.
Research Interests
My research interests lie at the boundary of control theory and formal verification,
with focus on controller design and synthesis methods that provides 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:
- Stochastic optimal control of hybrid systems
- Robust control of nonlinear systems
- Differential and stochastic games
- Motion planning and control of autonomous vehicles
- Conflict detection and resolution in air traffic management
Publications
Conference Proceedings
-
Discrete Time Stochastic Hybrid Dynamic Games: Verification and Controller Synthesis
Maryam Kamgarpour*, Jerry Ding*, Sean Summers, Alessandro Abate,
John Lygeros, and Claire Tomlin
IEEE Conference on Decision and Control, Orlando, FL, December 2011, accepted
* 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
IEEE Conference on Decision and Control, Orlando, FL, December 2011, accepted
-
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
-
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
-
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
-
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
-
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
Journal Articles
-
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, accepted for publication, 2011
-
Toward Reachability-Based Controller Design for Hybrid Systems in Robotics
Jerry Ding, Jeremy Gillula, Haomiao Huang, Michael Vitus, Wei Zhang, Claire Tomlin
IEEE Robotics and Automation Magazine, accepted for publication, 2011
Theses and Reports
-
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, UC Berkeley, September 2011
-
Reachability Calculations for Automated Aerial Refueling
Jerry Ding
Masters Thesis, EECS, UC Berkeley, December 2008
Talks