title: ADMIT: a toolbox for guaranteed model invalidation, estimation and qualitative-quantitative modeling.
abstract: CONCLUSIONS
  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-then observations. ADMIT (Analysis, Design and Model Invalidation Toolbox) is a MatLab(TM)-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.
  
  
  BACKGROUND
  ADMIT, tutorials and illustrative examples are available free of charge for non-commercial use at http://ifatwww.et.uni-magdeburg.de/syst/ADMIT/
authors.affiliation: Otto-von-Guericke Universität Magdeburg, Institute for Automation Engineering, Systems Theory and Automatic Control Laboratory, Magdeburg, Germany. stefan.streif@ovgu.de
authors.forename: Stefan
authors.initials: S
authors.lastname: Streif
authors.forename: Anton
authors.initials: A
authors.lastname: Savchenko
authors.forename: Philipp
authors.initials: P
authors.lastname: Rumschinski
authors.forename: Steffen
authors.initials: S
authors.lastname: Borchers
authors.forename: Rolf
authors.initials: R
authors.lastname: Findeisen
mesh_terms: D000465:Algorithms; D008954:Models, Biological; D009010:Monte Carlo Method; D012984:Software; D049490:Systems Biology / Q000379:methods