Abstract | ||
---|---|---|
We developed a theoretical framework to analyse gene regulatory networks. Our framework is based on the formal methods which are well-known techniques to analyse software/hardware systems. Behaviours of gene networks are abstracted into transition systems which has discrete time structure. We characterise possible behaviours of given networks by linear temporal logic (LTL) formulae. By checking the satisfiability of LTL formulae, we analyse whether all/some behaviours of given networks satisfy given biological properties. Due to the complexity of LTL satisfiability checking, analyses of large networks are generally intractable in this method. To mitigate this computational difficulty, we proposed approximate analysis method using network motifs to circumvent the computational difficulty of LTL satisfiability checking. Experiments show that our approximate method is surprisingly efficient. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-662-44485-6_10 | BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES (BIOSTEC 2013) |
Keywords | Field | DocType |
Gene regulatory network,Temporal logic,Formal methods,Network motif | Data mining,Network motif,Computer science,Satisfiability,Linear temporal logic,Theoretical computer science,Software,Formal methods,Discrete time and continuous time,Temporal logic,Gene regulatory network | Conference |
Volume | ISSN | Citations |
452 | 1865-0929 | 0 |
PageRank | References | Authors |
0.34 | 6 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sohei Ito | 1 | 32 | 6.22 |
Takuma Ichinose | 2 | 13 | 1.73 |
Masaya Shimakawa | 3 | 41 | 7.54 |
Naoko Izumi | 4 | 20 | 2.95 |
Shigeki Hagihara | 5 | 78 | 12.33 |
Naoki Yonezaki | 6 | 107 | 20.02 |