Advertisement

A class of rectangular hybrid systems with computable reach set

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

Abstract

A class of rectangular hybrid systems is presented whose reach set is computable. The class is specified in terms of a controllability condition. That condition can be verified.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Alur, L. Fix and T.A. Henzinger. A Determinizable Class of Timed Automata. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 1–13.Google Scholar
  2. 2.
    A. Olivero, J. Sifakis and S. Yovine. Using Abstractions for the Verification of Linear Hybrid Systems. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 81–94.Google Scholar
  3. 3.
    A. Puri and P. Varaiya. Decidability of Hybrid Systems with Rectangular Differential Inclusions. Proc. 6th Workshop Computer-Aided Verification 1994, LNCS 818, Springer-Verlag, 1994. pp. 95–104.Google Scholar
  4. 4.
    T.A. Henzinger, P. Kopka, A. Puri and P. Varaiya. What's decidable about hybrid automata?. STOCS, 1995.Google Scholar
  5. 5.
    A. Puri, V. Borkar and P. Varaiya. ε-approximation of differential inclusions. Hybrid Systems III. verification and control, LNCS 1066, Springer-Verlag, 1996.Google Scholar
  6. 6.
    A. Deshpande and P. Varaiya. Viable Control of Hybrid Systems. Hybrid Systems II, Springer-Verlag, 1995. pp. 128–147.Google Scholar
  7. 7.
    M. Kourjanski and P. Varaiya. Stability of Hybrid Systems. Hybrid Systems III. verification and control, LNCS 1066, Springer-Verlag, 1996. pp. 413–423.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Mikhail Kourjanski
    • 1
  • Pravin Varaiya
    • 1
  1. 1.Department of Electrical Engineering and Computer ScienceUniversity of CaliforniaBerkeley

Personalised recommendations