Reachability calculations for automated aerial refueling

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2008, Pages 3706-3712

  Ding, Jerry ^a   Sprinkle, Jonathan ^b   Sastry, S Shankar ^a   Tomlin, Claire J ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b University of Arizona   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; SAFETY ENGINEERING; UNMANNED AERIAL VEHICLES (UAV);

AUTOMATED AERIAL REFUELING; HAMILTON-JACOBI; MANNED VEHICLES; MATHEMATICAL FOUNDATIONS; MISSION OBJECTIVES; REACHABILITY; SAFETY-OF-FLIGHT; VERIFICATION PROBLEMS;

ANTENNAS;

EID: 62949097294     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2008.4738998     Document Type: Conference Paper

References (14)

1. C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proceedings of the IEEE, vol. 91, no. 7, pp. 986-1001, July 2003.
2. I. Mitchell, A. Bayen, and C. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Transactions on Automatic Control, vol. 50, no. 7, pp. 947-957, July 2005.
3. A. M. Bayen, "Computational control of networks of dynamical systems: Application to the national airspace system," Ph.D. dissertation, Stanford University, Stanford, CA, 2003.
4. C. Tomlin, I. Mitchell, and R. Ghosh, "Safety verification of conflict resolution manoeuvres," IEEE Transactions on Intelligent Transportation Systems, vol. 2, no. 2, pp. 110-120, June 2001.
5. R. Teo and C. J. Tomlin, "Computing danger zones for provably safe closely spaced parallel approaches," Journal of Guidance, Control, and Dynamics, vol. 26, no. 3, pp. 434-443, May-June 2003.
6. M. Oishi, I. Mitchell, A. Bayen, C. Tomlin, and A. Degani, "Hybrid verification of an interface for an automatic landing," Proceedings of the 41st IEEE Conference on Decision and Control, vol. 2, pp. 1607-1613, 10-13 Dec. 2002.
7. J. Sprinkle, A. D. Ames, J. M. Eklund, I. Mitchell, and S. S. Sastry, "Online safety calculations for glideslope recapture," Innovations in Systems and Software Engineering, vol. 1, no. 2, pp. 157-175, September 2005. [Online]. Available: http://www.springerlink.com/openurl.asp-genre= article&id=doi: 10.1007/s11334-005-0017-x
8. M. Prandini and J. Hu, "A stochastic approximation method for reachability computations," in Stochastic Hybrid Systems. Springer Berlin/Heidelberg, 2006, vol. 337/2006.
9. H. Bloom and J. Lygeros, Eds., HYBRIDGE Final Project Report, 2005.
10. R. R. Burridge, A. A. Rizzi, and D. E. Koditschek, "Sequential composition of dynamically dexterous robot behaviors," The International Journal of Robotics Research, vol. 18, 1999.
11. C. Tomlin, J. Lygeros, and S. Shankar Sastry, "A game theoretic approach to controller design for hybrid systems," Proceedings of the IEEE, vol. 88, no. 7, pp. 949-970, Jul 2000.
12. I. M. Mitchell and J. A. Templeton, "A toolbox of Hamilton-Jacobi solvers for analysis of nondeterministic continuous and hybrid systems," Hybrid Systems Computation and Control, vol. 3414/2005, pp. 480-494, Feb. 2005.
13. S. Osher and R. Fedkiw, Level Set Methods and Dynamic Implicit Surfaces. Springer-Verlag, 2002.
14. J. A. Sethian, Level Set Methods and Fast Marching Methods. Cambridge University Press, 1999.