Volume 21, No 3, 2014, P. 25-40

UDC 519.7
A. A. Evdokimov, S. E. Kochemazov, I. V. Otpushennikov and A. A. Semenov
Analysis of discrete automaton models of gene networks with irregular structure using symbolic algorithms

We introduce and analyze discrete-automaton models of gene networks where weight functions of vertices take into account various forms of regulatory activity of agents. Within the model, we analyze a discrete mapping specified by a fragment of the gene network of E.coli. For this mapping, we found a number of fixed points using SAT-approach. Also we analyze mappings specified by random graphs generated according to Gilbert–Erdos–Renyi and Watts–Strogatz models. For these mappings, it was possible to find fixed points and cycles of length 2 and 3. This work can be considered as a review of our recent results regarding discrete models of gene networks and symbolic methods of analysis of their functioning.
Ill. 6, tab. 2, bibliogr. 27.

Keywords: discrete function, discrete automaton model of gene networks, SAT.

Evdokimov Alexander Andreevich 1
Kochemazov Stepan Evgenievich 2

Otpushennikov  Ilya Vladimirovich 2
Semenov Alexander Anatolievich 2

1. S. L. Sobolev Institute of Mathematics, SB RAS,
4 Acad. Koptyug Ave., 630090 Novosibirsk, Russia
2. Institute for System Dynamics and Control Theory, SB RAS,
134 Lermontov St., 664033 Irkutsk, Russia
e-mail: evdok@math.nsc.ru, veinamond@gmail.com, otilya@yandex.ru, biclop.rambler@yandex.ru

 © Sobolev Institute of Mathematics, 2015