Advertisement

Design, Simulation, and Implementation of Hybrid Systems

  • Pravin Varaiya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1639)

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.

Keywords

Hybrid System Continuous State Discrete State Discrete Transition Hybrid Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    P. Varaiya, “Smart cars on smart roads: Problems of control,” IEEE Transactions on Automatic Control, vol. 38, pp. 195–207, February 1993.CrossRefMathSciNetGoogle Scholar
  2. 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.CrossRefGoogle Scholar
  3. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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.zbMATHCrossRefMathSciNetGoogle Scholar
  13. 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. 14.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Pravin Varaiya
    • 1
  1. 1.Department of Electrical Engineering & Computer ScienceUniversity of California BerkeleyUSA

Personalised recommendations