×

A systematic approach for doing an a priori identifiability study of dynamical nonlinear models. (English) Zbl 1410.93034

Summary: This paper presents a method for investigating, through an automatic procedure, the (lack of) structural identifiability of dynamical models parameters. This method takes into account constraints on parameters and returns parameters whose estimations turn unidentifiable parameters into identifiable ones. It is based on (i) an equivalence between an extension of the notion of identifiability and the existence of solutions of algebraic systems, (ii) the use of symbolic computations for testing their existence. This method is described in details and is applied to two examples, the last one involving 12 parameters.

MSC:

93B30 System identification
93C10 Nonlinear systems in control theory
92D30 Epidemiology
92D25 Population dynamics (general)
93-04 Software, source code, etc. for problems pertaining to systems and control theory
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

References:

[1] Anguelova, M.; Karlsson, J.; Jirstrand, M., Minimal output sets for identifiability, Math. Biosci., 239, 1, 139-153 (2012) · Zbl 1320.93032
[2] Audoly, S.; Bellu, G.; D’Angio, L.; Saccomani, M. P.; Cobelli, C., Global identifiability of nonlinear models of biological systems, IEEE Trans. Biomed. Eng., 48, 55-65 (2001)
[3] Basu, S.; Pollack, R.; Roy, M.-F., Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics) (2006), Springer-Verlag New York, Inc.: Springer-Verlag New York, Inc. Secaucus, NJ, USA
[4] Bellu, G.; Saccomani, M. P.; Audoly, S.; D’Angiò, L., DAISY: a new software tool to test global identifiability of biological and physiological systems, Comput. Methods Programs Biomed., 28 (1), 52—-61 (2007)
[5] Brown, C. W., QEPCAD B: a program for computing with semi-algebraic sets using CADs, SIGSAM Bull., 37, 97-108 (2003) · Zbl 1083.68148
[6] Brun, R.; Khni, M.; Siegrist, H.; Gujer, W.; Reichert, P., Practical identifiability of ASM2D parameters systematic selection and tuning of parameter subsets, Water Res., 36, 16, 4113-4127 (2002)
[7] Chapman, M.; Godfrey, K.; Chappell, M.; Evans, N., Structural identifiability of nonlinear systems using linear/nonlinear splitting, Int. J. Control, 76, 209-216 (2003) · Zbl 1048.93022
[8] Chappell, M.; Godfrey, K., Structural identifiability of the parameters of a nonlinear batch reactor model, Math. Biosci., 108, 245-251 (1992) · Zbl 0738.92010
[9] Chappell, M.; Gunn, R., A procedure for generating locally identifiable reparameterisations of unidentifiable non-linear systems by the similarity transformation approach, Mathematical biosciences, 148, 21-41 (1998) · Zbl 0910.93027
[10] Choquet, R.; Cole, D., A hybrid symbolic-numerical method for determining model structure, Math. Biosci., 236, 2, 117-125 (2012) · Zbl 1307.00020
[11] Cintrón-Arias, A.; Banks, H.; Capaldi, A.; Lloyd, A., A sensitivity matrix based methodology for inverse problem formulation, Journal of Inverse and Ill-posed Problems, 17, 1-20 (2009) · Zbl 1179.34008
[12] Cole, D.; Morgan, B.; Catchpole, E.; Hubbarn, B., Parameter redundancy in Markrecovery models, Biom. J., 54, 2, 117-125 (2012)
[13] Denis-Vidal, L.; Joly-Blanchard, G., Equivalence an identifiability analysis of uncontrolled nonlinear dynamical systems, Automatica, 40, 287-292 (2004) · Zbl 1034.93008
[14] Denis-Vidal, L.; Joly-Blanchard, G.; Noiret, C., Some effective approaches to check identifiability of uncontrolled nonlinear systems, Math. Comput. Simul., 57, 35-44 (2001) · Zbl 0984.93011
[15] Denis-Vidal, L.; Joly-Blanchard, G.; Noiret, C.; Petitot, M., An algorithm to test identifiability of non-linear systems, Proceedings of Fifth IFAC NOLCOS, St Petersburg, Russia, 7, 174-178 (2001)
[16] Diop, M.; Fliess, M., Nonlinear observability, identifiability and persistent trajectories, Proceedings of the Thirtieth CDC, Brighton, UK, 714-719 (1991)
[17] Eisenberg, M.; Hayashi, M., Determining identifiable parameter combinations using subset profiling, Math. Biosci., 256, 116-126 (2014) · Zbl 1330.92009
[18] M. Safey El Din. RAGlib : Real algebraic geometry library. www-polsys.lip6.fr/ safey/RAGLib/, 2007.; M. Safey El Din. RAGlib : Real algebraic geometry library. www-polsys.lip6.fr/ safey/RAGLib/, 2007.
[19] Evans, N.; Chapman, M.; Chappell, M.; Godfrey, K., Identifiability of uncontrolled nonlinear rational systems, Automatica, 38, 1799-1805 (2002) · Zbl 1011.93506
[20] Evans, N.; Chappell, M., Extensions to a procedure for generating locally identifiable reparameterisations of unidentifiable systems, Math. Biosci., 168, 137-159 (2000) · Zbl 0989.93021
[21] Fliess, M.; Glad, T., An algebraic approach to linear and nonlinear control, Essays on Control: Perspectives in the Theory and it Application, Cambridge, MA, Birkhauser, 7, 223-267 (1993) · Zbl 0838.93021
[22] S. Glad, Nonlinear input output relations and identifiability, Proceedings of the 31st IEEE Conference on Decision and Control, 1992.; S. Glad, Nonlinear input output relations and identifiability, Proceedings of the 31st IEEE Conference on Decision and Control, 1992.
[23] Harris, S.; Ross, J., Beginning Algorithms (2005), Wiley Indianapolis, IN
[24] Holmberg, A.; Ranta, J., Procedures for parameter and state estimation of microbial growth process models, Automatica, 18(2), 181-193 (1982) · Zbl 0487.93052
[25] Janzén, D.; Jirstrand, M.; Chappell, M.; Evans, N., Three novel approaches to structural identifiability analysis in mixed-effects models, Computer Methods and Programs in Biomedicine (2016), ISSN 0169-2607
[26] Ljung, L.; Glad, T., On global identifiability for arbitrary model parameterizations, Automatica, 30, 265-276 (1994) · Zbl 0795.93026
[27] McLean, K.; Wu, S.; McAuley, K., Mean-squared-error methods for selecting optimal parameter subsets for estimation, Ind. Eng. Chem. Res., 51, 17, 6105-6115 (2012)
[28] Meshkat, N.; Anderson, C.; DiStefano, J., Finding identifiable parameter combinations in nonlinear ODE models and the rational reparameterization of their input-output equations, Math. Biosci., 233, 1, 19-31 (2011) · Zbl 1226.92004
[29] Meshkat, N.; Anderson, C.; DiStefano III, J., Alternative to Ritt’s pseudodivision for finding the input-output equations in algebraic structural identifiability analysis, Mathematical biosciences, 239, 117-123 (2012) · Zbl 1320.93035
[30] Meshkat, N.; Eisenberg, M.; DiStefano, J., An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using grȵobner bases, Math. Biosci., 222, 2, 61-72 (2009) · Zbl 1179.93066
[31] Meshkat, N.; Kuo, C.; DiStefano, J., On finding and using identifiable parameter combinations in nonlinear dynamic systems biology models and combos: a novel web implementation, IFAC-PapersOnLine, 49, 26, 171-177 (2016), ISSN 2405-8963
[32] Meshkat, N.; Sullivant, S., Identifiable reparameterizations of linear compartment models, J. Symb. Comput., 63, 46-67 (2014) · Zbl 1302.93077
[33] Moulay, D.; Aziz-Alaoui, M.; Cadivel, M., The chikungunya disease: modeling, vector and transmission global dynamics, Math. Biosci., 229, 1, 50-63 (2011) · Zbl 1208.92044
[34] Pironet, A.; Dauby, P.; Chase, J.; Docherty, P.; Revie, J.; Desaive, T., Structural identifiability analysis of a cardiovascular system model, Med. Eng. Phys., 38, 5, 433-441 (2016)
[35] Pohjanpalo, H., System identifiability based on the power series expansion of the solution, Math. Biosci., 41, 21-33 (1978) · Zbl 0393.92008
[36] Rabinowitsch, J. L., Zum hilbertschen nullstellensatz, Math. Ann., 102, 1, 520 (1930) · JFM 55.0103.04
[37] Saccomani, M.; Audoly, S.; Bellu, G.; D’Angiò, L., Examples of testing global identifiability of biological and biomedical models with the DAISY software, J. Comput. Biol. Med., 40 (4), 402-407 (2010)
[38] Saccomani, M.; Audoly, S.; D’Angio, L., Parameter identifiability of nonlinear systems: the role of initial conditions, Automatica, 39, 619-632 (2004) · Zbl 1034.93014
[39] Stigter, J. D.; Molenaar, J., A fast algorithm to assess local structural identifiability, Autom. J. IFAC, 58, 118-124 (2015) · Zbl 1330.93068
[40] Tarantola, A., Inverse Problem Theory and Methods for Model Parameter Estimation (2005), Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA · Zbl 1074.65013
[41] Verdière, N.; Denis-Vidal, L.; Joly-Blanchard, G.; Domurado, D., Identifiability and estimation of pharmacokinetic parameters for the ligands of the macrophage mannose receptor, Int. J. Appl. Math. Comput. Sci., 15, 517-526 (2005) · Zbl 1104.92027
[42] Walch, O.; Eisenberg, M., Parameter identifiability and identifiable combinations in generalized Hodgkin-Huxley models, Neurocomputing, 199, 137-143 (2016)
[43] Walter, E.; Lecourtier, Y., Global approaches to identifiability testing for linear and nonlinear state space models, Math. Comput. Simul., 24, 472-482 (1982) · Zbl 0504.93021
[44] Weijers, S.; Vanrolleghem, P., A procedure for selecting best identifiable parameters in calibrating activated sludge model no. 1 to full-scale plant data, Water Sci. Technol., 36, 5, 69-79 (1997)
[45] Xia, B., DISCOVERER: a tool for solving semi-algebraic systems, ACM Commun. Comput. Algebra, 41, 3, 102-103 (2007)
[46] Z. Shousheng, L. D.-V. N.V., Identifiabilitys study in a model describing the propagation of the Chikungunya to the human population, Proceedings of the MOSIM 2014, Nancy,France (2014)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.