∈-Approximation of differential inclusions

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

Volumn 1066, Issue , 1996, Pages 362-376

  Puri, Anuj ^a   Borkar, Vivek ^b   Varaiya, Pravin ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS; SAMPLING; TRAJECTORIES;

DIFFERENTIAL INCLUSIONS; FINITE SAMPLES; INVARIANT SET; LIPSCHITZ;

DIFFERENTIAL EQUATIONS;

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

References (15)

1. R. Abraham, J.E. Marsden, and T. Raitu, Manifolds, Tensor Analysis, and Applications, Springer-Verlag, 1988.
2. R. Alur et. al., The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science, Feb. 1995.
3. R. Alur, C. Courcoubetis, T.A. Henzinger and P.-H. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, LNCS 736, Springer-Verlag.
4. J.P. Aubin and A. Cellina, Differential Inclusions, Springer-Verlag, 1984.
5. J.P. Aubin, Viability Theory, Birkhauser, 1991.
6. V. Borkar and P. Varaiya, ε-Approximation of Differential Inclusion using Rectangular Differential Inclusion, Notes.
7. J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, Springer-Verlag, 1983.
8. T. Henzinger, P. Kopke, A. Puri and P. Varaiya, What’s Decidable About Hybrid Automata, STOCS 1995.
9. M. W. Hirsh and S. Smale. Differential Equations, Dynamical Systems, and Linear Algebra, Academic Press, Inc., 1974.
10. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, An Approach to the Description and Analysis of Hybrid Systems, Hybrid Systems, LNCS 736, Springer-Verlag, 1993.
11. A. Puri and P. Varaiya, Decidability of Hybrid System with Rectangular Differential Inclusions, CAV 94: Computer-Aided Verification, Lecture Notes in Computer Science 818, pages 95-104. Springer-Verlag, 1994.
12. A. Puri and P. Varaiya, Verification of Hybrid Systems using Abstractions, Hybrid Systems II, LNCS 999, Springer-Verlag, 1995.
13. A. Puri and P. Varaiya, Driving Safely in Smart Cars, California PATH Research Report UCB-ITS-PRR-95-24, July 1995.
14. C. Sparrow, The Lorenz Equations, Springer-Verlag, 1982.
15. P. P. Varaiya, On the Trajectories of a Differential System, in A.V. Balakrishnan and L.W. Neustadt, editor, Mathematical Theory of Control, Academic Press, 1967.