Title :
Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic
Author :
Ito, Sohei ; Izumi, Naoko ; Hagihara, Shigeki ; Yonezaki, Naoki
Author_Institution :
Dept. of Comput. Sci., Tokyo Inst. of Technol., Tokyo, Japan
fDate :
May 31 2010-June 3 2010
Abstract :
We developed a method for analyzing the dynamics of gene regulatory networks in purely qualitative fashion. In our method, constraints for possible behaviors of a network and a biological property of interest are described as Linear Temporal Logic formulas, being automatically analyzed by satisfiability checking. In this way, we can investigate whether there exists some behavior which satisfies a specified property or whether all the behaviors satisfy a specified property, which are difficult in quantitative analysis.
Keywords :
biology computing; genetics; temporal logic; biological property; gene regulatory networks; linear temporal logic formulas; qualitative analysis; satisfiability checking; Automatic logic units; Bioinformatics; Biological system modeling; Biological systems; Biomedical engineering; Computational modeling; Differential equations; Gene expression; Information analysis; Numerical simulation; formal method; gene regulatory network; systems biology; temporal logic;
Conference_Titel :
BioInformatics and BioEngineering (BIBE), 2010 IEEE International Conference on
Conference_Location :
Philadelphia, PA
Print_ISBN :
978-1-4244-7494-3
DOI :
10.1109/BIBE.2010.45
