English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Journal Article

Control in Boolean Networks With Model Checking

MPS-Authors
/persons/resource/persons295586

Cifuentes-Fontanals,  Laura       
IMPRS for Biology and Computation (Anne-Dominique Gindrat), Dept. of Computational Molecular Biology (Head: Martin Vingron), Max Planck Institute for Molecular Genetics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
Supplementary Material (public)
There is no public supplementary material available
Citation

Cifuentes-Fontanals, L., Tonello, E., & Siebert, H. (2022). Control in Boolean Networks With Model Checking. Frontiers in Applied Mathematics and Statistics; Sec. Mathematical Biology, 8: 838546. doi:10.3389/fams.2022.838546.


Cite as: https://hdl.handle.net/21.11116/0000-000E-56BA-0
Abstract
Understanding control mechanisms in biological systems plays a crucial role in
important applications, for instance in cell reprogramming. Boolean modeling allows
the identification of possible efficient strategies, helping to reduce the usually high
and time-consuming experimental efforts. Available approaches to control strategy
identification usually focus either on attractor or phenotype control, and are unable to
deal with more complex control problems, for instance phenotype avoidance. They also
fail to capture, in many situations, all possible minimal strategies, finding instead only
sub-optimal solutions. In order to fill these gaps, we present a novel approach to control
strategy identification in Boolean networks based on model checking. The method is
guaranteed to identify all minimal control strategies, and provides maximal flexibility in
the definition of the control target. We investigate the applicability of the approach by
considering a range of control problems for different biological systems, comparing the
results, where possible, to those obtained by alternative control methods.