Abstract
This chapter concerns dynamical systems whose discrete changes of the input, state or output are described by a stochastic automaton. Based on the solution to the state observation problem developed in Section 8.3, the fault diagnostic problem will be solved in Section 8.4 by “observing” the unknown state of the fault model. Section 8.5 shows how a supervisor can be reconfigured after a fault has been detected.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliographical notes
P. Ramadge and W. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization, 25: 206–230, 1987.
F. Lin and W. Wonham. On observability of discrete-event systems.Information Sciences44:173–198, 1988
C. Cao, F. Lin and Z. Lin. Why event observation: Observability revisited. Discrete Event Dynamic Systems: Theory and Applications, 7: 127–149, 1997.
J. Carlyle. State-calculable stochastic sequential machines, equivalences and events. Switching circuit theory and logic IEEE Conf. Rec. Switch. Circuit Th. and Logic Designpp. 865–870, 1965
R. Bukharaev. Theorie der stochastischen Automaten. B. G. Teubner, Stuttgart 1995.
H. Starke. Abstrakte Automaten. Deutscher Verlag der Wissenschaften, Berlin, 1969.
A. S. Ozveren and A. Willsky. Observability of discrete event dynamic systems IEEE Trans.AC-35:797–806, 1990
A. Benveniste, A. Aghasaryan, E. Fabre, R. Boubour and C. Jard. Fault detection and diagnosis in distributed systems: An approach by partially stochastic petri nets. Discrete Event Dynamic Systems: Theory and Applications, 8: 203–231, 1998.
L. Portinale. Behavioral petri nets: A model for diagnostic knowledge representation and reasoning. IEEE Trans, SMC-27: 184–195, 1997.
V. Srinivasan and M. Jafari. Fault detection/monitoring using timed petri nets IEEE Trans.SMC-23, 1993
F. Lin. Diagnosability of discrete event systems and its applications Discrete Event Dynamic Systems: Theory and Applications4:197–212, 1994
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.
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans, AC-40: 1555–1575, 1995.
F. Lin. Diagnosability of discrete event systems and its applications Discrete Event Dynamic Systems: Theory and Applications4:197–212, 1994
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen and D. Teneketzis. Diagnosability of discrete event systems. IEEE Trans, AC-40: 1555–1575, 1995.
L. Portinale. Behavioral petri nets: A model for diagnostic knowledge representation and reasoning. IEEE Trans, SMC-27: 184–195, 1997.
W. Hamscher, L. Console and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992
J. Lunze. Künstliche Intelligenz für Ingenieure, Band 2. Oldenbourg-Verlag, München 1995.
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.
Author information
Authors and Affiliations
Rights 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 reconfigurable control of discrete-event systems. In: Diagnosis and Fault-Tolerant Control. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-05344-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-05344-7_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-05346-1
Online ISBN: 978-3-662-05344-7
eBook Packages: Springer Book Archive