Skip to main content

Towards Computing Phase Portraits of Polygonal Differential Inclusions

  • Conference paper
  • First Online:
Hybrid Systems: Computation and Control (HSCC 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2289))

Included in the following conference series:

Abstract

Polygonal hybrid systems are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. Here, we study the problem of defining and constructing the phase portrait of such systems.We identify various important elements of it, suchas viability and controllability kernels, and propose an algorithm for computing them all. The algorithm is based on a geometric analysis of trajectories.

Partially supported by Projet IMAG MASH “Modélisation et Analyse de Systèmes Hybrides”.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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.

    Google Scholar 

  2. J-P. Aubin. A survey on viability theory. SIAM J. Control and Optimization vol. 28, 4 (1990) 749–789.

    Article  MATH  MathSciNet  Google Scholar 

  3. J-P. Aubin. The substratum of impulse and hybrid control systems. In HSCC’01. LNCS 2034, 2001. Springer.

    Google Scholar 

  4. J-P. Aubin and A. Cellina. Differential Inclusions. A Series of Comprehensive Studies in Mathematics 264 (1984). Springer.

    Google Scholar 

  5. A. Deshpande and P. Varaiya. Viable control of hybrid systems. In Hybrid Systems II, 128–147, LNCS 999, 1995. Springer.

    Google Scholar 

  6. M. W. Hirschand S. Smale. Differential Equations, Dynamical Systems and Linear Algebra. (1974) Academic Press Inc.

    Google Scholar 

  7. M. Kourjanski and P. Varaiya. Stability of Hybrid Systems. In Hybrid Systems III, 413–423, LNCS 1066, 1995. Springer.

    Chapter  Google Scholar 

  8. P. Kowalczyk and M. di Bernardo. On a novel class of bifurcations in hybrid dynamical systems. In HSCC’01. LNCS 2034, 2001. Springer.

    Google Scholar 

  9. A. Matveev and A. Savkin. Qualitative theory of hybrid dynamical systems. (2000) Birkhäuser Boston.

    Google Scholar 

  10. S. Simić, K. Johansson, S. Sastry and J. Lygeros. Towards a geometric theory of hybrid systems. In HSCC’00. LNCS 1790, 2000. Springer.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Asarin, E., Schneider, G., Yovine, S. (2002). Towards Computing Phase Portraits of Polygonal Differential Inclusions. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-45873-5_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43321-7

  • Online ISBN: 978-3-540-45873-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics