Diagnosis and Automata
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.
KeywordsState Estimation Discrete Event System Label Function Visible Transition Faulty State
Unable to display preview. Download preview PDF.
- 3.Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer (2008)Google Scholar
- 7.Fabre, E., Jezequel, L.: Distributed optimal planning: an approach by weighted automata calculus. In: Proc. 48th Conference on Decision and Control, Shangai, China (2009)Google Scholar
- 8.Fabre, E., Jezequel, L.: On the construction of probabilistic diagnosers. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)Google Scholar
- 9.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)Google Scholar
- 11.Mohri, M.: Weighted automata algorithms. In: Kuich, W., Vogler, H., Droste, M. (eds.) Handbook of Weighted Automata. Springer (2009)Google Scholar
- 17.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)Google Scholar
- 18.Ye, L., Dague, P.: An optimized algorithm for diagnosability of component-based systems. In: Proc. 10th Workshop on Discrete Event Systems, Berlin, Germany (2010)Google Scholar
- 20.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)Google Scholar