On the Use of Temporal Formal Logic to Model Gene Regulatory Networks [chapter]

Gilles Bernot, Jean-Paul Comet
2010 Lecture Notes in Computer Science  
Modelling activities in molecular biology face the diculty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is known, the deduction of the cellular dynamics from this graph remains a strong corner stone of the modelling activity, in particular one has to face the parameter identication problem. This article is devoted to convince the reader that computers can be used not only to simulate a model of the studied biological system
more » ... also to deduce the sets of parameter values that lead to a behaviour compatible with the biological knowledge (or hypotheses) about dynamics. This approach is based on formal logic. It is illustrated in the discrete modelling framework of genetic regulatory networks due to René Thomas.
doi:10.1007/978-3-642-14571-1_9 fatcat:i5pda6rtf5cdbaxver5nlsi6ca