Hybrid control of unmanned aerial vehicles for autonomous landing

2nd AIAA "Unmanned Unlimited" Conference and Workshop and Exhibit

Volumn , Issue , 2003, Pages

  Koo, T John ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT CONTROL; ANTENNAS; COMPUTATION THEORY; HYBRID SYSTEMS; LANDING; SEMANTICS; UNMANNED AERIAL VEHICLES (UAV);

AUTONOMOUS LANDING; CONTINUOUS DYNAMICS; LANDING PROBLEMS; OPERATIONAL SEMANTICS; OPTIMAL PERFORMANCE; STATE CONSTRAINTS; SWITCHING SEQUENCE; VEHICLE DYNAMICS;

CONTROLLERS;

EID: 85088720622     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2514/6.2003-6541     Document Type: Conference Paper

References (12)

1. A. Isidori. Nonlinear Control Systems. Springer- Verlag, 1995.
2. S. Sastry. Nonlinear Systems: Analysis, Stability, and Control. Springer-Verlag, New York, 1999.
3. T. J. Koo, G. J. Pappas, and S. Sastry. Mode Switching Synthesis for Reachability Specifications. Hy-brid Systems: Computation and Control, Lecture Notes in Computer Science, volume 2034, Springer-Verlag, 2001.
4. R. Alur, T. Henzinger. Modularity for Timed and Hybrid Systems. CONCUR97: Concurrency Theory, A. Mazurkiewicz and J. Winkowski, Eds., Lecture Notes in Computer Science 1243, pp. 74-88, Springer-Verlag, 1997.
5. J. Lygeros, C. Tomlin, S. Sastry. Controllers for Reachability Specifications for Hybrid Systems, Auto-matica, Volume 35, Number 3, March 1999.
6. M. S. Branicky, V. S. Borker, S. K. Mitter. A Uni-fied Framework for Hybrid Control: Model and Opti-mal Control Theory. IEEE Transactions on Automatic Control, vol. 43(1), pp. 31-45. January, 1999.
7. G. Lafferriere, G.J. Pappas, and S. Yovine. Symbolic Reachability Computations for Families of Linear Vector Fields, Journal of Symbolic Computation, sub-mitted.
8. A.B. Kurzhanski, P Varaiya, Ellipsoidal Tech-niques for Reachability Analysis, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 2000.
9. G.J. Pappas, G. Lafferriere, and S. Sastry, Hi-erarchically Consistent Control Systems, IEEE Trans-actions on Automatic Control, 45(6):1144-1160, June 2000.
10. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effective Synthesis of Switching Controllers for Linear Systems, Proceedings of the IEEE, 88(2):1011-1025.
11. A. Chutinan, B.H. Krogh, Verification of polyhedral-invariant hybrid systems using polygonal flow pipe approximations, Hybrid Systems: Computa-tion and Control, Lecture Notes in Computer Science, 1999.
12. C. Hylands, E. A. Lee, J. Liu, X. Liu, S. Neuen-dorff, and H. Zheng, Hy Visual: A Hybrid System Visual Modeler, Technical Memorandum UCB/ERL M03/1, University of California, Berkeley, CA 94720, January 28, 2003.