Skip to main content
SpringerLink
Log in

Design of Observers for Hybrid Systems

  • Conference paper
  • First Online:
Hybrid Systems: Computation and Control (HSCC 2002)

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

Included in the following conference series:

Abstract

A methodology for the design of dynamical observers for hybrid plants is proposed. The hybrid observer consists of two parts: a location observer and a continuous observer. The former identifies the current location of the hybrid plant, while the latter produces an estimate of the evolution of the continuous state of the hybrid plant. A synthesis procedure is offered when a set of properties on the hybrid plant is satisfied. The synthesized hybrid observer identifies the current location of the plant after a finite number of steps and converges exponentially to the continuous state.

The work has been conducted with partial support of PARADES, a Cadence, Magneti-Marelli and ST-microelectronics E.E.I.G, by the European Community Projects IST-2001-33520 CC (Control and Computation) and IST-2001-32460 HYBRIDGE, and by CNR PF-MADESSII SP3.1.2.

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. G. A. Ackerson and K. S. Fu. On state estimation in switching environments. IEEE Trans. on Automatic Control, 15(1):10–17, 1970.

    Article  Google Scholar 

  2. A. Alessandri and P. Coletta. Design of luenberger observers for a class of hybrid linear systems. In Hybrid Systems: Computation and Control, volume 2034 of LNCS, pages 7–18. Springer-Verlag, Berlin Heidelberg, 2001.

    Chapter  Google Scholar 

  3. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, C. Pinello, and A. L. Sangiovanni-Vincentelli. Automotive engine control and hybrid systems: Challenges and opportunities. Proceedings of the IEEE, 88, “Special Issue on Hybrid Systems” (invited paper)(7):888–912, July 2000.

    Google Scholar 

  4. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. L. Sangiovanni Vincentelli. A hybrid observer for the driveline dynamics. In Proc. of the European Control Conference 2001, pages 618–623, Porto, P, 2001.

    Google Scholar 

  5. M. Branicky. Multiple lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Trans. on Aut. Contr., 43(4):475–482, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  6. P. E. Caines, R. Greiner, and S. Wang. Dynamical logic observers for finite automata. In Proceedings of 27th Conference on Decision and Control, pages 226–233, Austin, TX, 1988.

    Google Scholar 

  7. P. M. Frank. Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy-a survey and some new results. Automatica, 26(3):459–474, 1990.

    Article  MATH  Google Scholar 

  8. Y. Liu. Switching observer design for uncertain nonlinear systems. IEEE Trans. on Automatic Control, 42(1):1699–1703, 1997.

    Article  MATH  Google Scholar 

  9. C. Van Loan. The sensitivity of the matrix exponential. SIAM Journal of Number Analysis, 14(6):971–981, December 1977.

    Article  MATH  Google Scholar 

  10. D.G. Luenberger. An introduction to observers. IEEE Transactions on Automatic Control, 16(6):596–602, Dec 1971.

    Article  MathSciNet  Google Scholar 

  11. M.-A. Massoumnia, G.C., Verghese, and A.S. Willsky. Failure detection and identification. IEEE Transactions on Automatic Control, 34(3):316–21, March 1989.

    Article  MATH  MathSciNet  Google Scholar 

  12. C. M. Özveren and A. S. Willsky. Observability of discrete event dynamic systems. IEEE Trans. on Automatic Control, 35:797–806, 1990.

    Article  MATH  Google Scholar 

  13. C. M. Özveren, A. S. Willsky, and P. J. Antsaklis. Stability and stabilizability of discrete event dynamic systems. Journal of the Association for Computing Machinery, 38:730–752, 1991.

    MATH  MathSciNet  Google Scholar 

  14. P. J. Ramadge. Observability of discrete event-systems. In Proceedings of 25th Conference on Decision and Control, pages 1108–1112, Athens, Greece, 1986.

    Google Scholar 

  15. M. Vidyasagar. Nonlinear Systems Analysis. Prentice-Hall, Inc, Englewood Cliffs, N.J., 1978.

    Google Scholar 

  16. H. Ye, A. N. Michel, and L. Hou. Stability theory for hybrid dynamical systems for switched and hybrid systems. IEEE Trans. on Automatic Control, 43(4):461–474, 1998.

    Article  MATH  MathSciNet  Google Scholar 

  17. Q. Zhang. Hybrid filtering for linear systems with non-baussian disturbances. IEEE Trans. on Automatic Control, 45(1):50–61, 1999.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. PARADES, Via di S. Pantaleo, 66, 00186, Roma, Italy

    Andrea Balluchi & Alberto L. Sangiovanni-Vincentelli

  2. DIS, Università di Roma “La Sapienza”, Via Eudossiana 18, 00184, Roma, Italy

    Luca Benvenuti

  3. DIE, Università dell’Aquila, Poggio di Roio, 67040, L’Aquila, Italy

    Maria D. Di Benedetto

  4. EECS, University of California at Berkeley, 94720, CA, USA

    Alberto L. Sangiovanni-Vincentelli

Authors
  1. Andrea Balluchi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luca Benvenuti
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria D. Di Benedetto
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alberto L. Sangiovanni-Vincentelli
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Aeronautics and Astronautics, Stanford University, 250 Durand Building MC4035, 94305-4035, Stanford, CA, USA

    Claire J. Tomlin

  2. Department of Computer Science, University of British Columbia, 201-2366 Main Mall, V6T1Z4, Vancouver BC, Canada

    Mark R. Greenstreet

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Balluchi, A., Benvenuti, L., Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (2002). Design of Observers for Hybrid Systems. In: Tomlin, C.J., Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control. HSCC 2002. Lecture Notes in Computer Science, vol 2289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45873-5_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-45873-5_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43321-7

  • Online ISBN: 978-3-540-45873-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation