Please use this identifier to cite or link to this item:
Title: Reachability analysis based model validation in systems biology
Authors: Yang, Y.
Lin, H. 
Keywords: Petri nets
Reachability analysis
Systems biology
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.
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
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 Aug 11, 2019

Page view(s)

checked on Aug 18, 2019

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.