Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions

  title={Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions},
  author={Bing Liu and Soonho Kong and Sicun Gao and P. Zuliani and E. Clarke},
  • Bing Liu, Soonho Kong, +2 authors E. Clarke
  • Published in CMSB 2014
  • Computer Science, Biology
  • A central problem in systems biology is to identify parameter values such that a biological model satisfies some behavioral constraints (e.g., time series). In this paper we focus on parameter synthesis for hybrid (continuous/discrete) models, as many biological systems can possess multiple operational modes with specific continuous dynamics in each mode. These biological systems are naturally modeled as hybrid automata, most often with nonlinear continuous dynamics. However, hybrid automata… CONTINUE READING
    16 Citations

    Figures, Tables, and Topics from this paper

    A Model Checking-based Analysis Framework for Systems Biology Models
    • B. Liu
    • Computer Science, Biology
    • 2020 57th ACM/IEEE Design Automation Conference (DAC)
    • 2020
    • Highly Influenced
    • PDF
    Abstraction-Based Parameter Synthesis for Multiaffine Systems
    • 30
    • PDF
    Statistical Model Checking-Based Analysis of Biological Networks
    • 4
    • PDF
    Parameter estimation of rule-based models using statistical model checking
    • Bing Liu, J. Faeder
    • Mathematics, Computer Science
    • 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)
    • 2016
    • 9
    • PDF
    Formal verification using model checking
    • 2016


    Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology
    • 32
    • PDF
    Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
    • 73
    • PDF
    Statistical Model Checking Based Calibration and Analysis of Bio-pathway Models
    • 35
    • PDF
    Modelling excitable cells using cycle-linear hybrid automata.
    • 42
    • PDF
    From Cardiac Cells to Genetic Regulatory Networks
    • 92
    • PDF
    Theory of hybrid dynamical systems and its applications to biological and medical systems
    • K. Aihara, H. Suzuki
    • Computer Science, Medicine
    • Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
    • 2010
    • 107
    • PDF
    A Model Checking Approach to the Parameter Estimation of Biochemical Pathways
    • 98
    • PDF