Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models
DOI10.1002/rnc.2793zbMath1258.93107OpenAlexW2104507918MaRDI QIDQ4909338
Stefan Streif, Philipp Rumschinski, Rolf Findeisen
Publication date: 13 March 2013
Published in: International Journal of Robust and Nonlinear Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/rnc.2793
parameter estimationmixed-integer linear programmingqualitative informationmodel invalidationsemi-quantitative data
Mixed integer programming (90C11) Estimation and detection in stochastic control theory (93E10) Identification in stochastic control theory (93E12) Systems biology, networks (92C42)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Dynamics of learning-induced cellular modifications in the cortex
- Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming
- Reformulation of parameter identification with unknown-but-bounded errors
- On recurring theorems on diagonal dominance
- A reformulation-linearization technique for solving discrete and continuous nonconvex problems
- Control of systems integrating logic, dynamics, and constraints
- Symbolic model checking for real-time systems
- Semidefinite programming relaxations for semialgebraic problems
- Adaptation and regulation with signal detection implies internal model
- Global Optimization with Polynomials and the Problem of Moments
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: Linear families of models and estimators
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
This page was built for publication: Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models
