Abstract
Fault diagnosis and state estimation are two central and typical problems one may face in the monitoring of discrete-event systems. This chapter examines these two problems in the simple setting of automata. It is first explained that diagnosis and state estimation are two related problems. Then one describes the construction of an observer (resp. a diagnoser) both for standard and for probabilistic automata. A section is dedicated to diagnosability issues, that is the ability to detect the occurrence of an unobservable fault event after a bounded number of observations following that fault. The chapter then proposes an opening to the case of distributed systems, made of several interacting components, but still assuming a sequential semantics (i.e. ignoring the possible parallelism of some events). One first presents a modularity property on observers and diagnosers of distributed systems, in a rather specific case. The general case is then examined, and a distributed procedure is described to recover the runs of a distributed system that can explain a set of distributed observations collected in this system. Finally, the chapter closes on a discussion about the interest of true concurrency semantics for the monitoring of large distributed systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benveniste, A., Fabre, E., Jard, C., Haar, S.: Diagnosis of asynchronous discrete event systems a net unfolding approach. IEEE Transactions on Automatic Control 48(5), 714–727 (2003)
Buchsbaum, A.L., Giancarlo, R., Westbrook, J.R.: On the determinization of weighted finite automata. SIAM Journal on Computing 30, 1502–1531 (1998)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2008)
Cortes, C., Mohri, M., Rastogi, A., Riley, M.D.: Efficient Computation of the Relative Entropy of Probabilistic Automata. In: Correa, J.R., Hevia, A., Kiwi, M. (eds.) LATIN 2006. LNCS, vol. 3887, pp. 323–336. Springer, Heidelberg (2006)
Fabre, E., Benveniste, A., Haar, S., Jard, C.: Distributed monitoring of concurrent and asynchronous Systems. Journal of Discrete Event Systems 15(1), 33–84 (2005)
Fabre, E., Benveniste, A.: Partial order techniques for distributed discrete event systems: why you can’t avoid using them. Journal of Discrete Events Dynamical Systems 17(3), 355–403 (2007)
Fabre, E., Jezequel, L.: Distributed optimal planning: an approach by weighted automata calculus. In: Proc. 48th Conference on Decision and Control, Shangai, China (2009)
Fabre, E., Jezequel, L.: On the construction of probabilistic diagnosers. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)
Jeron, T., Marchand, H., Pinchinat, S., Cordier, M.O.: Supervision patterns in discrete event systems diagnosis. In: Proc. 8th Workshop on Discrete Event Systems, Ann Arbor, Michigan (2006)
Kirsten, D., Murer, I.: On the determinization of weighted automata. Journal of Automata, Languages and Combinatorics 10(2/3), 287–312 (2005)
Mohri, M.: Weighted automata algorithms. In: Kuich, W., Vogler, H., Droste, M. (eds.) Handbook of Weighted Automata. Springer (2009)
Mohri, M.: Finite-state transducers in language and speech processing. Computational Linguistics 23, 269–311 (1997)
Mohri, M.: Generic epsilon-removal and input epsilon-renormalization algorithms for weighted transducers. International Journal on Foundations of Computer Sciences 13(1), 129–143 (2002)
Paz, A.: Introduction to Probabilistic Automata. Academic Press, New-York (1971)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control 40(9), 1555–1575 (1995)
Thorsley, D., Teneketzis, D.: Diagnosability of stochastic discrete-event systems. IEEE Transactions on Automatic Control 50(4), 476–492 (2005)
Thorsley, D., Yoo, T.S., Garcia, H.E.: Diagnosability of stochastic discrete-event systems under unreliable observations. In: Proc. American Control Conference, Seattle, USA (2008)
Ye, L., Dague, P.: An optimized algorithm for diagnosability of component-based systems. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)
Yoo, T.S., Lafortune, S.: Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Transactions on Automatic Control 47(9), 1491–1495 (2002)
Zhou, C., Kumar, R., Sreenivas, R.S.: Decentralized modular diagnosis of concurrent discrete event systems. In: 9th Workshop on Discrete Event Systems, Goteborg, Sweden (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag London
About this chapter
Cite this chapter
Fabre, E. (2013). Diagnosis and Automata. In: Seatzu, C., Silva, M., van Schuppen, J. (eds) Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences, vol 433. Springer, London. https://doi.org/10.1007/978-1-4471-4276-8_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-4276-8_5
Publisher Name: Springer, London
Print ISBN: 978-1-4471-4275-1
Online ISBN: 978-1-4471-4276-8
eBook Packages: EngineeringEngineering (R0)