Parameter synthesis for polynomial biological models

No abstract is available for this paper.

• Publication year

  2014

• Venue

  International Conference on Hybrid Systems: Computation and Control

• Publication date

  2014-04-15

• Fields of study

  Biology, Mathematics, Computer Science

• Identifiers
  DOI 10.1145/2562059.2562123
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

  2013cited by this paper
• Falsifying Oscillation Properties of Parametric Biological Models

  2013cited by this paper
• On the Robustness of Temporal Properties for Stochastic Models

  2013cited by this paper
• Enclosure Methods for Systems of Polynomial Equations and Inequalities

  2012cited by this paper
• Taylor Model Flowpipe Construction for Non-linear Hybrid Systems

  2012cited by this paper
• On Parameter Synthesis by Parallel Model Checking

  2012cited by this paper
• Hybrid Automata and ε-Analysis on a Neural Oscillator

  2012cited by this paper
• Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations

  2012cited by this paper
• Reachability Analysis for Polynomial Dynamical Systems Using the Bernstein Expansion

  2012cited by this paper
• Analysis of parametric biological models with non-linear dynamics

  2012cited by this paper
• A Matrix Method for Efficient Computation of Bernstein Coefficients

  2012cited by this paper
• Special Issue on the Use of Bernstein Polynomials in Reliable Computing : A Centennial Anniversary ; [Preface]

  2012cited by this paper
• Parametric Identification of Temporal Properties

  2011cited by this paper
• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement

  2011cited by this paper
• Parameter Estimation and Model Selection in Computational Biology

  2010cited by this paper
• Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

  2010cited by this paper
• A Computationally Efficient Algorithm for Testing the Identifiability of Polynomial Systems with Applications to Biological Systems

  2010cited by this paper
• Systems biology: parameter estimation for biochemical models

  2009cited by this paper
• Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

  2009cited by this paper
• Rigorous Affine Lower Bound Functions for Multivariate Polynomials and Their Use in Global Optimisation

  2008influential reference
• The Image Computation Problem in Hybrid Systems Model Checking

  2007cited by this paper
• Generating Polynomial Invariants for Hybrid Systems

  2005cited by this paper
• Modelling strategies for controlling SARS outbreaks

  2004cited by this paper
• Safety Verification of Hybrid Systems Using Barrier Certificates

  2004cited by this paper
• Application of Symbolic Approach to the Bernstein Expansion for Program Analysis and Optimization

  2004cited by this paper
• A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials

  2003cited by this paper
• Comparison of methods

  2000cited by this paper
• Applications to Biological Systems

  1984cited by this paper
• A contribution to the mathematical theory of epidemics

  1927cited by this paper

• Parameter synthesis of polynomial dynamical systems

  2022cites this paper
• Networks in Systems Biology: Applications for Disease Modeling

  2020influential citation
• Reaction Network Models as a Tool to Study Gene Regulation and Cell Signaling in Development and Diseases

  2020cites this paper
• Set-Based Analysis for Biological Modeling

  2019cites this paper
• Automated Reasoning for Systems Biology and Medicine

  2019influential citation
• Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations

  2018cites this paper
• Formal methods for modelling and validation of biological models

  2018influential citation
• Reachability computation for polynomial dynamical systems

  2017cites this paper
• Validation, Verification, and Formal Methods for Cyber-Physical Systems

  2017cites this paper
• Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems

  2016cites this paper
• Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations

  2016cites this paper
• Discrete Abstraction of Multiaffine Systems

  2016cites this paper
• Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems

  2016cites this paper
• Techniques for automated parameter estimation in computational models of probabilistic systems

  2016cites this paper
• Parallelotope Bundles for Polynomial Reachability

  2016cites this paper
• Discrete Abstraction of Multia ne Systems

  2016cites this paper
• Automated parameter estimation for biological models using Bayesian statistical model checking

  2015cites this paper
• HYST: a source transformation and translation tool for hybrid automaton models

  2015cites this paper
• Parameter Synthesis Through Temporal Logic Specifications

  2015cites this paper
• Abstraction-Based Parameter Synthesis for Multiaffine Systems

  2015cites this paper
• BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models

  2015cites this paper
• Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models

  2014cites this paper
• Towards personalized prostate cancer therapy using delta-reachability analysis

  2014cites this paper