Abstract
In this chapter the state observation and fault diagnostic problems are posed and solved for stochastic automata. The observation problem is introduced in Section 5.1, solved in Section 5.2 and discussed in Section 5.3. In Section 5.4 results in the observability of stochastic automata are given. Next, the fault diagnostic problem is posed and solved based on the solution to the state observation problem in Sections 5.5 and 5.6. Diagnosability is then discussed in Section 5.7 and several extensions relevant to the practical application of the presented methods are given in Section 5.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.
5.9 Bibliographical Notes
Aguirre, L., A. Ramirez and O. Begovich: Design of asymptotic observers for discrete event systems modelled by interpreted Petri nets. in Proc. of the IASTED Intern. Conf. on Intelligent Systems and Control, pages 188–193, Santa Barbara, 1999.
Förstner, D. and J. Lunze: Discrete-event models of quantised systems for diagnosis. International Journal of Control, 74, pages 690–700, 2001.
Frank, P. M.: Diagnosis in Dynamical Systems via State Estimation — A Survey. Vol. 1, D. Reidel Publishing Company, pages 35–98, 1987.
Franke, D.: On the use of reduced observers in discrete systems with a finite number of states — an arithmetic approach. in 5th Intern. Symposium on Application of Multivariable System Techniques, 1994.
Lichtenberg, G. and J. Lunze: Observation of qualitative states by means of a qualitative model. International Journal of Control, 66, pages 885–903, 1997.
Lichtenberg, G. and A. Steele: An approach to fault diagnosis using parallel qualitative observers. in Workshop on Discrete Event Systems, pages 290–295, Edinburgh, 1996.
Lin, F. and W. Wonham: On observability of discrete-event systems. Information Sciences, 44, pages 173–198, 1988.
Lunze, J.: Diagnosis of quantised systems based on a timed discrete-event model. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 30, pages 322–335, 2000.
Özveren, C. and A. Willsky: Observability of discrete-event dynamic systems. IEEE Transactions on Automatic Control, 35, pages 797–806, 1990.
Philips, P.: Modelling, Control and Fault Detection of Discretely-Observed Systems. PhD Thesis, Techn. Univ. Eindhoven, 2001.
Ramadge, P.: Observability of discrete event systems. in 25th IEEE Conference on Decision and Control, pages 1108–1112, 1986.
Schiller, F.: Diagnose dynamischer Systeme auf der Grundlage einer qualitativen Prozeßbeschreibung, VDI Fortschrittberichte, Vol. 8, 653, VDI Verlag, Düsseldorf, 1997.
Teneketzis, D., K. Sinnamohideen, M. Sampath, R. Sengupta and S. Lafortune: Failure diagnosis using discrete event models. in Proceedings of Conference on Decision and Control, pages 3110–3116, 1994.
Willems, J.: Paradigms and puzzles in the theory of dynamical systems. IEEE Transactions on Automatic Control, 36, pages 259–294, 1991.
Zhuang, Z.: Qualitative Modeling for Observer-Based Fault Diagnosis, VDI Fortschrittberichte, 805, Vol. 8, VDI Verlag, Düsseldorf, 1999.
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2003). Automata Theory for Process Supervision. In: Modelling, State Observation and Diagnosis of Quantised Systems. Lecture Notes in Control and Information Sciences, vol 282. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46086-1_5
Download citation
DOI: https://doi.org/10.1007/3-540-46086-1_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44075-8
Online ISBN: 978-3-540-46086-2
eBook Packages: Springer Book Archive