F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Computing representations for radicals of finitely generated differential ideals, Applicable Algebra in Engineering, Communication and Computing, vol.3, issue.1, 1997.
DOI : 10.1007/s00200-009-0091-7
URL : https://hal.archives-ouvertes.fr/hal-00820902

J. C. Cruz-victoria, R. Martinez-guerra, and J. J. Rincon-pasaye, On nonlinear systems diagnosis using differential and algebraic methods, Journal of the Franklin Institute, vol.345, issue.2, pp.102-118, 2008.
DOI : 10.1016/j.jfranklin.2007.07.001

L. Denis-vidal, G. Joly-blanchard, and C. Noiret, Some effective approaches to check the identifiability of uncontrolled nonlinear systems, Mathematics and Computers in Simulation, vol.57, issue.1-2, pp.35-44, 2001.
DOI : 10.1016/S0378-4754(01)00274-9

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, pp.174-178, 2001.

C. Jauberthie, N. Verdière, and L. Travé-massuyès, Fault detection and identification relying on set-membership identifiability, Annual Reviews in Control, vol.37, issue.1, pp.129-136, 2013.
DOI : 10.1016/j.arcontrol.2013.04.002

M. Krusemeyer, Why Does the Wronskian Work?, The American Mathematical Monthly, vol.95, issue.1, pp.46-49, 1988.
DOI : 10.2307/2323448

A. Levant, Robust exact differentiation via sliding mode technique, Automatica, vol.34, issue.3, pp.379-384, 1998.
DOI : 10.1016/S0005-1098(97)00209-4

A. Levant, Higher-order sliding modes, differentiation and output-feedback control, International Journal of Control, vol.76, issue.9-10, pp.924-941, 2003.
DOI : 10.1080/0020717031000099029

L. Ljung and T. Glad, On global identifiability for arbitrary model parametrizations, Automatica, vol.30, issue.2, pp.265-276, 1994.
DOI : 10.1016/0005-1098(94)90029-9

G. Margaria, M. Riccomagno, H. Chapell, and . Wynn, Differential algebra methods for the study of the structural identifiability of rational function state-space models in the biosciences, Mathematical Biosciences, vol.174, issue.1, pp.1-26, 2001.
DOI : 10.1016/S0025-5564(01)00079-7

J. Ritt, Differential Algebra, AMS Colloquium, vol.33, 1950.
DOI : 10.1090/coll/033

R. Seliger and P. M. 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.

M. Staroswiecki and G. Comtet-varga, Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems, Automatica, vol.37, issue.5, pp.687-699, 2001.
DOI : 10.1016/S0005-1098(01)00005-X

L. Travé-massuyès, T. Escobet, and X. 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

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, pp.101-110, 2005.

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.
DOI : 10.1016/S0005-1098(98)00085-5
URL : https://hal.archives-ouvertes.fr/inria-00073570