Please use this identifier to cite or link to this item:
|Title:||Reachability analysis based model validation in systems biology||Authors:||Yang, Y.
|Issue Date:||2010||Citation:||Yang, Y.,Lin, H. (2010). Reachability analysis based model validation in systems biology. 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010 : 14-19. ScholarBank@NUS Repository. https://doi.org/10.1109/ICCIS.2010.5518589||Abstract:||Systems biology is an emerging multi-disciplinary area, which aims to understand the underneath regulatory mechanisms of the biomolecular interaction networks inside the cell through dynamical system approaches. The first challenge in systems biology is how to obtain an accurate and predictable computational model for the biomolecular networks under study. However, due to limited experimental data, it is unavoidable to have incomplete or even wrong models. Therefore, it is a critical task in systems biology to check the model's correctness, which is called model validation problem. This paper will focus on this issue, and propose a (un-)reachability analysis based model validation method. In particular, Petri net models are investigated, and the validation process is evaluated by the reachability of state equations. It is shown that the reachability can be checked by the existence of integer solutions of Diophantine equations. Two methods are proposed to solve the equations. The first one is by Smith normal form test, and the other is by integer programming. Two case studies are provided to demonstrate these two approaches. These tests can screen out the unreachable states and offer the hints to modify the model structure, which provides us more insights of the regulatory mechanism and helps biologists to generate hypotheses and design experiments. © 2010 IEEE.||Source Title:||2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010||URI:||http://scholarbank.nus.edu.sg/handle/10635/71556||ISBN:||9781424464999||DOI:||10.1109/ICCIS.2010.5518589|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on May 22, 2019
checked on May 21, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.