A linear reformulation of Boolean optimization problems and its application to the problem of estimating the structure of gene regulation networks

Christian Breindl (1) , Madalena Chaves (2) , Frank Allgöwer (1)

1 ITI - Institute of Systems Theory [Stuttgart]
2 BIOCORE - Biological control of artificial ecosystems

We consider the problem of estimating Boolean models of gene regulation networks from few and noisy mea- surements. To this end, we use a representation of Boolean functions as multilinear polynomials, leading to a reformulation of the estimation problem as mixed integer linear program. We then show that the integer constraints can be omitted which improves existing results and reduces the required computing time drastically. Also certain properties of Boolean functions such as unateness or the canalizing property can be included in the linear formulation. The benefits of this reformulation are demonstrated with the help of a large Boolean model of the network of the segment polarity genes in Drosophila melanogaster.

Domaines: Sciences de l'ingénieur [physics]; Sciences du Vivant [q-bio]; Mathématiques générales [math.GM]; Automatique

Christian Breindl, Madalena Chaves, Frank Allgöwer. A linear reformulation of Boolean optimization problems and its application to the problem of estimating the structure of gene regulation networks. 52nd IEEE Conference on Decision and Control (CDC'13), Dec 2013, Florence, Italy. ⟨hal-00850371⟩