Skip to main content
SpringerLink
Log in

Design, Simulation, and Implementation of Hybrid Systems

  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1999 (ICATPN 1999)

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

Included in the following conference series:

Abstract

This talk will present two detailed examples of hybrid systems, covering design, simulation and implementation. The first concerns an Automated Highway System. The second application deals with a collection of autonomous unmanned aircraft. The paper provides a background about hybrid systems.

Research supported by National Science Foundation and Office of Naval Research.

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. P. Varaiya, “Smart cars on smart roads: Problems of control,” IEEE Transactions on Automatic Control, vol. 38, pp. 195–207, February 1993.

    Article  MathSciNet  Google Scholar 

  2. R. Alur and D. L. Dill, “Automata for modeling real-time systems,” in Proceedings 17th ICALP: Automata, languages and programming, vol. 443, Lecture Notes in Computer Sciences, Springer, 1990.

    Chapter  Google Scholar 

  3. T. Henzinger, Z. Manna, and A. Pnueli, “What good are digital clocks?,” in ICALP 92: Automata, Languages, and Programming (W. Kuich, ed.), Lecture Notes in Computer Science 623, pp. 545–558, Springer-Verlag, 1992.

    Google Scholar 

  4. A. Gollu, A. Puri, and P. Varaiya, “Discretization of timed automata,” in Proceedings of the 33rd Conference on Decision and Control, (Lake Buena Vista, FL), December 14-16 1994.

    Google Scholar 

  5. A. Puri and P. Varaiya, “Decidability of hybrid systems with rectangular inclusions,” in Computer Aided Verification, CAV’ 94 (D. Dill, ed.), vol. LNCS 818, pp. 95–104, Springer, 1994.

    Google Scholar 

  6. T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” in Proc. 27th Symposium on the Theory of Computing, pp. 373–382, 1995.

    Google Scholar 

  7. A. Puri and P. Varaiya, “Driving safely in smart cars,” in Proceedings of the American Control Conference, pp. 3597–3599, June 1995.

    Google Scholar 

  8. A. Puri and P. Varaiya, “Verification of hybrid systems using abstraction,” in Hybrid Systems II, pp. 359–369, LNCS 999, Springer, 1995.

    Google Scholar 

  9. A. Puri and P. Varaiya, “∈-approximation of differential inclusions,” Hybrid Systems III: Verification and Control, vol. LNCS 1066, pp. 362–376, 1996.

    Google Scholar 

  10. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, “The tool KRONOS,” Hybrid Systems III: Verification and Control, vol. LNCS 1066, pp. 208–219, 1996.

    Google Scholar 

  11. T. Henzinger and P.-H. Ho, “HyTech: The Cornell Hybrid Technology Tool,” in Hybrid Systems II, pp. 265–294, LNCS 999, Springer, 1995.

    Google Scholar 

  12. A. Deshpande, A. Gollu, and L. Semenzato, “The SHIFT programming language and run-time system for dynamic networks of hybrid systems.” IEEE Transactions on Automatic Control, vol. 43, pp. 584–587, February 1998.

    Article  MATH  MathSciNet  Google Scholar 

  13. See: http://www-shift.eecs.berkeley.edu/downloads.html for the NT version and http://www.path.berkeley.edu/shift for the UNIX version, tutorials and examples.

  14. See http://www.teja.com

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering & Computer Science, University of California Berkeley, 94720, CA, USA

    Pravin Varaiya

Authors
  1. Pravin Varaiya
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, C.so Svizzera 185, I-10149, Torino, Italy

    Susanna Donatelli

  2. LIACS, Leiden University , 2300 RA, Leiden, The Netherlands

    Jetty Kleijn

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Varaiya, P. (1999). Design, Simulation, and Implementation of Hybrid Systems. In: Donatelli, S., Kleijn, J. (eds) Application and Theory of Petri Nets 1999. ICATPN 1999. Lecture Notes in Computer Science, vol 1639. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48745-X_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-48745-X_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66132-0

  • Online ISBN: 978-3-540-48745-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation