On timed models of gene networks

Authors:
Grégory Batt;Ramzi Ben Salah;Oded Maler
Affiliations:
VERIMAG, Gieres, France;VERIMAG, Gieres, France;VERIMAG, Gieres, France
Venue:
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Year:
2007

Citing 4
Cited 2

The tool KRONOS

Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Timing analysis of asynchronous circuits using timed automata

CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Incorporating time delays into the logical analysis of gene regulatory networks

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
PHAVer: algorithmic verification of hybrid systems past hytech

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

Invariance kernel of Biological Regulatory Networks

International Journal of Data Mining and Bioinformatics
Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order learn about the possible qualitative behaviors of the network under a whole range of uncertain delay parameters. We have developed a tool chain starting from a high-level description of the network down to an exhaustive analysis of its behavior. We have demonstrated the potential applicability of this framework on several examples.