Abstract
The analysis and design of large scale systems is usually an extremely complex process. In order to reduce the complexity of the analysis, simplified models of the original system, called abstractions, which capture the system behavior of interest are obtained and analyzed. If the abstraction of system can be shown to satisfy certain properties of interest then so does the original complex plant. In hybrid systems, discrete or hybrid abstractions of continuous systems are of great interest. In this paper, the notion of abstractions of continuous systems is formalized.
Research supported by the Army Research Office under grants DAAH 04-95-1-0588 and DAAH 04-96-1-0341
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Pravin Varaiya. Smart cars on smart roads: problems of control. IEEE Transactions on Automatic Control, AC-38(2):195–207, 1993.
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.
Robert L. Grossman, Anil Nerode, Anders P. Ravn, and Hans Rischel, editors. Hybrid Systems. Lecture Notes in Computer Science. Springer-Verlag, 1993.
Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors. Hybrid Systems II. Lecture Notes in Computer Science. Springer-Verlag, 1995.
R. Alur, T.A. Henzinger, and E.D. Sontag, editors. Hybrid Systems III. Lecture Notes in Computer Science 1066. Springer-Verlag, 1996.
Peter Caines and Y.J. Wei. The hierarchical lattices of a finite state machine. Systems and Control Letters, 25:257–263, 1995.
Anuj Puri and Pravin Varaiya. Decidability of hybrid systems with rectangular differential inclusions. In Computer Aided Verification, pages 95–104, 1994.
T.A. Henzinger and H. Wong-Toi. Linear phase-portrait approximations for non linear 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.
Michael Spivak. A Comprehensive Introduction to Differential Geometry. Publish or Perish, 1979.
Abraham R., Marsden J., and Ratiu T. Manifolds, Tensor Analysis and Applications. Applied Mathematical Sciences. Springer-Verlag, 1988.
James R. Munkres. Analysis on Manifolds. Addison-Wesley, 1991.
Nijmeijer H. and van der Schaft A.J. Nonlinear Dynamical Control Systems. Springer-Verlag, 1990.
Roger Brockett. Global descriptions of nonlinear control problems; vector bundles and nonlinear control theory. manuscript, 1980.
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.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pappas, G.J., Sastry, S. (1997). Towards continuous abstractions of dynamical and control systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031567
Download citation
DOI: https://doi.org/10.1007/BFb0031567
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63358-7
Online ISBN: 978-3-540-69523-3
eBook Packages: Springer Book Archive