Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

FoSSaCSa

N. Bertrand, E, Fabre, S. Haar, S. Haddad, L. Hélouet. Active diagnosis for probabilistic systems. In 17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14, Springer (ed.), LNCS, Volume 8412, Pages 29-42, Grenoble, France, April 2014.

Download [help]

Download paper: (link)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

The diagnosis problem amounts to deciding whether some specific "fault" event occurred or not in a system, given the observations collected on a run of this system. This system is then diagnosable if the fault can always be detected, and the active diagnosis problem consists in controlling the system in order to ensure its diagnosability. We consider here a stochastic framework for this problem: once a control is selected, the system becomes a stochastic process. In this setting, the active diagnosis problem consists in deciding whether there exists some observation-based strategy that makes the system diagnosable with probability one. We prove that this problem is EXPTIME-complete, and that the active diagnosis strategies are belief-based. The safe active diagnosis problem is similar, but aims at enforcing diagnosability while preserving a positive probability to non faulty runs, i.e. without enforcing the occurrence of a fault. We prove that this problem requires non belief-based strategies, and that it is undecidable. However, it belongs to NEXPTIME when restricted to belief-based strategies. Our work also refines the decidability/undecidability frontier for verification problems on partially observed Markov decision processes

Contact

Nathalie Bertrand http://www.irisa.fr/prive/nbertran/
Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/
Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@InProceedings{FoSSaCSa,
   Author = {Bertrand, N. and Fabre, E, and Haar, S. and Haddad, S. and Hélouet, L.},
   Title = {Active diagnosis for probabilistic systems},
   BookTitle = {17th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS'14},
   editor = {Springer, },
   Volume = {8412},
   Pages = {29--42},
   Series = {LNCS},
   Address = {Grenoble, France},
   Month = {April},
   Year = {2014}
}

EndNote Reference [help]

Get EndNote Reference (.ref)