Computing Reachable States for Nonlinear Biological Models

Abstract. 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 then develop a novel algorithm for computing reachable states for nonlinear systems and report experimental results obtained using a prototype implementation. We believe these results constitute a promising contribution to the analysis of complex models of biological systems.

• Type: Conference
• Year: 2009
• Where: CMSB
• Authors: Thao Dang, Colas Le Guernic, Oded Maler
• Keywords: Applied Computing, CMSB 2009, Debugging Biological Models, Reachability Computation, We Believe