Abstract
In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system.
The main contribution of this paper is the extension and the adaptation of techniques based on the symbolic compilation of qualitative system models to a structural approach suitable for the computation of MASS for component-oriented models consisting of sets of numerical equations. In this respect, the paper can be viewed as a bridge across the AI approaches to model-based sensor placement and the Fault Detection and Isolation approaches developed by the Automatic Control community. We show that the resulting method exploits the symbolic compilation techniques not only as a way to provide computational savings (including some theoretical guarantees on the computational complexity), but it also exhibits interesting new features, most notably the handling of multiple faults.
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.
References
Cordier, M.O., Travé-Massuyès, L., Pucel, X.: Comparing Diagnosability in Continuous and Discrete-Event Systems. In: Proc. Proc. DX, pp. 55-60, (2006)
Cassar, J.P., Staroswiecki, M.: A Structural Approach for the Design of Failure Detection and Identification Systems. In: Proc. IFAC Control of Industrial Systems (1997)
Travé-Massuyès, L., Escobet, T., Olive, X.: Diagnosability Analysis Based on Component- Supported Analytical Redundancy Relations. IEEE Tr. on Systems, Man and Cybernetics PART A 36(6), 1146–1160 (2006)
Krysander, M., Frisk, E.: Sensor placement for fault diagnosis. IEEE Tr. on Systems, Man and Cybernetics PART A 38(6), 1398–1410 (2008)
Commault, C., Dion, J., Agha, S.: Structural analysis for the sensor location problem in fault detection and isolation. In: Proc. IFAC World Congress, pp. 949-954 (2006)
Travé-Massuyès, L., Escobet, T., Milne, R.: Model-based Diagnosability and Sensor Placement. Application to a Frame 6 Gas Turbine Sub-System. In: Proc. IJCAI, pp. 551-556 (2001)
Torta, G., Torasso, P.: Computation of Minimal Sensor Sets from Precompiled Discriminability Relations. In: Proc. DX, pp. 202–209 (2007)
Torasso, P., Torta, G.: Model-Based Diagnosis through OBDD Compilation: a Complexity Analysis. LNCS 4155, 287-305 (2006)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this paper
Cite this paper
Torta, G., Torasso, P. (2011). A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model. In: Bramer, M., Petridis, M., Hopgood, A. (eds) Research and Development in Intelligent Systems XXVII. SGAI 2010. Springer, London. https://doi.org/10.1007/978-0-85729-130-1_18
Download citation
DOI: https://doi.org/10.1007/978-0-85729-130-1_18
Published:
Publisher Name: Springer, London
Print ISBN: 978-0-85729-129-5
Online ISBN: 978-0-85729-130-1
eBook Packages: Computer ScienceComputer Science (R0)