A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Computing Reachable States for Nonlinear Biological Models
[chapter]
2009
Lecture Notes in Computer Science
In this paper, we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological models. We summarize the state-of-the-art for linear systems and then develop a novel algorithm for computing reachable states for nonlinear systems. We report experimental results obtained using a prototype implementation applied to several biological models. We believe these results constitute a promising contribution to the analysis of complex models of biological systems.
doi:10.1007/978-3-642-03845-7_9
fatcat:ac54vmltbncjdgwuymzeb4l6zm