Combining qualitative information and semi‐quantitative data for guaranteed invalidation of biochemical network models

No abstract is available for this paper.

• Publication year

  2012

• Venue

  International Journal of Robust and Nonlinear Control

• Publication date

  2012-07-10

• Fields of study

  Biology, Mathematics, Computer Science

• Identifiers
  DOI 10.1002/rnc.2793
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Linear temporal logic vehicle routing with applications to multi‐UAV mission planning

  2011cited by this paper
• Fault Diagnosis for Polynomial Hybrid Systems

  2011cited by this paper
• Set-base dynamical parameter estimation and model invalidation for biochemical reaction networks

  2010influential reference
• A predictive computational model of the kinetic mechanism of stimulus-induced transducer methylation and feedback regulation through CheY in archaeal phototaxis and chemotaxis

  2010cited by this paper
• A cutting-plane method for Mixed-Logical Semidefinite Programs with an application to multi-vehicle robust path planning

  2010cited by this paper
• Influence of discretization errors on set-based parameter estimation

  2010cited by this paper
• Non-genetic origins of cell-to-cell variability in TRAIL-induced apoptosis

  2009cited by this paper
• A set-based framework for coherent model invalidation and parameter estimation of discrete time nonlinear systems

  2009cited by this paper
• Moments, Positive Polynomials And Their Applications

  2009cited by this paper
• Model‐based high cell density cultivation of Rhodospirillum rubrum under respiratory dark conditions

  2009cited by this paper
• Defining network topologies that can achieve biochemical adaptation

  2009cited by this paper
• Monte Carlo analysis of an ODE Model of the Sea Urchin Endomesoderm Network

  2009cited by this paper
• On validation and invalidation of biological models

  2009cited by this paper
• Semidefinite programming versus the reformulation-linearization technique for nonconvex quadratically constrained quadratic programming

  2009cited by this paper
• Structural Identification of Piecewise-Linear Models of Genetic Regulatory Networks

  2008cited by this paper
• Predicting perfect adaptation motifs in reaction kinetic networks.

  2008influential reference
• Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications

  2008cited by this paper
• Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty

  2008cited by this paper
• Parameter estimation for differential equations: a generalized smoothing approach

  2007cited by this paper
• Guaranteed State and Parameter Estimation for Nonlinear Continuous-Time Systems with Bounded-Error Measurements

  2007cited by this paper
• Control analysis of bacterial chemotaxis signaling.

  2007cited by this paper
• Parameter estimation in models combining signal transduction and metabolic pathways: the dependent input approach.

  2006cited by this paper
• Oscillatory Regulation of Hes1: Discrete Stochastic Delay Modelling and Simulation

  2006cited by this paper
• Dynamic modelling and analysis of biochemical networks: mechanism-based models and model-based experiments

  2006cited by this paper
• YALMIP : a toolbox for modeling and optimization in MATLAB

  2004cited by this paper
• Making sense of it all: bacterial chemotaxis

  2004cited by this paper
• YALMIP : A toolbox for modeling and optimization in MATLAB

  2004cited by this paper
• YALMIP : a toolbox for modeling and optimization in MATLAB

  2004cited by this paper
• Parameter estimation in biochemical pathways: a comparison of global optimization methods.

  2003cited by this paper
• A General Framework for Convex Relaxation of Polynomial Optimization Problems over Cones

  2003cited by this paper
• Towards Whole Cell "in Silico" Models for Cellular Systems: Model Set-up and Model Validation

  2003cited by this paper
• Global Optimization with Polynomials and the Problem of Moments

  2000cited by this paper
• Transcriptional Regulation in Eukaryotes: Concepts, Strategies and Techniques

  2000cited by this paper
• Robust perfect adaptation in bacterial chemotaxis through integral feedback control.

  2000influential reference
• Control of systems integrating logic, dynamics, and constraints

  1999cited by this paper
• A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems

  1998cited by this paper
• Elevated CO2 reduces the nitrogen concentration of plant tissues

  1998cited by this paper
• Robustness in simple biochemical networks

  1997cited by this paper
• Mathematical Programming manuscript No. (will

  1997cited by this paper
• Ideals, Varieties, and Algorithms

  1997cited by this paper
• The Regulation of Cellular Systems

  1996cited by this paper
• Cornish-Bowden, A.:Fundamentals of Enzyme Kinetics

  1996cited by this paper
• The symbolic model-checking for real-time systems

  1996cited by this paper
• Symbolic model checking for real-time systems

  1992cited by this paper
• Estimation of parameter bounds from bounded-error data: a survey

  1990cited by this paper
• Reformulation of parameter identification with unknown-but-bounded errors

  1988cited by this paper
• Estimation theory and uncertainty intervals evaluation in presence of unknown but bounded errors: Linear families of models and estimators

  1982cited by this paper
• Fundamentals of Enzyme Kinetics

  1979cited by this paper
• On recurring theorems on diagonal dominance

  1976cited by this paper
• Available online at www.sciencedirect.com Systems Con"jB Letters 50 (2003) 119 -- 126 www.elsevier.com/locate/sysconk Adaptation an regulation withsign" detection implies inliesd model

  year unknowncited by this paper
• Bioinformatics Applications Note Systems Biology Admit: a Toolbox for Guaranteed Model Invalidation, Estimation and Qualitative–quantitative Modeling

  year unknowncited by this paper

• Partial‐node‐based resilient set‐membership filtering for output‐coupled complex networks with event‐triggered mechanisms

  2024cites this paper
• Tractable model discrimination for safety–critical systems with disjunctive and coupled constraints

  2022cites this paper
• Controller Parametrization for Offset-free Control Using Set-Based Feasibility Methods

  2019cites this paper
• Run-to-Run Optimization of Biochemical Batch Processes in the Presence of Model-Plant Mismatch

  2018cites this paper
• Simultaneous identification and optimization of biochemical processes under model-plant mismatch using output uncertainty bounds

  2018cites this paper
• Admissible Control Parametrization of Uncertain Finite-time Processes With Application to Li-ion Battery Management

  2018cites this paper
• Qualitative and semi-quantitative analysis of signal transduction networks

  2018cites this paper
• Constructive analysis of control system stability

  2017cites this paper
• Semi-formal verification of closed-loop specifications in the concept design phase

  2017cites this paper
• Robustness analysis, prediction, and estimation for uncertain biochemical networks: An overview ☆

  2016cites this paper
• obustness analysis , prediction , and estimation for uncertain iochemical networks : An overview

  2016cites this paper
• On the performance of nonlinear dynamical systems under parameter perturbation

  2016cites this paper
• Controller Verification and Parametrization Subject to Quantitative and Qualitative Requirements

  2015cites this paper
• Detection and isolation of parametric faults in hydraulic pumps using a set-based approach and quantitative–qualitative fault specifications

  2015cites this paper
• A Two-Level Approach for Fusing Early Signaling Events and Long Term Cellular Responses

  2015cites this paper
• Set-based state of charge estimation for lithium-ion batteries

  2014cites this paper
• Outlier analysis in set-based estimation for nonlinear systems using convex relaxations

  2013cites this paper
• Outlier Detection for Polynomial Systems Using Semidefinite Relaxations

  2013cites this paper
• Guaranteed diagnosability of parametric faults in nonlinear systems

  2013cites this paper
• Certifying Robustness of Separating Inputs and Outputs in Active Fault Diagnosis for Uncertain Nonlinear Systems

  2013cites this paper
• Inner Approximations of Consistent Parameter Sets by Constraint Inversion and Mixed-Integer Programming

  2013cites this paper
• Robustness Analysis, Prediction and Estimation for Uncertain Biochemical Networks

  2013influential citation
• Design of biomolecular network modifications to achieve adaptation.

  2012cites this paper
• Efficient polynomial-time outer bounds on state trajectories for uncertain polynomial systems using skewed structured singular values

  2011cites this paper
• Bioinformatics Applications Note Systems Biology Admit: a Toolbox for Guaranteed Model Invalidation, Estimation and Qualitative–quantitative Modeling

  year unknowninfluential citation
• Nonlinear Analysis: Hybrid Systems

  year unknowncites this paper