Skip to main content
SpringerLink
Log in

Diagnosis and reconfiguration of quantised systems

  • Chapter
Diagnosis and Fault-Tolerant Control

  • 326 Accesses

Abstract

Quantised systems have a discrete-event behaviour because the signals of a continuous-variable system can only be accessed through quantisers that produce symbolic state or event sequences. This chapter shows how quantised systems can be represented by stochastic automata and how state observation, diagnostic and control problems can be solved. First a stochastic automaton is set up so as to represent the discrete-event behaviour of the quantised system completely. Second the given analysis and design problems are solved for the automaton by means of the methods explained in Chapter 8.

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 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Bibliographical notes

  1. J. Lunze. Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30 (3): 417–431, 1994.

    Article  Google Scholar 

  2. J. Lunze. On the Markov property of quantized state measurement sequences Automatica34(11):1439–1444, 1998

    Google Scholar 

  3. J. Lunze, B. Nixdorf and J. Schröder. Deterministic discrete-event representations of continuous-variable systems. Automatica, 35: 101–109, 1999.

    Article  Google Scholar 

  4. M. J. H. Pijpers, H. Preisig and M. Weiss. A discrete modelling procedure for continuous processes based on state discretization. Proc. 2nd MATHMOD Conf. pp. 189–194, Vienna 1997.

    Google Scholar 

  5. J. Raisch. Nondeterministic automata as approximations for continuous systems–An approach with an adjustable degree of accuracy. IMACS Symposium on Mathematical Modelling, pp. 195–202, 1997.

    Google Scholar 

  6. Stursberg, S. Kowalewski and S. Engell. Generating timed discrete models of continuous systems. Proc. 2nd MATHMOD Conf, pp. 203–209, Vienna 1997.

    Google Scholar 

  7. B. H. Krogh and A. Chutinan. Computing polyhedral approximations to flow pipes for dynamic systems. IEEE Conf. on Decision and Control, paper TM-01, 1998.

    Google Scholar 

  8. J. Lunze, B. Nixdorf and J. Schröder. Deterministic discrete-event representations of continuous-variable systems. Automatica, 35: 101–109, 1999.

    Article  Google Scholar 

  9. J. Raisch. Nondeterministic automata as approximations for continuous systems–An approach with an adjustable degree of accuracy. IMACS Symposium on Mathematical Modelling, pp. 195–202, 1997.

    Google Scholar 

  10. Q. Wang and F. E. Cellier. Time windows: Automated abstraction of continuous-time models into discrete-event models in high autonomy systems Int. J. General Systems19:241–262, 1991

    Google Scholar 

  11. C. Luh and B. Zeigler. Abstracting event-based control models for high autonomy systems. IEEE Trans. SMC-23: 42–54, 1993.

    Google Scholar 

  12. J. Lunze. Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30 (3): 417–431, 1994.

    Article  Google Scholar 

  13. F. Lin. Diagnosability of discrete event systems and its applications Discrete Event Dynamic Systems: Theory and Applications4:197–212, 1994

    Google Scholar 

  14. M. Sampath, R. Sengupta, S. Lafurtune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Trans, CST-4(2), 1996.

    Google Scholar 

  15. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans, AC-40: 1555–1575, 1995.

    Google Scholar 

  16. J. Lunze and J. Schröder. State observation and diagnosis of discrete-event systems described by stochastic automata. Discrete Event Dynamic Systems: Theory and Applications, 11 (4), 2001.

    Google Scholar 

  17. A. S. Ozveren and A. Willsky. Observability of discrete event dynamic systems IEEE Trans.AC-35:797–806, 1990

    Google Scholar 

  18. J. Lunze. A timed discrete-event abstraction of continuous-variable systems Intern. J. Control72:1147–1164, 1999

    Google Scholar 

  19. J. Lunze and J. Schröder. Process diagnosis based on a discrete-event description Automatisierungstechnik47(8):358–365, 1999

    Google Scholar 

  20. G. Lichtenberg, J. Lunze, R. Scheuring and J. Schröder. Prozeßdiagaose mittels qualitativer Modelle am Beispiel eines Wasserstoffverdichters Automatisierungstechnik47(3):101–109, 1999

    Google Scholar 

  21. D. Förstner and J. Lunze. Qualitative modeling of a power stage for diagnosis. 13th International Workshop on Qualitative Reasoning, Loch Awe 1999.

    Google Scholar 

  22. D. Förstner and J. Lunze. Qualitative model-based fault detection of a fuel injection system. IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, Budapest 2002, pp. 88–93.

    Google Scholar 

  23. K. J. Aström, P. Albertos, M. Blanke, A. Isidori, R. Sanz and W. Schaufelberger. Control of Complex Systems. Springer Verlag London, 2001.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Section of Automation at Ørstedt · DTU, Technical University of Denmark, 2800, Lyngby, Denmark

    Prof. Dr. Mogens Blanke

  2. Service d’Automatique et d’Analyse des Systèmes, Université Libre de Bruxelles, CP 165/55, 50 Ave F.D. Roosevelt, 1050, Bruxelles, Belgium

    Prof. Dr. Michel Kinnaert

  3. Lehrstuhl für Automatisierungstechnik und Prozessinformatik, Ruhr-Universität Bochum, 44780, Bochum, Germany

    Prof. Dr.-Ing. Jan Lunze

  4. Ecole Polytechnique Universitaire de Lille, Université Lille I, 59655, Villeneuve d’Ascq cedex, France

    Prof. Dr. Marcel Staroswiecki

Authors
  1. Prof. Dr. Mogens Blanke
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Prof. Dr. Michel Kinnaert
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Prof. Dr.-Ing. Jan Lunze
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Prof. Dr. Marcel Staroswiecki
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Blanke, M., Kinnaert, M., Lunze, J., Staroswiecki, M. (2003). Diagnosis and reconfiguration of quantised systems. In: Diagnosis and Fault-Tolerant Control. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05344-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-05344-7_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-05346-1

  • Online ISBN: 978-3-662-05344-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation