{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:28:08Z","timestamp":1761488888876},"reference-count":12,"publisher":"Oxford University Press (OUP)","issue":"9","license":[{"start":{"date-parts":[[2016,10,2]],"date-time":"2016-10-02T00:00:00Z","timestamp":1475366400000},"content-version":"vor","delay-in-days":1652,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/3.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Summary: Often competing hypotheses for biochemical networks exist in the form of different mathematical models with unknown parameters. Considering available experimental data, it is then desired to reject model hypotheses that are inconsistent with the data, or to estimate the unknown parameters. However, these tasks are complicated because experimental data are typically sparse, uncertain, and are frequently only available in form of qualitative if\u2013then observations. ADMIT (Analysis, Design and Model Invalidation Toolbox) is a MatLabTM-based tool for guaranteed model invalidation, state and parameter estimation. The toolbox allows the integration of quantitative measurement data, a priori knowledge of parameters and states, and qualitative information on the dynamic or steady-state behavior. A constraint satisfaction problem is automatically generated and algorithms are implemented for solving the desired estimation, invalidation or analysis tasks. The implemented methods built on convex relaxation and optimization and therefore provide guaranteed estimation results and certificates for invalidity.<\/jats:p>\n               <jats:p>Availability: ADMIT, tutorials and illustrative examples are available free of charge for non-commercial use at http:\/\/ifatwww.et.uni-magdeburg.de\/syst\/ADMIT\/<\/jats:p>\n               <jats:p>Contact: \u00a0stefan.streif@ovgu.de<\/jats:p>","DOI":"10.1093\/bioinformatics\/bts137","type":"journal-article","created":{"date-parts":[[2012,3,27]],"date-time":"2012-03-27T00:57:56Z","timestamp":1332809876000},"page":"1290-1291","source":"Crossref","is-referenced-by-count":32,"title":["ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative\u2013quantitative modeling"],"prefix":"10.1093","volume":"28","author":[{"given":"Stefan","family":"Streif","sequence":"first","affiliation":[{"name":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton","family":"Savchenko","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philipp","family":"Rumschinski","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Borchers","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Findeisen","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke Universit\u00e4t Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, 39106, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2012,3,25]]},"reference":[{"key":"2023012512304589500_B1","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1186\/1471-2105-10-132","article-title":"On validation and invalidation of biological models","volume":"10","author":"Anderson","year":"2009","journal-title":"BMC Bioinformatics"},{"key":"2023012512304589500_B2","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/j.ymben.2006.04.003","article-title":"Exploiting the bootstrap method for quantifying parameter confidence intervals in dynamical systems","volume":"8","author":"Joshi","year":"2006","journal-title":"Metab. Eng"},{"key":"2023012512304589500_B3","doi-asserted-by":"crossref","first-page":"1773","DOI":"10.1101\/gr.1226004","article-title":"A benchmark for methods in reverse engineering and model discrimination: problem formulation and solutions","volume":"14","author":"Kremling","year":"2004","journal-title":"Genome Res."},{"key":"2023012512304589500_B4","doi-asserted-by":"crossref","DOI":"10.1109\/CACSD.2004.1393890","article-title":"Yalmip: a toolbox for modeling and optimization in MATLAB","volume-title":"Proceedings of the CACSD Conference","author":"L\u00f6fberg","year":"2004"},{"key":"2023012512304589500_B5","doi-asserted-by":"crossref","first-page":"2037","DOI":"10.1093\/bioinformatics\/btn350","article-title":"Dynamical modeling and multi-experiment fitting with potterswheel","volume":"24","author":"Maiwald","year":"2008","journal-title":"Bioinformatics"},{"key":"2023012512304589500_B6","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/TAC.1982.1102926","article-title":"Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: linear families of models and estimators","volume":"27","author":"Milanese","year":"2002","journal-title":"IEEE T. Automat. Contr."},{"key":"2023012512304589500_B7","doi-asserted-by":"crossref","first-page":"2467","DOI":"10.1101\/gr.1262503","article-title":"Parameter estimation in biochemical pathways: a comparison of global optimization methods","volume":"13","author":"Moles","year":"2003","journal-title":"Genome Res."},{"key":"2023012512304589500_B8","doi-asserted-by":"crossref","first-page":"1923","DOI":"10.1093\/bioinformatics\/btp358","article-title":"Structural and practical identifiability analysis of partially observed dynamical models by exploiting the profile likelihood","volume":"25","author":"Raue","year":"2009","journal-title":"Bioinformatics"},{"key":"2023012512304589500_B9","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1186\/1752-0509-4-69","article-title":"Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks","volume":"4","author":"Rumschinski","year":"2010","journal-title":"BMC Syst. Biol."},{"key":"2023012512304589500_B10","doi-asserted-by":"crossref","DOI":"10.1002\/rnc.2793","article-title":"Combining qualitative information and semi-quantitative data for guaranteed invalidation of biochemical network models","author":"Rumschinski","year":"2012","journal-title":"Int. J. Robust. Nonlin. Control."},{"key":"2023012512304589500_B11","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1093\/bioinformatics\/bti799","article-title":"Systems biology toolbox for MATLAB: a computational platform for research in systems biology","volume":"22","author":"Schmidt","year":"2006","journal-title":"Bioinformatics"},{"key":"2023012512304589500_B12","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1016\/0378-4754(90)90002-Z","article-title":"Estimation of parameter bounds from bounded-error data: a survey","volume":"32","author":"Walter","year":"1990","journal-title":"Math. Comput. Simulat."}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/28\/9\/1290\/48877435\/bioinformatics_28_9_1290.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/28\/9\/1290\/48877435\/bioinformatics_28_9_1290.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T15:58:09Z","timestamp":1674662289000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/28\/9\/1290\/313348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,25]]},"references-count":12,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2012,5,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/bts137","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2012,5,1]]},"published":{"date-parts":[[2012,3,25]]}}}