On Timed Models of Gene Networks

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.

• Type: Conference
• Year: 2007
• Where: FORMATS
• Authors: Grégory Batt, Ramzi Ben Salah, Oded Maler
• Keywords: FORMATS 2007, Genetic Regulatory Networks, Possible Qualitative Behaviors, Uncertain Delay Parameters