Skip to main content
SpringerLink
Log in

Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata

  • Conference paper
Hybrid Systems: Computation and Control (HSCC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3927))

Included in the following conference series:

Abstract

This paper proposes an event-driven model predictive control scheme with guaranteed closed-loop convergence properties for the class of integral continuous-time hybrid automata (icHA). After converting icHA to a corresponding event-driven representation that allows one to compute the model predictive control action by mixed integer programming, sufficient conditions ensuring event-asymptotic and time-asymptotic convergence are proven. The paper also shows how the same modeling methodology can be employed to efficiently solve problems of verification of safety properties.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, pp. 278–292 (1996)

    Google Scholar 

  2. Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.: Dynamical properties of hybrid automata. IEEE Tr. Automatic Control 48, 2–17 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  3. Gokbayrak, K., Cassandras, C.: Hybrid controllers for hierarchically decomposed systems. In: Krogh, B., Lynch, N. (eds.) Hybrid Systems: Computation and Control, pp. 117–129. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Shaikh, M.S., Caines, P.E.: On the optimal control of hybrid systems: Optimization of trajectories, switching times, and location schedules. In: Hybrid Systems: Computation and Control, pp. 466–481. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Xu, X., Antsaklis, P.J.: Results and perspectives on computational methods for optimal control of switched systems. In: Hybrid Systems: Computation and Control, pp. 540–555. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35(3), 407–427 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  7. Bemporad, A., Di Cairano, S., Júlvez, J.: Event-driven optimal control of integral continuous-time hybrid automata. In: Proc. 44th IEEE Conf. on Decision and Control, Seville, Spain, pp. 1409–1414 (2005)

    Google Scholar 

  8. Maciejowski, J.: Predictive control with constraints. Prentice-Hall, Englewood Cliffs (2002)

    MATH  Google Scholar 

  9. Qin, S., Badgwell, T.: A survey of industrial model predictive control technology. Control Engineering Practice 11, 733–764 (2003)

    Article  Google Scholar 

  10. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: HyTech: A model checker for hybrid systems. Int. J. on Software Tools for Technology Transfer 1(1–2), 110–122 (1997)

    Article  MATH  Google Scholar 

  11. Torrisi, F.D., Bemporad, A.: HYSDEL — A tool for generating computational hybrid models. IEEE Tr. Contr. Systems Technology 12(2), 235–249 (2004)

    Article  Google Scholar 

  12. Bemporad, A.: Efficient conversion of mixed logical dynamical systems into equivalent piecewise affine form. IEEE Tr. Automatic Control 49(5), 832–838 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  13. Lazar, M., Heemels, W., Weiland, S., Bemporad, A.: Stability of hybrid model predictive control. In: Proc. of Int. Workshop on Assessment and Future Directions of NMPC, Germany (2005)

    Google Scholar 

  14. Lazar, M., Heemels, W., Weiland, S., Bemporad, A.: Stability of hybrid model predictive control. In: Proc. 43th IEEE Conf. on Decision and Control, Paradise Island, Bahamas, pp. 4595–4560 (2004)

    Google Scholar 

  15. Ferrari-Trecate, G., Cuzzola, F.A., Morari, M.: Lagrange stability and performance analysis of discrete-time piecewise affine systems with logic states. Int. J. Control 76(16), 1585–1598 (2003)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. Ingegneria dell’Informazione, Universitá di Siena, Italy

    Alberto Bemporad & Stefano Di Cairano

  2. Dep. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, Spain

    Jorge Júlvez

Authors
  1. Alberto Bemporad
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefano Di Cairano
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jorge Júlvez
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Center for Control, Dynamical Systems and Computation, University of California, 93106, Santa Barbara, CA, USA

    João P. Hespanha

  2. SRI International, 333 Ravenswood Ave, Menlo Park, CA, USA

    Ashish Tiwari

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bemporad, A., Di Cairano, S., Júlvez, J. (2006). Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata. In: Hespanha, J.P., Tiwari, A. (eds) Hybrid Systems: Computation and Control. HSCC 2006. Lecture Notes in Computer Science, vol 3927. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11730637_10

Download citation

  • DOI: https://doi.org/10.1007/11730637_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-33170-4

  • Online ISBN: 978-3-540-33171-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation