Combining qualitative information and semi-quantitative data for guaranteed invalidation of biochemical network models
From MaRDI portal
Publication:4909338
Recommendations
Cites work
- scientific article; zbMATH DE number 1090658 (Why is no real title available?)
- A reformulation-linearization technique for solving discrete and continuous nonconvex problems
- Adaptation and regulation with signal detection implies internal model
- Control of systems integrating logic, dynamics, and constraints
- Dynamics of learning-induced cellular modifications in the cortex
- Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: Linear families of models and estimators
- Global optimization with polynomials and the problem of moments
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning
- On recurring theorems on diagonal dominance
- Reformulation of parameter identification with unknown-but-bounded errors
- Semidefinite programming relaxations for semialgebraic problems
- Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming
- Symbolic model checking for real-time systems
- Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
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
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)
