 | 2012 |
|---|
| 8 |       | Anil Aswani,
Jerry Ding,
Haomiao Huang,
Michael P. Vitus,
Jeremy H. Gillula,
Patrick Bouffard,
Claire Tomlin:
Verification and control of hybrid systems using reachability analysis with machine learning.
HSCC 2012: 1-2 |
| 2011 |
|---|
| 7 | | Haomiao Huang,
Wei Zhang,
Jerry Ding,
Dusan M. Stipanovic,
Claire J. Tomlin:
Guaranteed decentralized pursuit-evasion in the plane with multiple pursuers.
CDC-ECE 2011: 4835-4840 |
| 6 | | Maryam Kamgarpour,
Jerry Ding,
Sean Summers,
Alessandro Abate,
John Lygeros,
Claire Tomlin:
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.
CDC-ECE 2011: 6122-6127 |
| 5 | | Haomiao Huang,
Jerry Ding,
Wei Zhang,
Claire J. Tomlin:
A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag.
ICRA 2011: 1451-1456 |
| 4 | | Jerry Ding,
Eugene Li,
Haomiao Huang,
Claire J. Tomlin:
Reachability-based synthesis of feedback policies for motion planning under bounded disturbances.
ICRA 2011: 2160-2165 |
| 2010 |
|---|
| 3 | | Jerry Ding,
Claire J. Tomlin:
Robust reach-avoid controller synthesis for switched nonlinear systems.
CDC 2010: 6481-6486 |
| 2009 |
|---|
| 2 | | Jerry Ding,
Claire J. Tomlin:
Trajectory optimization in convex underapproximations of safe regions.
CDC 2009: 2510-2515 |
| 2008 |
|---|
| 1 | | Jerry Ding,
Jonathan Sprinkle,
Shankar S. Sastry,
Claire J. Tomlin:
Reachability calculations for automated aerial refueling.
CDC 2008: 3706-3712 |
Data released under the ODC-BY 1.0 license — See also our legal information page