J. Gertler, Analytical redundancy methods in fault detection and isolation, Proceedings IFAC Symp. Fault Detection, Supervision and Safety for Technical Processes, SAFEPROCESS, vol.1, pp.9-22, 1991.

R. Seliger and P. Frank, Fault diagnosis by disturbance decoupled non-linear obervers, Proceedings of the 30th IEEE conference on decision and control CDC'91, pp.2248-2253, 1991.

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, vol.42, pp.1480-1485, 2009.

E. R. Gelso, S. M. Castillo, and J. Armengol, An Algorithm Based on Structural Analysis for Model-based Fault Diagnosis, Proceedings of the 2008 Conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence, pp.138-147, 2008.

M. Krysander, J. Aslund, and M. Nyberg, An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis, IEEE Trans. Systems, Man, and Cybernetics. Part A, vol.38, issue.1, pp.197-206, 2008.

B. Pulido and C. Alonso-gonzáles, Possible Conflicts: a compilation tecnhnique for consistency-based diagnosis, IEEE Trans. Systems, Man, and Cybernetics Part B, vol.34, issue.5, pp.2192-2206, 2004.

L. Travé-massuyès, T. Escobet, and X. Olive, Diagnosability analysis based on component-supported analytical redundancy relations, IEEE Trans. Systems, Man, and Cybernetics, Part A, vol.36, issue.6, pp.1146-1160, 2006.

J. C. Cruz-victoria, R. Martinez-guerra, and J. J. Rincon-pasaye, On linear systems diagnosis using differential and algebraic methods, Journal of the Franklin Institute, vol.345, pp.102-118, 2008.

M. Daigle, A. Bregon, G. Biswas, X. Koutsoukos, and B. Pulido, Improving Multiple Fault Diagnosability using Possible Conflicts, IFAC Proceedings, vol.45, issue.20, pp.144-149, 2012.

M. Staroswiecki and G. Comtet-varga, Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica, vol.37, pp.687-699, 2001.

N. Verdière, C. Jauberthie, and L. Travé-massuyés, Functional diagnosability and detectability of nonlinear models based on analytical redundancy relations, Journal of Process Control, vol.35, pp.1-10, 2015.

Q. Zhang, M. Basseville, and A. Benveniste, Fault detection and isolation in nonlinear dynamic systems: a combined input-output and local approach, Automatica, vol.34, issue.11, pp.1359-1373, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00073570

M. Cordier, P. Dague, F. Levy, J. Montmain, M. Staroswiecki et al., Conflicts versus analytical redundancy relations. A comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives, IEEE Trans. Systems, Man, and Cybernetics Part B, vol.34, issue.5, pp.2163-2177, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01931749

J. De-kleer and B. Williams, Diagnosing multiple faults, Artificial intelligence, vol.32, issue.1, pp.97-130, 1987.

M. Krysander, J. Aslung, and E. Frisk, A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis, 21st International Workshop on Principles of Diagnosis (DX-10), 2010.

F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Computing representation for radicals of finitely generated differential ideals, 1997.

L. Denis-vidal, G. Joly-blanchard, and C. Noiret, Some effective approaches to check identifiability of uncontrolled nonlinear systems, Mathematics and Computers in Simulation, vol.57, pp.35-44, 2001.

N. Verdière, L. Denis-vidal, G. Joly-blanchard, and D. Domurado, Identifiability and estimation of pharmacokinetic parameters of ligands of macrophage mannose receptor, Int. J. Appl. Math. Comput. Sci, vol.15, issue.4, pp.101-110, 2005.

C. Jauberthie, N. Verdière, and L. Travé-massuyès, Fault detection and identification relying on set-membership identifiability, vol.37, pp.129-136, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01739792

S. Audoly, G. Bellu, L. D'angio, M. P. Saccomani, and C. Cobelli, Global identifiability of nonlinear models of biological systems, IEEE Trans. Biomed. Eng, vol.48, pp.55-65, 2001.

C. W. Brown, A program for computing with semialgebraic sets using CADs, SIGSAM BULLETIN, vol.37, pp.97-108, 2003.

M. E. Din, RAGLib: A library for real solving polynomial systems of equations and inequalities, 2007.

B. Xia, DISCOVERER: A Tool for Solving Semi-algebraic Systems, ACM Commun. Comput. Algebra, vol.41, issue.3, pp.102-103, 2007.

S. Basu, R. Pollack, and M. Roy, Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics), 2006.

L. Denis-vidal, G. Joly-blanchard, C. Noiret, and M. Petitot, An algorithm to test identifiability of non-linear systems, Proceedings of 5th IFAC NOLCOS, vol.7, pp.174-178, 2001.

D. Cox, J. Little, and D. O'shea, Ideals, Varieties and Algorithms. An Introduction to Computational Algebraic Geometry and Commutative Algebra, 1996.

J. Faugère, A new efficient algorithm for computing Gröbner bases without reduction to zero, International Symposium on Symbolic and Algebraic Computation Symposium-ISSAC 2002, 2002.

I. Hwang, S. Kim, Y. Kim, and C. E. Seah, A Survey of Fault Detection, Isolation, and Reconfiguration Methods, IEEE Trans. Contr. Sys. Techn, vol.18, issue.3, pp.636-653, 2010.

R. Seydou, T. Raissi, A. Zolghadri, and D. Efimov, Actuator fault diagnosis for flat systems: A constraint satisfaction approach, International Journal of Applied Mathematics and Computer Science, vol.23, issue.1, pp.171-181, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00694775

S. Ibrir and S. Diop, A numerical procedure for filtering and efficient high-order signal differentiation, Int. J. Appl. Math. Comput. Sci, vol.14, issue.2, pp.201-208, 2004.