Analysis of Dynamics and Stability of Hybrid System Models of Gene Regulatory Networks

We present hybrid system based gene regulatory network models for lambda, HK022 and Mu bacteriophages and analysis of dynamics and possible stable behaviours of the modelled networks. Lambda phage model LPH2 is the result of further development of an earlier LPH1 model taking into account more recent biological assumptions about the underlying biological gene regulatory mechanism. HK022 and Mu phage models are new. All three models provide accurate representations of lytic and lysogenic behavioural cycles, and, importantly, allow to conclude that lysis and lysogeny are the only stable behaviours that can occur in the modelled networks. Along with these models we describe also some new analysis techniques for hybrid system model state spaces.