{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:00Z","timestamp":1762521360900},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["BMC Syst Biol"],"published-print":{"date-parts":[[2010,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:sec>\n            <jats:title>Background<\/jats:title>\n            <jats:p>Mathematical modeling and analysis have become, for the study of biological and cellular processes, an important complement to experimental research. However, the structural and quantitative knowledge available for such processes is frequently limited, and measurements are often subject to inherent and possibly large uncertainties. This results in competing model hypotheses, whose kinetic parameters may not be experimentally determinable. Discriminating among these alternatives and estimating their kinetic parameters is crucial to improve the understanding of the considered process, and to benefit from the analytical tools at hand.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Results<\/jats:title>\n            <jats:p>In this work we present a set-based framework that allows to discriminate between competing model hypotheses and to provide guaranteed outer estimates on the model parameters that are consistent with the (possibly sparse and uncertain) experimental measurements. This is obtained by means of exact proofs of model invalidity that exploit the polynomial\/rational structure of biochemical reaction networks, and by making use of an efficient strategy to balance solution accuracy and computational effort.<\/jats:p>\n          <\/jats:sec>\n          <jats:sec>\n            <jats:title>Conclusions<\/jats:title>\n            <jats:p>The practicability of our approach is illustrated with two case studies. The first study shows that our approach allows to conclusively rule out wrong model hypotheses. The second study focuses on parameter estimation, and shows that the proposed method allows to evaluate the global influence of measurement sparsity, uncertainty, and prior knowledge on the parameter estimates. This can help in designing further experiments leading to improved parameter estimates.<\/jats:p>\n          <\/jats:sec>","DOI":"10.1186\/1752-0509-4-69","type":"journal-article","created":{"date-parts":[[2010,5,25]],"date-time":"2010-05-25T21:35:29Z","timestamp":1274823329000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":52,"title":["Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks"],"prefix":"10.1186","volume":"4","author":[{"given":"Philipp","family":"Rumschinski","sequence":"first","affiliation":[]},{"given":"Steffen","family":"Borchers","sequence":"additional","affiliation":[]},{"given":"Sandro","family":"Bosio","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Weismantel","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Findeisen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,5,25]]},"reference":[{"key":"458_CR1","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1038\/nature01254","volume":"420","author":"H Kitano","year":"2002","unstructured":"Kitano H: Computational systems biology. Nature. 2002, 420: 206-210. 10.1038\/nature01254","journal-title":"Nature"},{"key":"458_CR2","first-page":"2104","volume-title":"Proc 45th IEEE Conf on Dec and Contr., CDC'06, San Diego, USA","author":"M Farina","year":"2006","unstructured":"Farina M, Findeisen R, Bullinger E, Bittanti S, Allg\u00f6wer F, Wellstead P: Results towards identifiability properties of biochemical reaction networks. Proc 45th IEEE Conf on Dec and Contr., CDC'06, San Diego, USA. 2006, 2104-2109."},{"key":"458_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/3527603603","volume-title":"Systems biology in practice. Concepts, implementation and application","author":"E Klipp","year":"2005","unstructured":"Klipp E, Herwig R, Kowald A, Wierling C, Lehrach H: Systems biology in practice. Concepts, implementation and application. 2005, Weinheim: Wiley-VCH,"},{"key":"458_CR4","volume-title":"Fundamentals of enzyme kinetics","author":"A Cornish-Bowden","year":"2004","unstructured":"Cornish-Bowden A: Fundamentals of enzyme kinetics. 2004, Portland Press, 3,","edition":"3"},{"key":"458_CR5","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1038\/nature01546","volume":"422","author":"WJ Blake","year":"2003","unstructured":"Blake WJ, K\u00e6rn M, Cantor CR, Collins JJ: Noise in eukaryotic gene expression. Nature. 2003, 422: 633-637. 10.1038\/nature01546","journal-title":"Nature"},{"key":"458_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1146\/annurev.biophys.27.1.199","volume":"27","author":"HH McAdams","year":"1998","unstructured":"McAdams HH, Arkin A: Simulation of prokaryotic genetic circuits. Annu Rev Biophys Biomol Struct. 1998, 27: 199-244. 10.1146\/annurev.biophys.27.1.199","journal-title":"Annu Rev Biophys Biomol Struct"},{"key":"458_CR7","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1524\/auto.2008.0703","volume":"56","author":"E Bullinger","year":"2008","unstructured":"Bullinger E, Fey D, Farina M, Findeisen R: Identification of biochemical reaction networks: An observer based approach. at-Autom. 2008, 56: 269-279. 10.1524\/auto.2008.0703.","journal-title":"at-Autom"},{"key":"458_CR8","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.tim.2006.11.003","volume":"15","author":"FJ Bruggeman","year":"2007","unstructured":"Bruggeman FJ, Westerhoff HV: The nature of systems biology. TRENDS in Microbiol. 2007, 15: 45-50. 10.1016\/j.tim.2006.11.003.","journal-title":"TRENDS in Microbiol"},{"key":"458_CR9","volume-title":"System identification. Theory for the user","author":"L Ljung","year":"1998","unstructured":"Ljung L: System identification. Theory for the user. 1998, Prentice Hall, 2,","edition":"2"},{"key":"458_CR10","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1137\/0111030","volume":"11","author":"DW Marquardt","year":"1963","unstructured":"Marquardt DW: An algorithm for least-squares of nonlinear parameters. SIAM J Appl Math. 1963, 11: 431-441. 10.1137\/0111030.","journal-title":"SIAM J Appl Math"},{"key":"458_CR11","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1016\/j.biosystems.2005.06.016","volume":"83","author":"M Rodriguez-Fernandez","year":"2006","unstructured":"Rodriguez-Fernandez M, Mendes P, Banga J: A hybrid approach for efficient and robust parameter estimation in biochemical pathways. Biosystems. 2006, 83: 248-265. 10.1016\/j.biosystems.2005.06.016","journal-title":"Biosystems"},{"key":"458_CR12","doi-asserted-by":"publisher","first-page":"2467","DOI":"10.1101\/gr.1262503","volume":"13","author":"CG Moles","year":"2003","unstructured":"Moles CG, Mendes P, Banga JR: Parameter estimation in biochemical pathways: A comparison of global optimization methods. Genome Res. 2003, 13: 2467-2474. 10.1101\/gr.1262503","journal-title":"Genome Res"},{"key":"458_CR13","doi-asserted-by":"publisher","first-page":"869","DOI":"10.1093\/bioinformatics\/14.10.869","volume":"14","author":"P Mendes","year":"1998","unstructured":"Mendes P, Kell DB: Non-linear optimization of biochemical pathways: Applications to metabolic engineering and parameter estimation. Bioinformatics. 1998, 14: 869-883. 10.1093\/bioinformatics\/14.10.869","journal-title":"Bioinformatics"},{"key":"458_CR14","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1093\/bioinformatics\/btg027","volume":"19","author":"S Kikuchi","year":"2003","unstructured":"Kikuchi S, Tominaga D, Arita M, Takahashi K, Tomita M: Dynamic modeling of genetic networks using genetic algorithm and S-system. Bioinformatics. 2003, 19: 643-650. 10.1093\/bioinformatics\/btg027","journal-title":"Bioinformatics"},{"key":"458_CR15","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1186\/1752-0509-2-26","volume":"2","author":"E Balsa-Canto","year":"2008","unstructured":"Balsa-Canto E, Pfeifer M, Banga JR, Timmer J, Fleck C: Hybrid optimization method with general switching strategy for parameter estimation. BMC Syst Biol. 2008, 2: 26-35. 10.1186\/1752-0509-2-26","journal-title":"BMC Syst Biol"},{"key":"458_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF02592070","volume":"39","author":"AHG Rinnooy-Kan","year":"1987","unstructured":"Rinnooy-Kan AHG, Timmer GT: Stochastic global optimization methods. Part I: Clustering methods. Math Prog. 1987, 39: 27-56. 10.1007\/BF02592070.","journal-title":"Math Prog"},{"key":"458_CR17","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S Kirkpatrick","year":"1983","unstructured":"Kirkpatrick S, Gellatt CD, Vecchi MP: Optimization by simulated annealing. Science. 1983, 220: 671-680. 10.1126\/science.220.4598.671","journal-title":"Science"},{"key":"458_CR18","unstructured":"Stochastic methods. Handbook of global optimization. Kluwer Academic Publishers,"},{"key":"458_CR19","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-7908-1823-9_3","volume-title":"Granular computing. an emerging paradigm","author":"L Jaulin","year":"2001","unstructured":"Jaulin L, Walter E: Nonlinear bounded-error parameter estimation using interval computation. Granular computing. an emerging paradigm. Edited by: Pedrycz W. 2001, 58-71. Heidelberg, Germany: Physica-Verlag Heidelberg,"},{"issue":"2","key":"458_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.cam.2005.07.039","volume":"199","author":"E Walter","year":"2007","unstructured":"Walter E, Kieffer M: Guaranteed nonlinear parameter estimation in knowledge-based models. J Comput Appl Math. 2007, 199 (2): 277-285. 10.1016\/j.cam.2005.07.039.","journal-title":"J Comput Appl Math"},{"key":"458_CR21","unstructured":"Applied Interval Analysis. London, UK: Springer,"},{"key":"458_CR22","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1186\/1471-2105-10-132","volume":"10","author":"J Anderson","year":"2009","unstructured":"Anderson J, Papachristodoulou A: On validation and invalidation of biological models. BMC Bioinfo. 2009, 10: 132-145. 10.1186\/1471-2105-10-132.","journal-title":"BMC Bioinfo"},{"key":"458_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.automatica.2005.08.007","volume":"42","author":"S Prajna","year":"2006","unstructured":"Prajna S: Barrier certificates for nonlinear model validation. Automatica. 2006, 42: 117-126. 10.1016\/j.automatica.2005.08.007.","journal-title":"Automatica"},{"key":"458_CR24","first-page":"7172","volume-title":"Proc of the 17th IFAC World Congress","author":"L Ljung","year":"2008","unstructured":"Ljung L: Perspectives on system identification. Proc of the 17th IFAC World Congress. 2008, 7172-7184."},{"key":"458_CR25","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1186\/1471-2105-8-12","volume":"8","author":"L Kuepfer","year":"2007","unstructured":"Kuepfer L, Sauer U, Parrilo PA: Efficient classification of complete parameter regions based on semidefinite programming. BMC Bioinfo. 2007, 8: 12-23. 10.1186\/1471-2105-8-12.","journal-title":"BMC Bioinfo"},{"key":"458_CR26","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.crvi.2005.09.005","volume":"329","author":"S Schnell","year":"2006","unstructured":"Schnell S, Chappell MJ, Evans ND, Roussel MR: The mechanism distinguishability problem in biochemical kinetics: The single-enzyme, single-substrate reaction as a case study. Compt rend-biol. 2006, 329: 51-61. 10.1016\/j.crvi.2005.09.005.","journal-title":"Compt rend-biol"},{"key":"458_CR27","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/TAC.2008.2006927","volume":"54","author":"ED Sontag","year":"2009","unstructured":"Sontag ED, Wang Y, Megretski A: Input classes for identifiability of bilinear systems. IEEE Trans Aut Cont. 2009, 54: 195-207. 10.1109\/TAC.2008.2006927.","journal-title":"IEEE Trans Aut Cont"},{"key":"458_CR28","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1137\/S1052623400366802","volume":"11","author":"JB Lasserre","year":"2001","unstructured":"Lasserre JB: Global optimization with polynomials and the problem of moments. SIAM J Opt. 2001, 11: 796-817. 10.1137\/S1052623400366802.","journal-title":"SIAM J Opt"},{"key":"458_CR29","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10107-003-0387-5","volume":"96","author":"PA Parrilo","year":"2003","unstructured":"Parrilo PA: Semidefinite programming relaxations for semi-algebraic problems. Math Progr., Ser B. 2003, 96: 293-320. 10.1007\/s10107-003-0387-5.","journal-title":"Math Progr., Ser B"},{"key":"458_CR30","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0025-5564(83)90058-5","volume":"65","author":"M Schauer","year":"1983","unstructured":"Schauer M, Heinrich R: Quasi-steady-state approximation in the mathematical modeling of biochemical reaction networks. Math Biosci. 1983, 65: 155-170. 10.1016\/0025-5564(83)90058-5.","journal-title":"Math Biosci"},{"key":"458_CR31","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/BF00251225","volume":"47","author":"F Horn","year":"1972","unstructured":"Horn F, Jackson R: General mass action kinetics. Arch Rat Mech Anal. 1972, 47: 81-116. 10.1007\/BF00251225.","journal-title":"Arch Rat Mech Anal"},{"key":"458_CR32","volume-title":"Dynamical systems and numerical analysis","author":"AM Stuart","year":"1996","unstructured":"Stuart AM, Humphries AR: Dynamical systems and numerical analysis. 1996, Cambridge, UK: Cambridge University Press,"},{"key":"458_CR33","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1038\/378610a0","volume":"378","author":"JE Cohen","year":"1995","unstructured":"Cohen JE: Unexpected dominance of high frequencies in chaotic nonlinear population models. Nature. 1995, 378: 610-612. 10.1038\/378610a0","journal-title":"Nature"},{"key":"458_CR34","first-page":"6786","volume-title":"Proc 48th IEEE Conf on Dec and Contr., CDC'09, Shanghai, China","author":"S Borchers","year":"2009","unstructured":"Borchers S, Rumschinski P, Bosio S, Weismantel R, Findeisen R: A set-based framework for coherent model invalidation and parameter estimation of discrete time nonlinear systems. Proc 48th IEEE Conf on Dec and Contr., CDC'09, Shanghai, China. 2009, 6786-6792."},{"key":"458_CR35","volume-title":"PhD thesis","author":"MV Ramana","year":"1994","unstructured":"Ramana MV: An algorithmic analysis of multiquadratic and semidefinite programming problems. PhD thesis. 1994, John Hopkins University,"},{"key":"458_CR36","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970791","volume-title":"Interior-Point Polynomial Algorithms in Convex Programming, Volume 13 of SIAM Studies in Applied Mathematics","author":"Y Nesterov","year":"1994","unstructured":"Nesterov Y, Nemirovskii A: Interior-Point Polynomial Algorithms in Convex Programming, Volume 13 of SIAM Studies in Applied Mathematics. 1994, Philadelphia, PA: SIAM,"},{"key":"458_CR37","first-page":"916","volume":"135","author":"V Henri","year":"1902","unstructured":"Henri V: General theory of action of certain hydrolases. C R H Acad Sci Paris. 1902, 135: 916-919.","journal-title":"C R H Acad Sci Paris"},{"key":"458_CR38","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1016\/S0022-2275(20)40236-6","volume":"5","author":"NR Marquis","year":"1964","unstructured":"Marquis NR, Fritz IB: Enzymological determination of free carnitine concentrations in rat tissues. J Lipid Res. 1964, 5: 184-187.","journal-title":"J Lipid Res"},{"issue":"2","key":"458_CR39","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1128\/AAC.10.2.347","volume":"10","author":"PS Lietman","year":"1976","unstructured":"Lietman PS, White TJ, Shaw WV: Chloramphenicol: an enzymological microassay. Antimicrob Agents Ch. 1976, 10 (2): 347-353.","journal-title":"Antimicrob Agents Ch"},{"key":"458_CR40","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/S0003-2697(02)00286-5","volume":"310","author":"C Rojas","year":"2002","unstructured":"Rojas C, Frazier ST, Flanary J, Slusher BS: Kinetics and inhibition of glutamate carboxypeptidase II using a microplate assay. Anal Biochem. 2002, 310: 50-54. 10.1016\/S0003-2697(02)00286-5","journal-title":"Anal Biochem"},{"key":"458_CR41","doi-asserted-by":"crossref","first-page":"1420","DOI":"10.1152\/physrev.1983.63.4.1420","volume":"63","author":"J Bremer","year":"1983","unstructured":"Bremer J: Carnitine - Metabolism and function. Physiol Rev. 1983, 63: 1420-1480.","journal-title":"Physiol Rev"},{"key":"458_CR42","doi-asserted-by":"crossref","first-page":"13698","DOI":"10.1016\/S0021-9258(18)67077-2","volume":"261","author":"W Lysiak","year":"1986","unstructured":"Lysiak W, Toth PP, Suelter CH, Bieber LL: Quantitation of the eflux of acylcarnitines from rat heart, brain and liver mitochondria. J Biol Chem. 1986, 261: 13698-13703.","journal-title":"J Biol Chem"},{"key":"458_CR43","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1146\/annurev.bi.57.070188.001401","volume":"57","author":"LL Bieber","year":"1988","unstructured":"Bieber LL: Carnitine. Ann Rev Biochem. 1988, 57: 261-283. 10.1146\/annurev.bi.57.070188.001401","journal-title":"Ann Rev Biochem"},{"key":"458_CR44","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1124\/dmd.104.001560","volume":"33","author":"M Grube","year":"2005","unstructured":"Grube M, Schwabedissen HMZ, Draber K, Pr\u00e4ger D, M\u00f6ritz KU, Linnemann K, Fusch C, Jedlitschky G, Kroemer HK: Expression, localization, and function of the carnitine transporter OCTN2 (SLC22A5) in human placenta. Drug Metab Dispos. 2005, 33: 31-37. 10.1124\/dmd.104.001560","journal-title":"Drug Metab Dispos"},{"issue":"8","key":"458_CR45","doi-asserted-by":"publisher","first-page":"1729","DOI":"10.1007\/s11095-006-9002-9","volume":"23","author":"N Okamura","year":"2006","unstructured":"Okamura N, Ohnishi S, Shimaoka H, Norikura R, Hasegawa H: Involvement of recognition and interaction of carnitine transporter in the decrease of L-carnitine concentration induced by pivalic acid and valproic acid. Pharm Res. 2006, 23 (8): 1729-1735. 10.1007\/s11095-006-9002-9","journal-title":"Pharm Res"},{"key":"458_CR46","first-page":"1","volume-title":"Convex optimization in signal processing and communications","author":"J Mattingley","year":"2010","unstructured":"Mattingley J, Boyd S: Automatic Code Generation for Real-Time Convex Optimization. Convex optimization in signal processing and communications. Edited by: Eldar YC, Palomar DP. 2010, 1-41. Cambridge, UK: Cambridge University Press,"},{"key":"458_CR47","first-page":"9701","volume-title":"Proc of the 17th IFAC World Congress, Seoul, Korea","author":"S Waldherr","year":"2008","unstructured":"Waldherr S, Findeisen R, Allg\u00f6wer F: Global sensitivity analysis of biochemical reaction networks via semidefinite programming. Proc of the 17th IFAC World Congress, Seoul, Korea. 2008, 9701-9706."},{"key":"458_CR48","first-page":"674","volume-title":"Proc Int Symp Adv Control of Chemical Processes, ADCHEM'09, Istanbul, Turkey","author":"J Hasenauer","year":"2009","unstructured":"Hasenauer J, Rumschinski P, Waldherr S, Borchers S, Allg\u00f6wer F, Findeisen R: Guaranteed steady-state bounds for uncertain chemical processes. Proc Int Symp Adv Control of Chemical Processes, ADCHEM'09, Istanbul, Turkey. 2009, 674-679."},{"key":"458_CR49","volume-title":"Proc 6th Vienna Int Conf on Math Model. (MATHMOD'09), Vienna, Austria","author":"S Borchers","year":"2009","unstructured":"Borchers S, Rumschinski P, Bosio S, Weismantel R, Findeisen R: Model discrimination and parameter estimation via infeasibility certificates for dynamical biochemical reaction networks. Proc 6th Vienna Int Conf on Math Model. (MATHMOD'09), Vienna, Austria. 2009,"}],"container-title":["BMC Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1186\/1752-0509-4-69.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T05:07:50Z","timestamp":1630472870000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcsystbiol.biomedcentral.com\/articles\/10.1186\/1752-0509-4-69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,25]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["458"],"URL":"https:\/\/doi.org\/10.1186\/1752-0509-4-69","relation":{},"ISSN":["1752-0509"],"issn-type":[{"value":"1752-0509","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,25]]},"assertion":[{"value":"8 November 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2010","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2010","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"69"}}