Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Annual International Conference on Research in Computational Molecular Biology

• Publication date

  2009-05-14

• Fields of study

  Biology, Medicine, Computer Science, Mathematics

• Identifiers
  DOI 10.1089/cmb.2009.0172PMID 20377448
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar, PubMed

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking

  2018cited by this paper
• A perspective on lyssavirus emergence and perpetuation.

  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 Synthesis for Hybrid Systems with an Application to Simulink Models

  2009cited by this paper
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata

  2008cited by this paper
• A mathematical framework for the control of piecewise-affine models of gene networks

  2008cited by this paper
• Identification of Genetic Regulatory Networks: A Stochastic Hybrid Approach

  2008cited by this paper
• The Image Computation Problem in Hybrid Systems Model Checking

  2007cited by this paper
• Model Checking Genetic Regulatory Networks with Parameter Uncertainty

  2007cited by this paper
• Systematic Simulation Using Sensitivity Analysis

  2007cited by this paper
• Robust Sampling for MITL Specifications

  2007cited by this paper
• Model Checking Liveness Properties of Genetic Regulatory Networks

  2007cited by this paper
• A reduced mathematical model of the acute inflammatory response II. Capturing scenarios of repeated endotoxin administration.

  2006influential reference
• Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory Networks

  2006cited by this paper
• A reduced mathematical model of the acute inflammatory response: I. Derivation of model and analysis of anti-inflammation.

  2006influential reference
• CVODES: The Sensitivity-Enabled ODE Solver in SUNDIALS

  2005cited by this paper
• Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach

  2005cited by this paper
• The dynamics of acute inflammation.

  2004influential reference
• Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: Delta-Notch protein signalling.

  2004cited by this paper
• Efficient Representation and Computation of Reachable Sets for Hybrid Systems

  2003cited by this paper
• Overapproximating Reachable Sets by Hamilton-Jacobi Projections

  2003cited by this paper
• Agent-based computer simulation and sirs: building a bridge between basic science and clinical trials.

  2001cited by this paper
• Discrete abstractions of hybrid systems

  2000cited by this paper
• Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems

  2000cited by this paper
• Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods

  2000cited by this paper
• Level Set Methods for Computation in Hybrid Systems

  2000cited by this paper
• Validated solutions of initial value problems for ordinary differential equations

  1999cited by this paper
• COSY INFINITY and Its Applications in Nonlinear Dynamics

  1996cited by this paper
• The Algorithmic Analysis of Hybrid Systems

  1995cited by this paper
• Temporal Logic of Programs

  1987cited by this paper

• AI-driven automated discovery tools reveal diverse behavioral competencies of biological networks

  2025cites this paper
• Analysis and Parameter Synthesis of Cyber-Physical Control Systems using Lazy Non-linear Hybrid Automata

  2024cites this paper
• Model-guided Design of RNA-based Synthetic Circuits for the Dynamic Regulation of Gene Expression

  2022cites this paper
• Recovering dynamic networks in big static datasets

  2021cites this paper
• A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems

  2021cites this paper
• Statistical mechanics of clock gene networks underlying circadian rhythms

  2021cites this paper
• Monitoring Spatio-Temporal Properties (Invited Tutorial)

  2020cites this paper
• MoonLight: a lightweight tool for monitoring spatio-temporal properties

  2020cites this paper
• A Model Checking-based Analysis Framework for Systems Biology Models

  2020cites this paper
• Formal Analysis of Rule-Based Models in Systems Biology

  2019cites this paper
• Machine learning of physiological waveforms and electronic health record data to predict, diagnose and treat haemodynamic instability in surgical patients: protocol for a retrospective study

  2019cites this paper
• Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway

  2019cites this paper
• Model Checking Approach to the Analysis of Biological Systems

  2019cites this paper
• Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium

  2018cites this paper
• Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

  2018cites this paper
• Validation of adaptive control laws using optimization and trajectory sensitivity

  2017cites this paper
• Monitoring Cyber-Physical Systems

  2017cites this paper
• Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology

  2016cites this paper
• Computational Modeling, Formal Analysis, and Tools for Systems Biology

  2016cites this paper
• The modeling of transfer of steering between automated vehicle and human driver using hybrid control framework

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

  2016cites this paper
• Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

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

  2015cites this paper
• Parameter Synthesis by Parallel Coloured CTL Model Checking

  2015cites this paper
• System design of stochastic models using robustness of temporal properties

  2015cites this paper
• Temporal Logic as Filtering

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

  2015cites this paper
• Systems Biology of Cancer: A Challenging Expedition for Clinical and Quantitative Biologists

  2014cites this paper
• Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions

  2014cites this paper
• EFFECTIVE SAMPLING SCHEMES FOR BEHAVIOR DISCRIMINATION IN NONLINEAR SYSTEMS

  2014cites this paper
• Parameter synthesis for polynomial biological models

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

  2014cites this paper
• Probabilistic uncertainty quantification and experiment design for nonlinear models: Applications in systems biology

  2014influential citation
• Computational Methods in Systems Biology

  2014cites this paper
• Sensitivity analysis for computational models of biochemical systems

  2014cites this paper
• A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits

  2013cites this paper
• Computing descent direction of MTL robustness for non-linear systems

  2013cites this paper
• Robustness Analysis for Value-Freezing Signal Temporal Logic

  2013cites this paper
• Model Checking of Biological Systems

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

  2013cites this paper
• Formal Methods for Dynamical Systems

  2013cites this paper
• On Parameter Synthesis by Parallel Model Checking

  2012cites this paper
• A Set-Theoretic Method for Verifying Feasibility of a Fast Explicit Nonlinear Model Predictive Controller

  2012cites this paper
• Constrained Time-Optimal Control for Nonlinear Systems: A Fast Explicit Approximation

  2012cites this paper
• A perspective on lyssavirus emergence and perpetuation.

  2011cites this paper
• Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks

  2011influential citation
• Parametric Identification of Temporal Properties

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

  2011cites this paper
• When to stop verification?: Statistical trade-off between expected loss and simulation cost

  2011cites this paper
• Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems

  2010cites this paper
• Determining the parametric structure of models.

  2010cites this paper
• Model validation and discovery for complex stochastic system

  2010cites this paper
• Quantifying uncertainty, variability and likelihood for ordinary differential equation models

  2010cites this paper
• Model-checking mean-field models: algorithms & applications

  2010influential citation
• Computing reachable states for nonlinear biological models

  2009cites this paper
• Parameter Identification Using Δ-decisions for Biological Hybrid Systems

  year unknowncites this paper
• Laboratoire Verimag

  year unknowncites this paper
• Theme : Embedded and Real Time Systems Project-team S4 System Synthesis and Supervision, Scenarios Rennes -bretagne-atlantique

  year unknowncites this paper