Towards continuous abstractions of dynamical and control systems

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

Volumn 1273, Issue , 1997, Pages 329-341

  Pappas, George J ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; LARGE SCALE SYSTEMS;

COMPLEX PLANTS; COMPLEX PROCESSES; CONTINUOUS SYSTEM; ORIGINAL SYSTEMS; SYSTEM BEHAVIORS;

ABSTRACTING;

EID: 0000529803     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0031567     Document Type: Conference Paper

References (15)

1. Pravin Varaiya. Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control, AC-38(2):195-287, 1993.
2. S. Sastry, G. Meyer, C. Tomlin, J. Lygeros, D. Godbole, and G. Pappas. Hybrid control in air traffic management systems. In Proceedings of the 1995 IEEE Conference in Decision and Control, pages 1478-1483, New Orleans, LA, December 1995.
3. Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors. Hybrid Systems. Lecture Notes in Computer Science. Springer-Verlag, 1993.
4. Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors. Hybrid Systems II. Lecture Notes in Computer Science. Springer-Verlag, 1995.
5. R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III. Lecture Notes in Computer Science 1066. Springer-Verlag, 1996.
6. Peter Caines and Y.J. Wei. The hierarchical lattices of a finite state machine. Systems and Control Letters, 25:257-263, 1995.
7. Anuj Puri and Pravin Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In Computer Aided Verification, pages 95-104, 1994.
8. T.A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for nonlinear hybrid systems. In R. Alur, T.A. Henzinger, and E.D. Sontag, editors, Hybrid Systems III, Lecture Notes in Computer Science 1066, pages 377-388. Springer-Verlag, 1996.
9. Michael Spivak. A Comprehensive Introduction to Differential Geometry. Publish or Perish, 1979.
10. Abraham R., Marsden J., and Ratiu T. Manifolds, Tensor Analysis and Applications. Applied Mathematical Sciences. Springer-Verlag, 1988.
11. James R. Munkres. Analysis on Manifolds. Addison-Wesley, 1991.
12. Nijmeijer H. and van der Schaft A.J. Nonlinear Dynamical Control Systems. Springer-Verlag, 1990.
13. Roger Brockett. Global descriptions of nonlinear control problems; vector bundles and nonlinear control theory, manuscript, 1980.
14. A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors, Hybrid System, pages 317-356. Springer Verlag, New York, 1993.
15. Michael Branicky. Topology of hybrid systems. In Proceedings of the 32nd IEEE Conference in Decision and Control, pages 2309-2314, San Antonio, TX, December 1993.