Symbolic Model Checking of Biochemical Networks
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
Automated symbolic reachability analysis: with application to delta-notch signaling automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Modeling multi-valued genetic regulatory networks using high-level petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Algorithmic algebraic model checking i: challenges from systems biology
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
A compositional approach to the stochastic dynamics of gene networks
Transactions on Computational Systems Biology IV
Hi-index | 0.00 |
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the analysis of discrete transition systems. However, most of these approaches do not scale up well. In this article, we explore the use of compositionality for the analysis of genetic regulatory networks. We present a framework for modeling genetic regulatory networks in a modular yet faithful manner based on the mathematically well-founded formalism of differential inclusions. We then propose a compositional algorithm to efficiently analyze reachability properties of the model. A case study shows the potential of this approach.