• DOI:10.1007/978-3-319-12982-2_8
Corpus ID: 328885

Parameter Synthesis for Cardiac Cell Hybrid Models Using δ-Decisions

@inproceedings{Liu2014ParameterSF,
  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},
  booktitle={CMSB},
  year={2014}
}

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

View PDF on arXiv

Save to Library

Create Alert

Cite

Launch Research Feed