Skip to Main content Skip to Navigation
Conference papers

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
2 BIOCORE - Biological control of artificial ecosystems
INRA - Institut National de la Recherche Agronomique, CRISAM - Inria Sophia Antipolis - Méditerranée , LOV - Laboratoire d'océanographie de Villefranche
Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-00850371
Contributor : Jean-Luc Gouzé <>
Submitted on : Tuesday, August 6, 2013 - 12:56:22 PM
Last modification on : Friday, June 25, 2021 - 3:36:18 AM

Identifiers

  • HAL Id : hal-00850371, version 1

Citation

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⟩

Share

Metrics

Record views

938