Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks

Authors:
Hidde de Jong;Michel Page
Affiliations:
-;-
Venue:
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Year:
2008

Citing 7
Cited 8

Chaos in high-dimensional neural and gene networks

Physica D
Analysis of continuous-time switching networks

Physica D
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Computers and Intractability: A Guide to the Theory of NP-Completeness

Computers and Intractability: A Guide to the Theory of NP-Completeness
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli

Bioinformatics
System Modeling in Cellular Biology: From Concepts to Nuts and Bolts

System Modeling in Cellular Biology: From Concepts to Nuts and Bolts
Generalizing Boolean satisfiability I: background and survey of existing work

Journal of Artificial Intelligence Research

Finding Lean Induced Cycles in Binary Hypercubes

SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
Probabilistic Approximations of Signaling Pathway Dynamics

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Characterization of backward reachable set and positive invariant set in polytopes

ACC'09 Proceedings of the 2009 conference on American Control Conference
Periodic orbits and equilibria in glass models for gene regulatory networks

IEEE Transactions on Information Theory - Special issue on information theory in molecular biology and neuroscience
Model Reduction Using Piecewise-Linear Approximations Preserves Dynamic Properties of the Carbon Starvation Response in Escherichia coli

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Genetic Networks and Soft Computing

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Probabilistic approximations of ODEs based bio-pathway dynamics

Theoretical Computer Science
Inference of Biological S-System Using the Separable Estimation Method and the Genetic Algorithm

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Analysis of the attractors of a genetic regulatory network gives a good indication of the possible functional modes of the system. In this paper we are concerned with the problem of finding all steady states of genetic regulatory networks described by piecewise-linear differential equation (PLDE) models. We show that the problem is NP-hard and translate it into a propositional satisfiability (SAT) problem. This allows the use of existing, efficient SAT solvers and has enabled the development of a steady state search module of the computer tool Genetic Network Analyzer (GNA). The practical use of this module is demonstrated by means of the analysis of a number of relatively small bacterial regulatory networks as well as randomly generated networks of several hundreds of genes.