Non Linear Programming (NLP) Formulation for Quantitative Modeling of Protein Signal Transduction Pathways

• Main Authors: Mitsos, Alexander (Contributor), Melas, Ioannis N. (Author), Morris, Melody Kay (Contributor), Saez-Rodriguez, Julio (Author), Lauffenburger, Douglas A. (Contributor), Alexopoulos, Leonidas G. (Author)
• Other Authors: Massachusetts Institute of Technology. Cell Decision Process Center (Contributor), Massachusetts Institute of Technology. Department of Biological Engineering (Contributor), Massachusetts Institute of Technology. Department of Mechanical Engineering (Contributor)
• Format: Article
• Language: English
• Published: Public Library of Science, 2013-02-26T21:55:43Z.
• Subjects: Article
• Online Access: Get fulltext

 Modeling of signal transduction pathways plays a major role in understanding cells' function and predicting cellular response. Mathematical formalisms based on a logic formalism are relatively simple but can describe how signals propagate from one protein to the next and have led to the construction of models that simulate the cells response to environmental or other perturbations. Constrained fuzzy logic was recently introduced to train models to cell specific data to result in quantitative pathway models of the specific cellular behavior. There are two major issues in this pathway optimization: i) excessive CPU time requirements and ii) loosely constrained optimization problem due to lack of data with respect to large signaling pathways. Herein, we address both issues: the former by reformulating the pathway optimization as a regular nonlinear optimization problem; and the latter by enhanced algorithms to pre/post-process the signaling network to remove parts that cannot be identified given the experimental conditions. As a case study, we tackle the construction of cell type specific pathways in normal and transformed hepatocytes using medium and large-scale functional phosphoproteomic datasets. The proposed Non Linear Programming (NLP) formulation allows for fast optimization of signaling topologies by combining the versatile nature of logic modeling with state of the art optimization algorithms.