Abstract
Quantised systems are continuous-variable systems whose sensor and actuator signals can only be accessed through quantisers that produce symbolic state or event sequences. Hence, quantised systems have a discrete-event behaviour. 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 that have been developed in Chapter 8.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
9.9 Bibliographical notes
K. J. Aström, P. Albertos, M. Blanke, A. Isidori, R. Sanz and W. Schaufelberger. Control of Complex Systems. Springer Verlag London, 2001.
D. Förstner, M. Jung and J. Lunze. A discrete-event model of asynchronous quantised systems. Automatica, 38: 1277–1286, 2002.
D. Förstner and J. Lunze. Qualitative modeling of a power stage for diagnosis. 13th International Workshop on Qualitative Reasoning, Loch Awe 1999.
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, pp. 88–93, Budapest 2002.
D. Förstner and J. Lunze. Discrete-event models of quantised systems for diagnosis. Intern. J. Control, 74: 690–700, 2001.
D. Förstner, R. Weber and J. Lunze. Diagnose eines Diesel-Einspritzsystems mit ereignisdiskreten Modellen, Automatisierungstechnische Praxis 45: 73–79, 2003.
M. Kokar. On consistent symbolic representations of general dynamic systems. IEEE Trans., AC-40: 1231–1242, 1995.
S. Kowalewski, S. Engell, J. Preißig and O. Stursberg. Verification of logic controllers for continuous plants using timed condition/event-system models. Automatica, 35: 505–518, 1999.
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.
G. Lichtenberg, J. Lunze, R. Scheuring and J. Schröder. Prozeßdiagnose mittels qualitativer Modelle am Beispiel eines Wasserstoffverdichters. Automatisierungstechnik, 47: 101–109, 1999.
G. Lichtenberg and A. Steele. An approach to fault diagnosis using parallel qualitative observers. Workshop on Discrete Event Systems, pp. 290–295, 1996.
F. Lin. Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications, 4: 197–212, 1994.
C. Luh and B. Zeigler. Abstracting event-based control models for high autonomy systems. IEEE Trans., SMC-23: 42–54, 1993.
J. Lunze. Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica, 30: 417–431, 1994.
J. Lunze. Stabilisation of nonlinear systems by qualitative feedback controllers. Intern. J. Control, 62: 109–128, 1995.
J. Lunze. On the Markov property of quantized state measurement sequences. Automatica, 34: 1439–1444, 1998.
J. Lunze. A timed discrete-event abstraction of continuous-variable systems. Intern. J. Control, 72: 1147–1164, 1999.
J. Lunze. Diagnosis of quantised systems based on a timed discrete-event model. IEEE Trans., SMC-30: 322–335, 2000.
J. Lunze. The state partitioning problem of quantized systems, in Blondel, V. D.; Megretski, A.: Unsolved Problems in Mathematical Systems and Control Theory, Princeton University Press, pp. 134–139, Princeton 2004.
J. Lunze, B. Nixdorf and J. Schröder. Deterministic discrete-event representations of continuous-variable systems. Automatica, 35: 101–109, 1999.
J. Lunze and J. Schröder. Process diagnosis based on a discrete-event description. Automatisierungstechnik, 47: 358–365, 1999.
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, 2001.
J. Lunze and J. Schröder. Connections between qualitative dynamical models and the Frobenius-Perron operator, Automatisierungstechnik, 51: 471–479, 2003.
J. Neidig, C. Falkenberg, J. Lunze and M. Fritz. Qualitative diagnosis of an automative air path. atp international, 3: 37–42, 2005.
A. S. Özveren and A. Willsky. Observability of discrete event dynamic systems. IEEE Trans., AC-35: 797–806, 1990.
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.
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.
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans., AC-40: 1555–1575, 1995.
M. Sampath, R. Sengupta, S. Lafurtune, K. Sinnamohideen and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Trans., CST-4, 1996.
J. Schröder, F. Schiller and J. Lunze. Diagnosis of transient faults in quantised systems. IFAC Symposium on Fault Detection Supervision and Safety for Technical Processes, Budapest, 2000.
O. Stursberg, S. Kowalewski and S. Engell. Generating timed discrete models of continuous systems. Proc. 2nd MATHMOD Conf., pp. 203–209, Vienna 1997.
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 Systems, 19: 241–262, 1991.
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2006). Diagnosis and reconfiguration of quantised systems. In: Diagnosis and Fault-Tolerant Control. Springer, Berlin, Heidelberg . https://doi.org/10.1007/978-3-540-35653-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-35653-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35652-3
Online ISBN: 978-3-540-35653-0
eBook Packages: Chemistry and Materials ScienceChemistry and Material Science (R0)