Skip to main content
SpringerLink
Log in

Level Set Methods for Computation in Hybrid Systems

  • Conference paper
  • First Online:
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

Reachability analysis is frequently used to study the safety of control systems. We present an implementation of an exact reachability operator for nonlinear hybrid systems. After a brief review of a previously presented algorithm for determining reachable sets and synthesizing control laws—upon whose theory the new implementation rests—an equivalent formulation is developed of the key equations governing the continuous state reachability. The new formulation is implemented using level set methods, and its effectiveness is shown by the numerical solution of three examples.

Research supported by DARPA under the Software Enabled Control Program (AFRL contract F33615-99-C-3014), and by a Frederick E. Terman Faculty Award.

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. R. Alur and D. Dill, “A theory of timed automata,” Theoretical Computer Science, vol. 126, pp. 183–235, 1994.

    Article  MATH  MathSciNet  Google Scholar 

  2. R. Alur, C. Courcoubetis, T. A. Henzinger, and P.-H. Ho, “Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems,” in Hybrid Systems (R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, eds.), LNCS, pp. 366–392, New York: Springer Verlag, 1993.

    Google Scholar 

  3. T. A. Henzinger, P. H. Ho, and H. Wong-Toi, “A user guide to HYTECH,” in TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems (E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen, eds.), no. 1019 in LNCS, pp. 41–71, Springer Verlag, 1995.

    Google Scholar 

  4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, “The tool KRONOS,” in Hybrid Systems III, Verification and Control, no. 1066 in LNCS, pp. 208–219, Springer Verlag, 1996.

    Google Scholar 

  5. O. Maler, A. Pnueli, and J. Sifakis, “On the synthesis of discrete controllers for timed systems,” in STACS 95: Theoretical Aspects of Computer Science (E. W. Mayr and C. Puech, eds.), no. 900 in LNCS, pp. 229–242, Munich: Springer Verlag, 1995.

    Google Scholar 

  6. H. Wong-Toi, “The synthesis of controllers for linear hybrid automata,” in Proceedings of the IEEE Conference on Decision and Control, (San Diego, CA), 1997.

    Google Scholar 

  7. A. Deshpande, Control of Hybrid Systems. PhD thesis, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, 1994.

    Google Scholar 

  8. J. Lygeros, Hierarchical, Hybrid Control of Large Scale Systems. PhD thesis, Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, 1996.

    Google Scholar 

  9. C. Tomlin, J. Lygeros, and S. Sastry, “Synthesizing controllers for nonlinear hybrid systems,” in Hybrid Systems: Computation and Control (T. Henzinger and S. Sastry, eds.), no. 1386 in LNCS, pp. 360–373, New York: Springer Verlag, 1998.

    Google Scholar 

  10. J. Lygeros, C. Tomlin, and S. Sastry, “On controller synthesis for nonlinear hybrid systems,” in Proceedings of the IEEE Conference on Decision and Control, (Tampa, FL), pp. 2101–2106, 1998.

    Google Scholar 

  11. C. J. Tomlin, Hybrid Control of Air Traffic Management Systems. PhD thesis, Department of Electrical Engineering, University of California, Berkeley, 1998.

    Google Scholar 

  12. M. Greenstreet and I. Mitchell, “Integrating projections,” in Hybrid Systems: Computation and Control (S. Sastry and T. Henzinger, eds.), no. 1386 in LNCS, pp. 159–174, Springer Verlag, 1998.

    Google Scholar 

  13. T. Dang and O. Maler, “Reachability analysis via face lifting,” in Hybrid Systems: Computation and Control (S. Sastry and T. Henzinger, eds.), no. 1386 in LNCS, pp. 96–109, Springer Verlag, 1998.

    Google Scholar 

  14. A. Chutinan and B. H. Krogh, “Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations,” in Hybrid Systems: Computation and Control (F. Vaandrager and J. H. van Schuppen, eds.), no. 1569 in LNCS, pp. 76–90, New York: Springer Verlag, 1999.

    Chapter  Google Scholar 

  15. A. B. Kurzhanski and P. Varaiya, “Ellipsoidal techniques for reachability analysis,” in Hybrid Systems: Computation and Control (B. Krogh and N. Lynch, eds.), LNCS (these proceedings), Springer Verlag, 2000.

    Google Scholar 

  16. O. Botchkarev and S. Tripakis, “Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations,” in Hybrid Systems: Computation and Control (B. Krogh and N. Lynch, eds.), LNCS (these proceedings), Springer Verlag, 2000.

    Google Scholar 

  17. C. Tomlin, J. Lygeros, and S. Sastry, “Computing controllers for nonlinear hybrid systems,” in Hybrid Systems: Computation and Control (F. Vaandrager and J. H. van Schuppen, eds.), no. 1569 in LNCS, pp. 238–255, New York: Springer Verlag, 1999.

    Chapter  Google Scholar 

  18. M. Bardi and I. Capuzzo-Dolcetta, Optimal Control and Viscosity Solutions of Hamilton-Jacobi-Bellman equations. Boston: Birkh auser, 1997.

    MATH  Google Scholar 

  19. S. Osher and J. A. Sethian, “Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations,” Journal of Computational Physics, vol. 79, pp. 12–49, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  20. J. A. Sethian, Level Set Methods: Evolving Interfaces in Geometry, Fluid Mechanics, Computer Vision, and Materials Science. New York: Cambridge University Press, 1996.

    MATH  Google Scholar 

  21. M. G. Crandall and P.-L. Lions, “Viscosity solutions of Hamilton-Jacobi equations,” Transactions of the American Mathematical Society, vol. 277, no. 1, pp. 1–42, 1983.

    Article  MATH  MathSciNet  Google Scholar 

  22. M. G. Crandall, L. C. Evans, and P.-L. Lions, “Some properties of viscosity solutions of Hamilton-Jacobi equations,” Transactions of the American Mathematical Society, vol. 282, no. 2, pp. 487–502, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  23. C. Tomlin, G. J. Pappas, and S. Sastry, “Conflict resolution for air traffic management: A case study in multi-agent hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, pp. 509–521, April 1998.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Scientific Computing and Computational Mathematics Program, Gates 2B, Stanford University, Stanford, CA, 94305

    Ian Mitchell

  2. Department of Aeronautics and Astronautics, 250 Durand, Stanford University, Stanford, CA, 94305

    Claire J. Tomlin

Authors
  1. Ian Mitchell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Claire J. Tomlin
    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

Mitchell, I., Tomlin, C.J. (2000). Level Set Methods for Computation in Hybrid 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_27

Download citation

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

  • 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