Computing reachable states for nonlinear biological models

Thao Dang, Colas Le Guernic, Oded Maler
2011 Theoretical 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.1016/j.tcs.2011.01.014 fatcat:p2pyk4aulbcghlzerijychsmla