Abstract
A system model is diagnosable when every fault can be unambiguously detected from its observable events. Diagnosability is a desirable system property, enabling large and complex systems to be designed with automatic fault detection and isolation mechanisms.
In this paper we study the relation between a system’s level of observability and its diagnosability. We provide both necessary and sufficient conditions on the observable events maintained by the system in order to be diagnosable. We concentrate on two problems: First, we show how to transform a diagnosable system into another one which is still diagnosable but also has a minimal level of observability. Second, we show how to transform a non-diagnosable system into a diagnosable by subsequently increasing the level of observability.
Finally, we expand our framework with several extensions, dealing with distinguishability, predictability and extended fault models.
This research has been funded by the EU through the FP6 IST project 516933 WS-Diamond and the tenure of an ERCIM “Alain Bensoussan” Fellowship Programme.
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
Brandán-Briones, L., Lazovik, A., Dague, P.: Optimal observability for diagnosability. In: DX 2008 (2008)
Choco. Constraint programming system, http://choco.sourceforge.net/
Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: IJCAI, pp. 363–369 (2003)
Genc, S., Lafortune, S.: Predictability in discrete-event systems under partial observation. In: IFAC, Beijing, China (August 2006)
Jéron, T., Marchand, H., Genc, S., Lafortune, S.: Predictability of sequence patterns in discrete event systems. In: IFAC World Congress, Seoul, Korea (July 2008)
Jéron, T., Marchand, H., Pinchinat, S., Cordier, M.-O.: Supervision patterns in discrete event systems diagnosis, pp. 262–268 (2006)
Jiang, S., Kumar, R.: Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. IEEE Trans. on Automatic Control 49(6), 934–945 (2004)
Jiang, S., Kumar, R., Garcia, H.: Optimal sensor selection for discrete-event systems with partial observation, pp. 369–381
Lazovik, A., Aiello, M., Papazoglou, M.: Planning and monitoring the execution of web service requests. Journal on Digital Libraries (2005)
Lin, F.: Diagnosability of discrete event systems and its applications. Discrete Event Dynamic Systems: Theory and Applications 4(2), 197–212 (1994)
Nau, D., Ghallab, M., Traverso, P.: Automated task planning. Theory and practice. Morgan Kaufmann, San Francisco (2004)
Rintanen, J.: Diagnosers and diagnosability of succinct transition systems. In: IJCAI, pp. 538–544 (2007)
Sampath, M., Lafortune, S., Teneketzis, D.: Active diagnosis of discrete-event systems. IEEE Trans. on Automatic Control 40, 908–929 (1998)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete-event systems. IEEE Trans. on Automatic Control 9(40), 1555–1575 (1995)
Travé-Massuyés, L., Cordier, M.-O., Pucel, X.: Comparing diagnosability in cs and des. In: 17th Int. W-p on Principles of Diagnosis (DX 2006), pp. 55–60 (2006)
WS-Diamond. Web services - DIAgnosability, MONitoring and Diagnosis project, http://wsdiamond.di.unito.it/
Yoo, T., Lafortune, S.: Np-completeness of sensor selection problems arising in partially observed discrete-event systems, pp. 1495–1499
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Briones, L.B., Lazovik, A., Dague, P. (2008). Optimizing the System Observability Level for Diagnosability. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_58
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)