Analysing formal models of genetic regulatory networks with delays. (18th July 2008)

• Record Type: Journal Article
• Authors: Ahmad, Jamil; Roux, Olivier; Bernot, Gilles; Comet, Jean-Paul; , Adrien Richard
• Is Part Of: International journal of bioinformatics research and applications. Volume 4:Number 3(2008)
• Page Start: 240
• Page End: 262
• Publication Date: 2008-07-18
• Subjects: genetic regulatory networks -- gene networks -- modelling -- delays -- path algorithm -- hyTech -- cycles -- constraints -- bioinformatics -- genetics -- biological regulatory networks; Bioinformatics -- Periodicals; 570.285
• Languages: English
• ISSNs: 1744-5485

Abstract

In this paper, we propose a refinement of the modelling of biological regulatory networks based on the discrete approach of Rene Thomas. We refine and automatise the use of delays of activation/inhibition in order to specify which variable is more quickly affected by a change of its regulators. The formalism of linear hybrid automata is well suited to allow such refinement. We then use HyTech for two purposes: to find automatically all paths from a specified initial state to another one; to synthesise constraints on the delay parameters in order to follow any specific path.