Towards computing phase portraits of polygonal differential inclusions

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

Volumn 2289, Issue , 2002, Pages 49-61

  Asarin, Eugene ^a   Schneider, Gerardo ^a   Yovine, Sergio ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

DIFFERENTIAL INCLUSIONS; GEOMETRIC ANALYSIS; HYBRID AUTOMATONS; PHASE PORTRAIT; PIECE-WISE CONSTANTS;

DIFFERENTIAL EQUATIONS;

EID: 84958179689     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_7     Document Type: Conference Paper

References (10)

1. E. Asarin, G. Schneider and S. Yovine On the decidability of the reachability problem for planar differential inclusions. In HSCC’01. LNCS 2034, 2001. Springer.
2. J-P. Aubin. A survey on viability theory. SIAM J. Control and Optimization vol. 28, 4 (1990) 749–789.
3. J-P. Aubin. The substratum of impulse and hybrid control systems. In HSCC’01. LNCS 2034, 2001. Springer.
4. J-P. Aubin and A. Cellina. Differential Inclusions. A Series of Comprehensive Studies in Mathematics 264 (1984). Springer.
5. A. Deshpande and P. Varaiya. Viable control of hybrid systems. In Hybrid Systems II, 128–147, LNCS 999, 1995. Springer.
6. M. W. Hirschan d S. Smale. Differential Equations, Dynamical Systems and Linear Algebra. (1974) Academic Press Inc.
7. M. Kourjanski and P. Varaiya. Stability of Hybrid Systems. In Hybrid Systems III, 413–423, LNCS 1066, 1995. Springer.
8. P. Kowalczyk and M. di Bernardo. On a novel class of bifurcations in hybrid dynamical systems. In HSCC’01. LNCS 2034, 2001. Springer.
9. A. Matveev and A. Savkin. Qualitative theory of hybrid dynamical systems. (2000) Birkhäuser Boston.
10. S. Simić, K. Johansson, S. Sastry and J. Lygeros. Towards a geometric theory of hybrid systems. In HSCC’00. LNCS 1790, 2000. Springer.