Abstract
The critical importance of sustaining fault diagnosis, as a major system tool, is unquestionable if the high performance and reliability of increasingly complex engineering systems is to be sustained over time and across a wide operating range. However, it is quite difficult to retain the joint ability of fault detection and isolation as it requires a strong system architecture. That is why, before designing an industrial supervision system, the determination of a system’s monitoring ability based on technical specifications is important as finding the source of the failure is not trivial in systems with a large number of components and complex component relationships. This paper presents an efficient and cost-effective fault detection and isolation (FDI) scheme that evolved from an earlier work [1]. FDI specifications are translated into constraints of the optimization problem considering that the whole set of analytical redundancy relations has been generated, under the assumption that all candidate sensors are installed and later on tested by an optimization algorithm using binary and relaxed versions of linear and nonlinear programming. By doing so, critical information about the presence or absence of a fault is gained in the shortest possible time, with not only confirmation of the findings but also an accurate unfolding in time of the finer details of the fault, thus completing the overall diagnostic picture of the system under test. The proposed scheme is evaluated extensively on a two-tank process used in industry, exemplified by a benchmarked laboratory-scale coupled-tank system.
Similar content being viewed by others
References
Sarrate R, Puig V, Escobet T, Rosich A (2007) Optimal sensor placement for model-based fault detection and isolation. Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, USA, December 12–14, pp 2584–2589
Blanke M, Kinnaert M, Lunze J, Staroswiecki M (2003) Diagnosis and fault-tolerant control. Springer, Berlin
Rahim MA, Khalid HM, Akram M, Khoukhi A, Cheded L, Doraiswami R (2011) Quality monitoring of a closed-loop system with parametric uncertainties and external disturbances: a fault detection and isolation approach. Int J Adv Manufac Technol 55(1–4):293–306
Rahim M A, Khalid H M, Khoukhi A (2012) Nonlinear constrained optimal control problem: a PSO–GA-based discrete augmented Lagrangian approach. Int J Adv Manuf Technol. doi:10.1007/s00170-011-3810-8
Bagajewicz M (2000) Design and upgrade of process plant instrumentation. Technomic Publishers, Lancaster
Spanache S, Escobet T, Travé-Massuyès L (2004) Sensor placement optimization using genetic algorithms. Proceedings of the 15th International Workshop on Principles of Diagnosis (DX’04), Carcassonne, France, June 23–25
Nejjari F, Pérez R, Escobet T, Travé-Massuyès L (2006) Fault diagnosability utilizing quasi-static and structural modelling. Math Comput Mod 45:606–616
Staroswiecki M, Hoblos G, Aitouche A (2004) Sensor network design for fault tolerant estimation. Int J Adapt Control Sig Process 18(1):55–72
Maquin D, Luong M, Ragot J (1997) Fault detection and isolation and sensor network design. Europ J Autom 31(13):396–406
Raghuraj R, Bhushan M, Rengaswamy R (1999) Locating sensors in complex chemical plants based on fault diagnostic observability criteria. AICHE J 45(2):310–322
Commault C, Dion J-M (2007) Sensor location for diagnosis in linear systems: a structural analysis. IEEE Trans Automat Contr 52(2):155–169
Frisk E, Krysander M (2007) Sensor placement for maximum fault isolability. Proceedings of the 18th International Workshop on Principles of Diagnosis (DX’07), Nashville, TN, USA, May 29–31
Gertler J (1998) Fault detection and diagnosis in engineering systems. Marcel Dekker, New York
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996) Failure diagnosis using discrete-event models. IEEE Trans Control Syst Technol 4(2):105–124
Lunze J, Schroeder J (2004) Sensor and actuator fault diagnosis of systems with discrete inputs and outputs. IEEE Trans Syst Man Cybern B Cybern 34(2):1096–1107
Narasimhan S, Biswas G (2007) Model-based diagnosis of hybrid systems. IEEE Trans Syst, Man, Cybern, A, Syst, Humans 37(3):348–361
Staroswiecki M, Comtet-Varga G (2001) Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems. Automatica 37(5):687–699
Nikoukhah R (1998) A new methodology for observer design and implementation. IEEE Trans Automat Contr 43(2):229–234
Krysander M, Frisk E (2008) Sensor placement for fault diagnosis. IEEE Trans Syst, Man, Cybern, A 38(6):1398–1410
Commault C, Dion J-M, Agha SY (2008) Structural analysis for the sensor location problem in fault detection and isolation. Automatica 44(8):2074–2080
Yassine AA, Ploix S, Flaus JM (2008) A method for sensor placement taking into account diagnosability criteria. Int J Appl Math Comput Sci 18(4):497–512
Travé-Massuyès L, Escobet T, Olive X (2006) Diagnosability analysis based on component supported analytical redundancy relations. IEEE Trans Syst, Man, Cybern, A 36(6):1146–1160
Krysander M (2006) Design and analysis of diagnosis systems using structural methods. PhD dissertation, Linköpings Universitet, Linköping, Sweden
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
-
(a)
Nonlinear constraints
$$ \matrix{ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant 1\;;} \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_7} \geqslant 1\;;} \\ }<!end array> $$$$ \matrix{ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant 1\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant 1\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_4}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_5}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} + {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_7}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_8}\;;} \hfill \\ }<!end array> $$$$ \matrix{ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_5}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_5}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_8} \geqslant {q_7}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_8} \geqslant {q_7}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \geqslant {q_8}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \geqslant {q_8}\;;} \hfill \\ }<!end array> $$$$ \matrix{ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_5}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_5}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_8} \geqslant {q_7}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_8} \geqslant {q_7}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \geqslant {q_8}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \geqslant {q_8}\;;} \hfill \\ }<!end array> $$$$ \matrix{ {{q_4} \times {q_5} \times {q_7} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4} \times {q_8}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} + {q_4} \times {q_5} \times {q_8} \geqslant {q_7} \times {q_8}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_7} + {q_4} \times {q_7} \times {q_8} \geqslant {q_5} \times {q_8}\;;} \hfill \\ {{q_5} \times {q_7} \times {q_8} + {q_4} \times {q_5} \times {q_7} \geqslant {q_4} \times {q_8}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_8} + {q_4} \times {q_7} \times {q_8} \geqslant {q_5} \times {q_7}\;;} \hfill \\ {{q_4} \times {q_5} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4} \times {q_7}\;;} \hfill \\ {{q_4} \times {q_7} \times {q_8} + {q_5} \times {q_7} \times {q_8} \geqslant {q_4} \times {q_5}\;;} \hfill \\ }<!end array> $$ -
(b)
Linear constraints
$$ \matrix{ {{q_4} + {q_5} \leqslant {x_1} + 1\;;} \hfill \\ {{x_1} \leqslant {q_4}\;;} \hfill \\ {{x_1} \leqslant {q_5}\;;} \hfill \\ {{q_4} + {q_7} \leqslant {x_2} + 1\;;} \hfill \\ {{x_2} \leqslant {q_4}\;;} \hfill \\ }<!end array> $$$$ {x_2} \leqslant {q_7}\;; $$$$ {q_5} + {q_7} \leqslant {x_3} + 1\;; $$$$ {x_3} \leqslant {q_5}\;; $$$$ {x_3} \leqslant {q_7}\;; $$$$ {q_4} + {q_8} \leqslant {x_4} + 1\;; $$$$ {x_4} \leqslant {q_4}\;; $$$$ {x_4} \leqslant {q_8}\;; $$$$ {q_5} + {q_8} \leqslant {x_5} + 1\;; $$$$ {x_5} \leqslant {q_5}\;; $$$$ {x_5} \leqslant {q_8}\;; $$$$ {q_7} + {q_8} \leqslant {x_6} + 1\;; $$$$ {x_6} \leqslant {q_7}\;; $$$$ {x_6} \leqslant {q_8}\;; $$$$ {q_4} + {q_5} + {q_7} \leqslant {x_7} + 1 + 1\;; $$$$ {x_7} \leqslant {q_4}\;; $$$$ {x_7} \leqslant {q_5}\;; $$$$ {x_7} \leqslant {q_7}\;; $$$$ {q_4} + {q_5} + {q_8} \leqslant {x_8} + 1 + 1\;; $$$$ {x_8} \leqslant {q_4}\;; $$$$ {x_8} \leqslant {q_5}\;; $$$$ {x_8} \leqslant {q_8}\;; $$$$ {q_4} + {q_7} + {q_8} \leqslant {x_9} + 1 + 1\;; $$$$ {x_9} \leqslant {q_4}\;; $$$$ {x_9} \leqslant {q_7}\;; $$$$ {x_9} \leqslant {q_8}\;; $$$$ {q_5} + {q_7} + {q_8} \leqslant {x_{{10}}} + 1 + 1\;; $$$$ {x_{{10}}} \leqslant {q_5}\;; $$$$ {x_{{10}}} \leqslant {q_7}\;; $$$$ {x_{{10}}} \leqslant {q_8}\;; $$$$ {q_4} + {q_5} + {q_7} + {q_8} \leqslant {x_{{11}}} + 1 + 1 + 1\;; $$$$ {x_{{11}}} \leqslant {q_4}\;; $$$$ {x_{{11}}} \leqslant {q_5}\;; $$$$ {x_{{11}}} \leqslant {q_7}\;; $$$$ {x_{{11}}} \leqslant {q_8}\;; $$$$ {x_{{11}}} + {x_7} + {x_8} + {x_{{10}}} + {x_9} \geqslant 1\;; $$$$ {x_{{11}}} + {x_{{11}}} + {x_7} + {x_8} + {x_9} \geqslant {q_4}\;; $$$$ {x_{{11}}} + {x_{{11}}} + {x_7} + {x_8} + {x_{{10}}} \geqslant {q_5}\;; $$$$ {x_{{11}}} + {x_{{11}}} + {x_7} + {x_{{10}}} + {x_9} \geqslant {q_7}\;; $$$$ {x_{{11}}} + {x_{{11}}} + {x_8} + {x_{{10}}} + {x_9} \geqslant {q_8}\;; $$$$ {x_{{11}}} + {x_{{10}}} \geqslant {q_4}\;; $$$$ {x_{{11}}} + {x_9} \geqslant {q_5}\;; $$$$ {x_{{11}}} + {x_8} \geqslant {q_7}\;; $$$$ {x_{{11}}} + {x_7} \geqslant {q_8}\;; $$$$ {x_{{11}}} + {x_{{10}}} \geqslant {q_4}\;; $$$$ {x_{{11}}} + {x_9} \geqslant {q_5}\;; $$$$ {x_{{11}}} + {x_8} \geqslant {q_7}\;; $$$$ {x_{{11}}} + {x_7} \geqslant {q_8}\;; $$$$ {x_7} + {x_{{10}}} \geqslant {x_4}\;; $$$$ {x_7} + {x_8} \geqslant {x_6}\;; $$$$ {x_7} + {x_9} \geqslant {x_5}\;; $$$$ {x_{{10}}} + {x_7} \geqslant {x_4}\;; $$$$ {x_8} + {x_9} \geqslant {x_3}\;; $$$$ {x_8} + {x_{{10}}} \geqslant {x_2}\;; $$$$ {x_9} + {x_{{10}}} \geqslant {x_1}\;; $$
Rights and permissions
About this article
Cite this article
Rahim, M.A., Khalid, H.M. & Akram, M. Sensor location optimization for fault diagnosis with a comparison to linear programming approaches. Int J Adv Manuf Technol 65, 1055–1065 (2013). https://doi.org/10.1007/s00170-012-4239-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00170-012-4239-4