]. F. Ahmed-2013 and . Ahmed, Modified spiegler-kedem model to predict the rejection and flux of nanofiltration processes at high nacl concentrations, pp.59-66, 2013.

]. I. Alatiqi-1989, A. Alatiqi, S. Ghabris, and . Ebrahim, System identification and control of reverse osmosis desalination, Desalination, vol.75, pp.119-140, 1989.
DOI : 10.1016/0011-9164(89)85009-X

]. J. Armengol, A. Bregón, T. Escobet, E. Gelso, M. Krysander et al., Minimal Structurally Overdetermined sets for residual generation: A comparison of alternative approaches, Proceedings of the 7th IFAC Symposium on Fault Detection , Supervision and Safety of Technical Processes, SAFEPROCESS09, pp.1480-1485, 2009.
DOI : 10.3182/20090630-4-ES-2003.00241

]. M. Atallah and M. Blanton, Algorithms and theory of computation handbook, special topics and techniques, Chapman and Hall/CRC, vol.2, 2009.

M. Bagajewicz, A. Fuxman, and A. Uribe, Instrumentation network design and upgrade for process monitoring and fault detection, AIChE Journal, vol.22, issue.8, pp.1870-1880, 2004.
DOI : 10.1016/S0098-1354(97)00242-1

]. J. Bendick, Artificial satellites: Helpers in space, 1991.

]. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and fault-tolerant control, pp.12-14, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01789124

F. Boem, R. M. Ferrari, and T. Parisini, Distributed Fault Detection and Isolation of Continuous-Time Non-Linear Systems, European Journal of Control, vol.17, issue.5-6, pp.603-620, 2011.
DOI : 10.3166/ejc.17.603-620

]. J. Bondy and U. S. Murty, Graph theory with applications, 1976.
DOI : 10.1007/978-1-349-03521-2

]. A. Bregon, M. Daigle, I. Roychoudhury, G. Biswas, X. Koutsoukos et al., An event-based distributed diagnosis framework using structural model decomposition, Artificial Intelligence, vol.210, pp.1-35, 2014.
DOI : 10.1016/j.artint.2014.01.003

]. S. Siddique-butt, R. Prabel, and H. Aschemann, Fault detection and isolation of a hybrid synchronous machine using parity equations, Methods and Models in Automation and Robotics (MMAR) 2012 17th International Conference on, pp.178-183, 2012.

M. Cassar and . Staroswiecki, A Structural Approach for the Design of Failure Detection and Identification Systems., IFAC Conference on Control of Industrial Systems, pp.841-846, 1997.
DOI : 10.1016/S1474-6670(17)43469-0

URL : https://hal.archives-ouvertes.fr/hal-01403803

]. E. Chanthery, L. Travé-massuyès, and S. Indra, Fault Isolation on Request Based on Decentralized Residual Generation, IEEE Transactions on Systems, Man, and Cybernetics: Systems, vol.46, issue.5, pp.598-610, 2016.
DOI : 10.1109/TSMC.2015.2479192

URL : https://hal.archives-ouvertes.fr/hal-01229077

]. L. Chiang, E. L. Russell, and R. D. Braatz, Fault detection and diagnosis in industrial systems, p.2012, 2012.
DOI : 10.1007/978-1-4471-0347-9

R. Ranon, Hierarchical model-based diagnosis based on structural abstraction, Artificial Intelligence, vol.155, issue.12, pp.147-182, 2004.

]. V. Cocquempot, R. Izadi-zamanabadi, M. Staroswiecki, and M. Blanke, Residual generation for the ship benchmark using structural approach, UKACC International Conference on Control (CONTROL '98), pp.1480-1485, 1998.
DOI : 10.1049/cp:19980448

]. C. Commault, J. Dion, and S. Agha, Structural analysis for the sensor location problem in fault detection and isolation, Automatica, vol.44, issue.8, pp.2074-2080, 2008.
DOI : 10.1016/j.automatica.2007.12.014

URL : https://hal.archives-ouvertes.fr/hal-00301490

]. L. Console, C. Picardi, and D. Theseider, Framework for Decentralized Qualitative Model-Based Diagnosis, 20th International Joint Conference on Artificial Intelligence, pp.286-291, 2007.

]. M. Cordier and A. Grastien, Exploiting independence in a decentralised and incremental approach of diagnosis, 20th International Joint Conference on Artificial Intelligence, pp.292-297, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00110584

]. J. Corfmat and A. S. Morse, Decentralized control of linear multivariable systems, Automatica, vol.12, issue.5, pp.479-495, 1976.
DOI : 10.1016/0005-1098(76)90008-X

]. R. Debouk, S. Lafortune, and D. Teneketzis, Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems, Discrete Event Dynamic Systems, pp.33-86, 2000.
DOI : 10.1109/cdc.1998.761805

URL : http://web.eecs.umich.edu/~teneket/pubs/CoordinatedDecentralizedDiagnosis-2000.pdf

, Dessouky and Ettouney. Fundamentals of water desalination, 2002.

]. J. Dick and A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, FME'93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, pp.268-284, 1993.
DOI : 10.1007/BFb0024651

]. S. Ding, Model-based fault diagnosis techniques, 2008.
DOI : 10.1007/978-1-4471-4799-2

]. J. Doran and D. Michie, Experiments with the Graph Traverser Program, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.294, issue.1437, pp.235-259, 1966.
DOI : 10.1098/rspa.1966.0205

]. A. Dulmage and N. S. Mendelsohn, Coverings of bipartite graphs, Journal canadien de math??matiques, vol.10, issue.0, pp.517-534, 1958.
DOI : 10.4153/CJM-1958-052-0

]. D. Düstegör, E. Frisk, V. Cocquempot, M. Krysander, and M. Staroswiecki, Structural analysis of fault isolability in the DAMADICS benchmark, Control Engineering Practice, vol.14, issue.6, pp.597-608, 2006.
DOI : 10.1016/j.conengprac.2005.04.008

S. K. Spurgeon and R. J. Patton, Sliding mode observers for fault detection and isolation, Automatica, vol.36, issue.4, pp.541-553, 2000.

]. P. Faure, L. Trave-massuyes, and H. Poulard, An interval modelbased approach for optimal diagnosis tree generation, Proc. DX-99, 10th International Workshop on Principles of Diagnosis, pp.78-89, 1999.

]. H. Ferdowsi, D. Raja, and S. Jagannathan, A Decentralized Fault Detection and Prediction Scheme for Nonlinear Interconnected Continuoustime Systems, WCCI 2012 IEEE World Congress on Computational Intelligence, pp.1-7, 2012.

]. A. Gambier, T. Miksch, and E. Badreddin, A reverse osmosis Laboratory Plant for Experimenting with Fault-Tolerant Control. American Control Conference Hyatt Regency Riverfront, pp.3775-3780, 2009.

]. D. Garcia, Monitoring and Fault Detection in a Reverse Osmosis Plant using Principal Component Analysis, IEEE Conference on Decision and Control and European Control Conference, pp.3044-3049, 2011.

E. R. Gelso, S. M. Castillo, and J. Armengol, An algorithm based on structural analysis for model-based fault diagnosis, Artificial Intelligence Bibliography Research and Development, pp.138-147, 2008.

]. J. Gertler, Analytical redundancy methods in fault detection and isolation, Preprints of IFAC/IMACS Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS91, pp.9-21, 1991.

]. J. Gertler, Fault detection and diagnosis in engineering systems, 1998.

]. J. Gertler, Structured Parity Equations in Fault Detection and Isolation, 2000.
DOI : 10.1007/978-1-4471-3644-6_10

]. A. Gonzalez-sanchez-2011a, R. Gonzalez-sanchez, H. G. Abreu, A. Gross, and . Van-gemund, RAPTOR: Greedy Diagnostic Prioritization by Ambiguity Group Reduction, Proceedings of the 22nd International Workshop on Principles of Diagnosis, DX2011, pp.84-91, 2011.

]. A. Gonzalez-sanchez-2011b, E. Gonzalez-sanchez, R. Piel, H. G. Abreu, A. J. Gross et al., Prioritizing Tests for Software Fault Localization. Software: Practice and Experience, pp.1105-1129, 2011.

]. M. Grbovic, Data Mining Algorithms for Decentralized Fault Detection and Diagnosis in Industrial Systems, p.2012, 2012.

]. P. Hart, N. J. Nilsson, and B. Raphael, A Formal Basis for the Heuristic Determination of Minimum Cost Paths, IEEE Transactions on Systems Science and Cybernetics, vol.4, issue.2, pp.100-107, 1968.
DOI : 10.1109/TSSC.1968.300136

]. R. Hearn and E. D. Demaine, PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation, Theoretical Computer Science, vol.343, issue.1-2, pp.72-96, 2005.
DOI : 10.1016/j.tcs.2005.05.008

]. R. Isermann, Fault-diagnosis systems, 2006.
DOI : 10.1007/3-540-30368-5

]. R. Isermann, Fault-diagnosis applications, 2011.
DOI : 10.1007/978-3-642-12767-0

]. A. Jiang, Q. Ding, and J. Wang, Mathematical Modeling and Simulation of SWRO Process Based on Simultaneous Method, Journal of Applied Mathematics, vol.2014, pp.1-11, 2014.
DOI : 10.1016/S0009-2509(01)00376-1

URL : http://downloads.hindawi.com/journals/jam/2014/908569.pdf

]. T. Khalaf, Estimation of concentration polarization using the Combined Film Theory/Spiegler Kedem Model and Empirical Correlation, The 1st Regional Conference, pp.322-328, 2008.

H. Khorasgani, D. Jung, and G. Biswas, Structural Approach for Distributed Fault Detection and Isolation, 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS 2015, pp.72-77, 2015.
DOI : 10.1016/j.ifacol.2015.09.507

URL : http://www.fs.isy.liu.se/Publications/Articles/IFACSP_15_HK_DJ_GB.pdf

]. J. De-kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.
DOI : 10.1016/0004-3702(87)90063-4

, Fault diagnosis: Models, artificial intelligence, applications, p.2012, 2012.

]. R. Korf, Algorithms and theory of computation handbook, p.67, 2010.

M. Krysander, J. Aslund, and M. Nyberg, An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.38, issue.1, pp.197-206, 2008.
DOI : 10.1109/TSMCA.2007.909555

]. M. Krysander and E. Frisk, Sensor Placement for Fault Diagnosis, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.38, issue.6, pp.1398-1410, 2008.
DOI : 10.1109/TSMCA.2008.2003968

]. M. Krysander, J. Aslund, and E. Frisk, A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis, 21st International Workshop on the Principles of Diagnosis, p.16, 2010.

]. R. Leal, J. Aguilar, L. Travé-massuyès, E. Camargo, and A. Ríos-bolivar, An approach for diagnosability analysis and sensor placement for continuous processes based on evolutionary algorithms and analytical redundancy, Applied Mathematical Sciences, vol.9, issue.43, pp.2125-2146, 2015.
DOI : 10.12988/ams.2015.52122

URL : https://hal.archives-ouvertes.fr/hal-01701569

Z. Li, M. Harman, and R. M. Hierons, Search Algorithms for Regression Test Case Prioritization, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.225-237, 2007.
DOI : 10.1109/TSE.2007.38

, Fault-Tolerant Control of a reverse osmosis desalination process, 8th International IFAC Symposium on Dynamics and Control of Process Systems, pp.161-166, 2007.

]. T. Lorentzen, M. Blanke, and H. Niemann, Structural analysis - a case study of the r??mer satellite, Proc. Fault Detect. Supervision Safety Tech. Processes Symp. (SAFEPROCESS), pp.185-190, 2003.
DOI : 10.1016/S1474-6670(17)36491-1

]. N. Nilsson, Artificial intelligence, a new synthesis, 1998.

]. X. Olive, L. Travé-massuyes, and J. Thomas, Complementing an Interval Based Diagnosis Method with Sign Reasoning in the Automotive Domain, 5th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS, pp.615-620, 2003.
DOI : 10.1016/S1474-6670(17)36555-2

, Palacin. New dynamic of reverse osmosis plants with fault simulation . 127-132, 2011.

]. K. Pattipati and M. G. , Application of heuristic search and information theory to sequential fault diagnosis, Proceedings IEEE International Symposium on Intelligent Control, pp.291-296, 1988.

]. K. Pattipati and M. Dontamsetty, On a generalized test sequencing problem, IEEE Transactions on Systems, Man, and Cybernetics, vol.22, issue.2, pp.392-396, 1992.
DOI : 10.1109/21.148415

]. R. Patton, P. M. Frank, and R. N. Clark, Issues of fault diagnosis for dynamic systems, 2000.
DOI : 10.1007/978-1-4471-3644-6

]. Y. Pencolé and M. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence, vol.164, issue.1-2, pp.121-170, 2005.
DOI : 10.1016/j.artint.2005.01.002

]. C. Pérez, L. Travé-massuyès, E. Chanthery, and J. Sotomayor, Decentralized diagnosis in a spacecraft attitude determination and control system, Journal of Physics: Conference Series, vol.659, issue.1, pp.1-12, 2015.
DOI : 10.1088/1742-6596/659/1/012054

]. C. Pérez, E. Travé-massuyès, J. Chanthery, and . Sotomayor, Fault Driven Minimal Structurally Overdetermined Set in a Distributed Context . 27th International Workshop on Principles of Diagnosis, p.50, 2016.

]. F. Pirmoradi, F. Sassani, and C. Silva, Fault detection and diagnosis in a spacecraft attitude determination system, Acta Astronautica, vol.65, issue.5-6, pp.710-729, 2009.
DOI : 10.1016/j.actaastro.2009.03.002

]. V. Raghavan, M. Shakeri, and K. Pattipati, Optimal and near-optimal test sequencing algorithms with realistic test models, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.29, issue.1, pp.11-26, 1999.
DOI : 10.1109/3468.736357

H. Ressencourt, L. Travé-massuyès, and J. Thomas, Hierarchical modelling and diagnosis for embedded systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFE- PROCESS'2006, pp.553-558, 2006.

]. R. Rivas-perez-2017, J. Rivas-perez, C. G. Sotomayor-moriano, and . Perez-zuniga, Adaptive Expert Generalized Predictive Multivariable Control of Seawater RO Desalination Plant for a Mineral Processing Facility, IFAC World Congress, p.2017
DOI : 10.1016/j.ifacol.2017.08.1284

]. A. Rosich, R. Sarrate, V. Puig, and T. Escobet, Efficient optimal sensor placement for model-based FDI using an incremental algorithm, 2007 46th IEEE Conference on Decision and Control, pp.2590-2595, 2007.
DOI : 10.1109/CDC.2007.4434636

]. A. Rosich, R. Sarrate, and F. Nejjari, Fuel Cell System Diagnosis based on a Causal Structural Model, 7th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes SAFEPROCESS, pp.534-539, 2009.
DOI : 10.3182/20090630-4-ES-2003.00089

]. A. Rosich, R. Sarrate, and F. Nejjari, Optimal sensor placement for FDI using binary integer linear programming. 20 th International Workshop on Principles of Diagnosis, 2009.

]. M. Rycroft, Beyond the international space station: The future of human spaceflight, 2002.
DOI : 10.1007/978-94-015-9880-4

]. R. Sarrate, V. Puig, T. Escobet, and A. Rosich, Optimal sensor placement for model-based fault detection and isolation, 2007 46th IEEE Conference on Decision and Control, pp.2584-2589, 2007.
DOI : 10.1109/CDC.2007.4434452

]. R. Sarrate, F. Nejjari, and A. Rosich, Sensor placement for fault diagnosis performance maximization in Distribution Networks, 2012 20th Mediterranean Conference on Control & Automation (MED), pp.110-115, 2012.
DOI : 10.1109/MED.2012.6265623

]. D. Sauter, T. Boukhobza, and F. Hamelin, DECENTRALIZED AND AUTONOMOUS DESIGN FOR FDI/FTC OF NETWORKED CONTROL SYSTEMS, IFAC Proceedings Volumes, vol.39, issue.13, pp.138-143, 2006.
DOI : 10.3182/20060829-4-CN-2909.00022

URL : https://hal.archives-ouvertes.fr/hal-00120858

]. R. Schmude, Artificial satellites and how to observe them, p.85, 2012.
DOI : 10.1007/978-1-4614-3915-8

]. S. Senthilmurugan, A. Ahluwalia, and S. Gupta, Modeling of a spiral-wound module and estimation of model parameters using numerical techniques, Desalination, vol.173, issue.3, 2005.
DOI : 10.1016/j.desal.2004.08.034

]. D. Siljak, Decentralized control of complex systems, 2011.

]. D. Silver, Cooperative pathfinding. AIIDE, 117-122, 2005.

]. C. Skovmose, V. Cocquempot, and R. Izadi-zamanabadi, Model Based Fault Detection in a Centrifugal Pump Application, IEEE Transactions on Control Systems Technology, vol.14, issue.2, pp.204-215, 2006.

]. T. Standley, Independence Detection for Multi-Agent Pathfinding Problems, p.2012, 2012.

]. R. Su and W. M. Wonham, Global and local consistencies in distributed fault diagnosis for discrete-event systems, IEEE Transactions on Automatic Control, vol.50, issue.12, pp.1923-1935, 2005.
DOI : 10.1109/TAC.2005.860291

T. Massuyès, X. Escobet, and . Olive, Diagnosability Analysis Based on Component-Supported Analytical Redundancy Relations, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.36, issue.6, pp.1146-1160, 2006.
DOI : 10.1109/TSMCA.2006.878984

H. Massuyès, H. Ressencourt, J. Poulard, and . Thomas, Method for diagnosing a malfunction of a mechatronic system, p.2013

, Desalination -Past, Present and Future, 2016, 2016.

]. Y. Wang, T. S. Yoo, and S. Lafortune, Diagnosis of Discrete Event Systems Using Decentralized Architectures, Discrete Event Dynamic Systems, pp.233-263, 2007.
DOI : 10.1109/TAC.2004.837595

H. Wang, W. Liu, J. Qiu, and P. X. Liu, Adaptive Fuzzy Decentralized Control for a Class of Strong Interconnected Nonlinear Systems With Unmodeled Dynamics, PP(99), pp.1-1, 2017.
DOI : 10.1109/TFUZZ.2017.2694799

A. A. Yassine, S. Ploix, and J. M. Flaus, A Method for Sensor Placement Taking into Account Diagnosability Criteria, International Journal of Applied Mathematics and Computer Science, vol.1, issue.2, pp.497-512, 2008.
DOI : 10.2478/v10006-008-0044-5

URL : https://hal.archives-ouvertes.fr/hal-00381503

]. W. Zeng and R. L. Church, Finding shortest paths on real road networks: the case for A*, International Journal of Geographical Information Science, vol.4, issue.4, pp.531-543, 2009.
DOI : 10.1287/trsc.32.1.65

, Decentralized Fault Detection for a Class of Large-Scale Nonlinear Uncertain Systems, American Control Conference, pp.5650-5655, 2010.

]. I. Zuliana and V. Renuganth, A study of reaction wheel configurations for a 3-axis satellite attitude control, Adv. Space Res, vol.45, issue.6, pp.750-759, 2010.