Skip to main content
SpringerLink
Log in

Design of controllers for linear hybrid systems

  • Conference paper
  • First Online:
Concurrency and Parallelism, Programming, Networking, and Security (ASIAN 1996)

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

Included in the following conference series:

Abstract

In this paper, we describe an approach for deriving control laws for linear hybrid systems given the phase transition system and the global invariance. After illustrating the method, we show that the approach can be applied for purposes of verification, viability and discuss extensions to nonlinear hybrid systems.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R.Alur, C.Courcoubetis, N. Halbwachs, T.A.Henzinger and P.-H.Ho, X. Nocollin, A. Olivero, J. Sifakis, and S. Yovine, The algorithmic analysis of hybrid systems, TCS, 138, pp.3–34, 1995

    Article  Google Scholar 

  2. P. Antsaklis, W. Kohn, A. Nerode and S. Shastry (Eds.), Hybrid Systems, LNCS, 999, Springer-Verlag, 1995.

    Google Scholar 

  3. E.Asarin, O.Maler, A.Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, in [2].

    Google Scholar 

  4. A.Deshpande and P.Varaiya, Viability in Hybrid Systems, in [2], pp. 128–147.

    Google Scholar 

  5. R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischel (Eds.), Hybrid Systems, LNCS, 736, 1993.

    Google Scholar 

  6. N.Halbwachs, P.Raymond, Y.-E.Proy. Verifying linear hybrid systems by means of convex approximations, Proc. SAS 94, LNCS 864, Sept. 1994.

    Google Scholar 

  7. T.A.Henzinger, W.Kopke, A.Puri, P.Varaiya, What's decidable about Hybrid automata, Proc. 27th ACM STOC 1995.

    Google Scholar 

  8. P.-H.Ho, The Algorithmic Analysis of Hybrid Systems, Ph.D Thesis, Cornell University, 1995.

    Google Scholar 

  9. J.L.Lassez and K.McAloon, Independence of Negative Constraints, TAPSOFT 1989.

    Google Scholar 

  10. M.Tittus and B.Egardt, Controllability and Control-law synthesis for linear hybrid systems, Lecture Notes in Control and Information Sciences, Vol 199, Springer-Verlag, 1994.

    Google Scholar 

  11. M.Tittus and B.Egardt,Hybrid Objects, in [AKNS95], pp. 493–508.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Indian Institute of Technology, 208 016, Kanpur, India

    Rupak Majumdar

  2. Computer Science Group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400 00, Bombay, India

    R. K. Shyamasundar

Authors
  1. Rupak Majumdar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. K. Shyamasundar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to R. K. Shyamasundar .

Editor information

Joxan Jaffar Roland H. C. Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Majumdar, R., Shyamasundar, R.K. (1996). Design of controllers for linear hybrid systems. In: Jaffar, J., Yap, R.H.C. (eds) Concurrency and Parallelism, Programming, Networking, and Security. ASIAN 1996. Lecture Notes in Computer Science, vol 1179. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027803

Download citation

  • DOI: https://doi.org/10.1007/BFb0027803

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49626-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation