Mode switching synthesis for reachability specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2034, Issue , 2001, Pages 333-346

  Koo, T John ^a,b   Pappas, George J ^a   Sastry, Shankar ^b  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; HYBRID SYSTEMS; SWITCHING;

CONTINUOUS CONTROLLER; CONTROL APPLICATIONS; CONTROL MODES; FINITE GRAPHS; LOW LEVEL CONTROL; MODE-SWITCHING; MODE-SWITCHING LOGIC; OUTPUT-TRACKING;

CONTROLLERS;

EID: 84944266729     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45351-2_28     Document Type: Conference Paper

References (15)

1. A. Balluchi, L. Benvenuti, M.D. Di Benedetto, C. Pinello, and A.L. Sangiovanni- Vincentelli, Automotive engine control and hybrid systems: challenges and opportunities, Proceedings of the IEEE, 88(7):888-912, July 2000.
2. T. J. Koo, S. Sastry. Output Tracking Control Design of a Helicopter Model Based on Approximate Linearization. In Proceedings of the 37th Conference on Decision and Control, pp.3635-40, Tampa, Florida, December 1998.
3. T. J. Koo, B. Sinopoli, A. Sangiovanni-Vincentelli, and S. Sastry: A Formal Approach to Reactive System Design: A UAV Flight Management System Design Example. In Proceedings of IEEE International symposium on Computer-Aided Control System Design Kohala Coast, Hawaii. September 1999.
4. J. Liu, X. Liu, T. J. Koo, B. Sinopoli, S. S. Sastry, and E. A. Lee. Hierarchical Hybrid System Simulation. In Proceedings of the 38th Conference on Decision and Control, Phoenix, Arizona. December 1999.
5. O. Shakernia, Y. Ma, T. J. Koo, and S. Sastry, Landing an Umanned Air Vehicle: Vision Based Motion Estimation and Nonlinear Control, Asian Journal of Control, Vol. 1, No.3, pp. 128-145, September 1999.
6. Omid Shakernia, George J. Pappas, Shankar Sastry, Decidable Controller Synthesis for Classes of Linear Systems, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, volume 1790, pages 407-420, 2000.
7. J. Lygeros, C. Tomlin, S. Sastry. Controllers for Reachability Specifications for Hybrid Systems, Automatica, Volume 35, Number 3, March 1999.
8. R. Milner. Communication and Concurrency, Prentice Hall, 1989.
9. G. Lafferriere, G.J. Pappas, S. Yovine. Reachability Computation for Linear Hybrid Systems, In Proceedings of the 14th IFAC World Congress, volume E, pages 7-12, Beijing, 1999.
10. G. Lafferriere, G.J. Pappas, and S. Yovine. Symbolic Reachability Computations for Families of Linear Vector Fields, Journal of Symbolic Computation, To appear.
11. A.B. Kurzhanski, P. Varaiya, Ellipsoidal Techniques for Reachability Analysis, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 2000.
12. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli, Effiective Synthesis of Switching Controllers for Linear Systems, Proceedings of the IEEE, 88(2):1011-1025.
13. A. Chutinan, B.H. Krogh, Verification of polyhedral-invariant hybrid systems using polygonal flow pipe approximations, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, 1999.
14. I. Kolmanovsky, E. G. Gilbert. Multimode Regulators for Systems with State & Control Constraints and Disturbance Inputs. In Lecture Notes in Control and Information Sciences 222, Control Using Logic-Based Switching, A. Stephen Morse(Ed.),pp. 104-117, Springer-Verlag, London, 1997.
15. S. Sastry. Nonlinear Systems: Analysis, Stability, and Control. Springer-Verlag, New York, 1999.