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
LOV - Laboratoire d'océanographie de Villefranche, CRISAM - Inria Sophia Antipolis - Méditerranée , INRA - Institut National de la Recherche Agronomique
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.
Type de document :
Communication dans un congrès
52nd IEEE Conference on Decision and Control (CDC'13), Dec 2013, Florence, Italy. 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00850371
Contributeur : Jean-Luc Gouzé <>
Soumis le : mardi 6 août 2013 - 12:56:22
Dernière modification le : jeudi 11 janvier 2018 - 16:22:00

Identifiants

  • HAL Id : hal-00850371, version 1

Collections

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. 2013. 〈hal-00850371〉

Partager

Métriques

Consultations de la notice

247