Skip to main content
SpringerLink
Log in

Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions

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

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

Included in the following conference series:

Abstract

Controllers for embedded dynamic systems require models with continuous behavior evolution and discrete configuration changes. These changes may cause fast continuous transients in state variables. Time scale and parameter abstractions simplify the analysis of these transients, causing discontinuities in the state variables. The two abstraction types have a very different impact on the analysis of system behavior. We have developed a systematic modeling approach that introduces formal semantics for behavior generation. This paper discusses the implementation of this scheme in a hybrid observer designed to track embedded system behavior. The resultant observer is based on piecewise simpler continuous models with mode transitions defined between them. Actual mode transitions in the system are provided by a digital controller and directly obtained from measuring physical variables.

Pieter J. Mosterman is supported by a grant from the DFG Schwerpunktprogramm KONDISK.

Gautam Biswas is on leave from the Department of Computer Science, Vanderbilt University, Nashville, TN.

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. Courcoubetis, T.A. Henzinger, and P.H. Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Lecture Notes in Computer Science, vol. 736, pp. 209–229. Springer-Verlag, 1993.

    Google Scholar 

  2. A. Balluchi, M. Ũi Benedetto, C. Pinello, C. Rossi, and A. Sangiovanni-Vincentelli. Hybrid control for automotive engine management: The cut-offcase. Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, pp. 13–32, Springer-Verlag, Berlin, 1998.

    Chapter  Google Scholar 

  3. A. Beydoun, L.Y. Wang, J. Sun, and S. Sivasankar. Hybrid control for automotive powertrain systems: A case study. Lecture Notes in Computer Science, Hybrid Systems: Computation and Control, pp. 33–48, Springer-Verlag, Berlin, 1998.

    Chapter  Google Scholar 

  4. K. Brammer and G. Siffling. Kalman-Bucy Filters. Artech House, Norwood, MA, 1989.

    MATH  Google Scholar 

  5. R.S. Bucy and J.M.F. Moura. Nonlinear Stochastic Problems. Reidel, Dordrecht, 1983.

    Google Scholar 

  6. W.L. Green. Aircraft Hydraulic Systems. John Wiley & Sons, Chichester, UK, 1985.

    Google Scholar 

  7. J. Guckenheimer and S. Johnson. Planar hybrid systems. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, eds., Hybrid Systems II, vol. 999, pp. 202–225. Lecture Notes in Computer Science, Springer-Verlag, 1995.

    Chapter  Google Scholar 

  8. R. Isermann. A review on detection and diagnosis illustrate that process faults can be detected when based on the estimation of unmeasurable process parameters and state variables. Automatica: IFAC Journal, 20(4):387–404, 1989.

    Article  Google Scholar 

  9. P. Kokotovic, H.K. Khalil, and J. O’Reilly. Singular Perturbation Methods in Control. Academic Press, London, UK, 1986.

    MATH  Google Scholar 

  10. D.G. Luenberger. Introduction to Dynamic Systems: Theory, Models, & Applications. John Wiley, New York, 1979.

    MATH  Google Scholar 

  11. H.E. Merritt. Hydraulic Control Systems. John Wiley, New York, 1967.

    Google Scholar 

  12. P.J. Mosterman. Hybrid Dynamic Systems: A hybrid bond graph modeling paradigm and its application in diagnosis. PhD dissertation, Vanderbilt University, 1997.

    Google Scholar 

  13. P.J. Mosterman and G. Biswas. Formal Specifications for Hybrid Dynamical Systems. IJCAI-97, pp. 568–573, Nagoya, Japan, Aug. 1997.

    Google Scholar 

  14. P.J. Mosterman and G. Biswas. Principles for Modeling, Verification, and Simulation of Hybrid Dynamic Systems. 5th Intl. Conf. on Hybrid Systems, pp. 21–27, Notre Dame, IN, Sep. 1997.

    Google Scholar 

  15. P.J. Mosterman and G. Biswas. Hybrid Automata for Modeling Discrete Transitions in Complex Dynamic Systems. IFAC Intl. Symp. on AI in Real-Time Control, Grand Canyon National Park, AZ, Oct. 1998.

    Google Scholar 

  16. P.J. Mosterman and G. Biswas. A theory of discontinuities in dynamic physical systems. J. of the Franklin Institute, 335B(3):401–439, Jan. 1998.

    Article  Google Scholar 

  17. P.J. Mosterman, G. Biswas, and J. Sztipanovits. A hybrid modeling and verification paradigm for embedded control systems. Control Engg. Practice, 6:511–521, 1998.

    Article  Google Scholar 

  18. H. Schneider and P.M. Frank. Observer-based supervision and fault detection in robots using nonlinear and fuzzy logic residual evaluation. IEEE Trans. on Control Systems Technology, 4(3):274–282, May 1996.

    Article  Google Scholar 

  19. J. Seebeck. Modellierung der Redundanzverwaltung von Flugzeugen am Beispiel des ATD durch Petrinetze und Umsetzung der Schaltlogik in C-Code zur Simulationssteuerung. Diplomarbeit, TU Hamburg-Harburg, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Robotics and System Dynamics DLR Oberpfaffenhofen, P.O. Box 1116, D-82230, Wessling, Germany

    Pieter J. Mosterman

  2. Knowledge Systems Laboratory, Department of Computer Science, Stanford University, Stanford, CA, 94305, USA

    Gautam Biswas

Authors
  1. Pieter J. Mosterman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gautam Biswas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computing Science Institute, University of Nijmegen, P.O. Box 9010, 6500, GL, Nijmegen, The Netherlands

    Frits W. Vaandrager

  2. CWI, P.O. Box 94079, 1090, GB, Amsterdam, The Netherlands

    Jan H. van Schuppen

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mosterman, P.J., Biswas, G. (1999). Building Hybrid Observers for Complex Dynamic Systems Using Model Abstractions. In: Vaandrager, F.W., van Schuppen, J.H. (eds) Hybrid Systems: Computation and Control. HSCC 1999. Lecture Notes in Computer Science, vol 1569. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48983-5_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-48983-5_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48983-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation