Skip to Main content Skip to Navigation
New interface

Towards an integrative approach for the modeling and formal verification of biological regulatory networks

Pedro Tiago Gonçalves Monteiro 1 
1 IBIS - Modeling, simulation, measurement, and control of bacterial regulatory networks
LAPM - Laboratoire Adaptation et pathogénie des micro-organismes [Grenoble], Inria Grenoble - Rhône-Alpes, Institut Jean Roget
Abstract : The study of large models of biological networks by means of analysis and simulation tools leads to large amounts of predictions. This raises the question of how to identify interesting predictions of novel phenomena that can be confronted with experimental data. Formal verification techniques based on model-checking have recently been used to the analysis of these networks, providing a powerful technology to keep up with this increase in scale and complexity. The application of these techniques is hampered, however, by several key issues. First, the systems biology domain brought to the fore a few properties of the network dynamics like multistability and oscillations, that are not easily expressed using classical temporal logics. Second, the problem of posing relevant and interesting questions in temporal logic, is difficult for non-expert users. Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way. The approaches developed in this work lower the obstacles to the use of formal verification in systems biology. They have been validated on the analysis and simulation of two real and complex biological models.
Document type :
Complete list of metadata

Cited literature [131 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Thursday, June 13, 2013 - 2:48:05 PM
Last modification on : Thursday, January 20, 2022 - 4:16:16 PM
Long-term archiving on: : Saturday, September 14, 2013 - 4:14:01 AM


Version validated by the jury (STAR)


  • HAL Id : tel-00833766, version 1



Pedro Tiago Gonçalves Monteiro. Towards an integrative approach for the modeling and formal verification of biological regulatory networks. Agricultural sciences. Université Claude Bernard - Lyon I, 2010. English. ⟨NNT : 2010LYO10239⟩. ⟨tel-00833766⟩



Record views


Files downloads