Skip to main content
SpringerLink
Log in

Control Synthesis of Hybrid Systems Based on Predicate Invariance

  • Conference paper
  • First Online:
Hybrid Systems V (HS 1997)

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

Included in the following conference series:

Abstract

A hybrid system is modeled by a hybrid automaton and its control specification is given by a predicate defined on the hybrid state space of the system. The problem is to find a hybrid state feedback policy that enforces the closed-loop system satisfying the specification. In this paper, we present a control synthesis method for the problem based on predicate invariance.

This research was supported by Alexander von Humboldt Foundation.

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, C. Coucoubetis, N. Halbwachs, et. al, The algorithmic analysis of hybrid systems, Theoretical Computer Science, 138:3–34, 1995.

    Article  MathSciNet  Google Scholar 

  2. M. S. Branicky and S.K. Mitter, Algorithms for optimal hybrid control, Proc. IEEE Conf. on Decision and Control, pp. 2661–2666, New Orleans, Dec. 1995.

    Google Scholar 

  3. M. S. Branicky, Stability of switched and hybrid systems, Proc. IEEE Conf. on Decision and Control, pp.3498–3503, Lake Buena Vista, Dec. 1994.

    Google Scholar 

  4. J.E.R. Cury, B.H. Krogh, and T. Niinomi, Synthesis of supervisory controllers for hybrid systems based on approximating automata, IEEE Trans. on Automatic Control, to appear in the Special Issue on Hybrid Systems, 1997.

    Google Scholar 

  5. H.-M. Hanisch and S. Kowalewski, Diskontinuierlicher Misch-und Trennprozess, Fallbeispiel fuer die Modellierung ereignisdiskreter Systeme und den systematischen Entwurf von Steuerungen (Benchmark process of GMA Working Group 1.8), 1994.

    Google Scholar 

  6. T. A. Henzinger, P.-H. Ho and Wong-Toi Howard, A user guide to HYTECH, In E. Brinksma, et. al. editors, Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, pages 41–71, Springer-Verlag, 1995.

    Chapter  Google Scholar 

  7. Wong-Toi, Howard, Analysis of slope-parametric rectangular automata, Fifth Int. Workshop on Hybrid Systems, Sept. 11-13, 1997, Notre Dame, USA: Final program and abstracts, pp. 198–204.

    Google Scholar 

  8. S. Pettersson, Modelling, control and stability analysis of hybrid systems, Technical report No. 247L, Control Eng. Lab, Chalmers University of Technology, Gteborg, Sweden, 1996.

    Google Scholar 

  9. J. Raisch and S. D. OYoung, Discrete approximation and supervisory control of continuous systems, IEEE Trans. on Automatic Control, to appear in the Special Issue on Hybrid Systems, 1997.

    Google Scholar 

  10. P.J. Ramadge and W. M. Wonham, Modular feedback logic for discrete event systems, SIAM J. Control and Optimization, Vol. 25, No. 5, pp. 1202–1218, 1987.

    Article  MathSciNet  Google Scholar 

  11. J. A. Stiver, P. J. Antsaklis and M. D. Lemmon, Hybrid control system design based on natural invariants, Proc. of the 34th Conf. on Decision and Control, New Orleans, LA, Dec. 1995, pp. 1455–1460.

    Google Scholar 

  12. M. Tittus and B. Egardt, Control-law synthesis for linear hybrid systems, Proc. of the 33rd Conf. on Decision and Control, pp.961–966, Orlando, FL, USA, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Automation Technology, University of Magdeburg, PO Box 4120, D-39016, Magdeburg, Germany

    Haoxun Chen & Hans-Michael Hanisch

  2. Systems Engineering Institute, Xi’an Jiaotong University, Xi’an, 710049, China

    Haoxun Chen

Authors
  1. Haoxun Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Hans-Michael Hanisch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 46556, USA

    Panos Antsaklis  & Michael Lemmon  & 

  2. Hynomics Corporation, 10632 NE 37th Circle, Building 23, Kirkland, WA, 98033, USA

    Wolf Kohn

  3. Department of Mathematics, Cornell University, 217, White Hall, Ithaca, NY, 14853, USA

    Anil Nerode

  4. Electronic Research Laboratory, University of California at Berkeley, 253 Cory Hall, Berkeley, CA, 94720, USA

    Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chen, H., Hanisch, HM. (1999). Control Synthesis of Hybrid Systems Based on Predicate Invariance. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems V. HS 1997. Lecture Notes in Computer Science, vol 1567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49163-5_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-49163-5_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65643-2

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation