Skip to main content
SpringerLink
Log in

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

  • Conference paper
  • First Online:
Book cover Hybrid Systems: Computation and Control (HSCC 2000)

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

Included in the following conference series:

Abstract

In this paper we describe an experimental system called d/dt for approximating reachable states for hybrid systems whose continuous dynamics is defined by linear differential equations. We use an approximation algorithm whose accumulation of errors during the continuous evolution is much smaller than in previously-used methods. The d/dt system can, so far, treat non-trivial continuous systems, hybrid systems, convex differential inclusions and controller synthesis problems.

This work was partially supported by the European Community Esprit-LTR Project 26270 VHS (Verification of Hybrid systems), the French-Israeli collaboration project 970MAEFUT5 (Hybrid Models of Industrial Plants) and the Russian Foundation for Basic Research under grant 97-01-00692.

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

Access this chapter

Log in via an institution
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.

References

  1. ACH+95._R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138, 3–34, 1995.

    Article  MATH  MathSciNet  Google Scholar 

  2. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183–235, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  3. E. Asarin, O. Bournez, T. Dang, A. Pnueli and O. Maler, Effective Synthesis of Switching Controllers for Linear Systems, submitted for publication, 2000.

    Google Scholar 

  4. O. Bournez, O. Maler and A. Pnueli, Orthogonal Polyhedra: Representation and Computation, in J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999 [VS99], 46–60.

    Chapter  Google Scholar 

  5. K. Cerans and J. Viksna, Deciding Reachability of Planar Multipolynomial systems, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 389–400, LNCS 1066, Springer, 1996.

    Google Scholar 

  6. A. Chutinan and B.H. Krogh, Verification of Polyhedral Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, in J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999 [VS99] 76–90.

    Chapter  Google Scholar 

  7. P. Cousot and R. Cousot, Abstract Interpretation and Application to Logic Programs, Journal of Logic Programming, 103–179, 1992.

    Google Scholar 

  8. T. Dang, O. Maler, Reachability Analysis via Face Lifting, in T.A. Henzinger and S. Sastry (Eds), Hybrid Systems: Computation and Control, LNCS 1386, 96–109, Springer, 1998.

    Google Scholar 

  9. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The Tool KRONOS, in R. Alur, T.A. Henzinger and E. Sontag (Eds.), Hybrid Systems III, LNCS 1066, 208–219, Springer, 1996.

    Chapter  Google Scholar 

  10. M.R. Greenstreet, Verifying Safety Properties of Differential Equations, in R. Alur and T.A. Henzinger (Eds.), Proc. CAV’96, LNCS 1102, 277–287, 1996.

    Google Scholar 

  11. M.R. Greenstreet and I. Mitchell, Integrating Projections, in T.A. Henzinger and S. Sastry (Eds), Hybrid Systems: Computation and Control, LNCS 1386, 159–174, Springer, 1998.

    Google Scholar 

  12. M.R. Greenstreet and I. Mitchell, Reachability Analysis Using Polygonal Projections, in J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999 [VS99] 76–90.

    Chapter  Google Scholar 

  13. T.A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-Toi, Beyond HyTech: Hybrid System Analysis Using Interval Numerical Methods, AAAI Spring Symposium on Hybrid Systems, Stanford University, 1999.

    Google Scholar 

  14. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi, HyTech: A Model Checker for Hybrid Systems, Software Tools for Technology Transfer 1, 110–122, 1997.

    Article  MATH  Google Scholar 

  15. A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control, Birkhauser, 1997.

    Google Scholar 

  16. K. Mehlhorn and St. Nher, The LEDA Platform of Combinatorial and Geometric Computing, Cambridge University Press, 1999.

    Google Scholar 

  17. G. Pappas, G. Lafierriere and S. Yovine, A New Class of Decidable Hybrid Systems, in J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999 [VS99] 29–31.

    Google Scholar 

  18. J. Preussig, O. Stursberg and S. Kowalewski, Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis, in J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999 [VS99] 208–222.

    Google Scholar 

  19. F. Vaandrager and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999.

    MATH  Google Scholar 

  20. P. Varaiya, Reach Set Computation using Optimal Control, Proc. KIT Workshop, Verimag, Grenoble, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre Equation, Verimag, 2, av. de Vignate, 38610, Gièeres, France

    Eugene Asarin, Thao Dang & Oded Maler

  2. Loria, Campus Scientifique, BP 239, 54506, Vandoeuvre les Nancy, France

    Olivier Bournez

Authors
  1. Eugene Asarin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Olivier Bournez
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thao Dang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Oded Maler
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 02139, USA

    Nancy Lynch

  2. Department of Electrical and Computer Engineering, Carnegie Mellon University, Pittsburgh, PA, 15235, USA

    Bruce H. Krogh

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Asarin, E., Bournez, O., Dang, T., Maler, O. (2000). Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. In: Lynch, N., Krogh, B.H. (eds) Hybrid Systems: Computation and Control. HSCC 2000. Lecture Notes in Computer Science, vol 1790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46430-1_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-46430-1_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67259-3

  • Online ISBN: 978-3-540-46430-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation