Combining qualitative information and semi-quantitative data for guaranteed invalidation of biochemical network models
DOI10.1002/RNC.2793zbMATH Open1258.93107OpenAlexW2104507918MaRDI QIDQ4909338FDOQ4909338
Authors: Philipp Rumschinski, Stefan Streif, 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
Recommendations
parameter estimationmixed-integer linear programmingqualitative informationmodel invalidationsemi-quantitative data
Systems biology, networks (92C42) Mixed integer programming (90C11) Estimation and detection in stochastic control theory (93E10) Identification in stochastic control theory (93E12)
Cites Work
- Control of systems integrating logic, dynamics, and constraints
- Global optimization with polynomials and the problem of moments
- Semidefinite programming relaxations for semialgebraic problems
- On recurring theorems on diagonal dominance
- Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming
- Symbolic model checking for real-time systems
- Title not available (Why is that?)
- Adaptation and regulation with signal detection implies internal model
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- A reformulation-linearization technique for solving discrete and continuous nonconvex problems
- Reformulation of parameter identification with unknown-but-bounded errors
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
- Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: Linear families of models and estimators
- Dynamics of learning-induced cellular modifications in the cortex
Cited In (4)
- On the performance of nonlinear dynamical systems under parameter perturbation
- Query-based verification of qualitative trends and oscillations in biochemical systems
- Tractable model discrimination for safety-critical systems with disjunctive and coupled constraints
- Partial-node-based resilient set-membership filtering for output-coupled complex networks with event-triggered mechanisms
Uses Software
This page was built for publication: Combining qualitative information and semi-quantitative data for guaranteed invalidation of biochemical network models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909338)
