Temporary and Permanent Control of Partially Specified Boolean Networks

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F23%3A00130043" target="_blank" >RIV/00216224:14330/23:00130043 - isvavai.cz</a>

Result on the web

<a href="https://www.sciencedirect.com/science/article/pii/S0303264722001769" target="_blank" >https://www.sciencedirect.com/science/article/pii/S0303264722001769</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.biosystems.2022.104795" target="_blank" >10.1016/j.biosystems.2022.104795</a>

Result language

angličtina

Original language name

Temporary and Permanent Control of Partially Specified Boolean Networks

Original language description

Boolean networks (BNs) are a well-accepted modelling formalism in computational systems biology. Neverthe-less, modellers often cannot identify only a single BN that matches the biological reality. The typical reasons for this is insufficient knowledge or a lack of experimental data. Formally, this uncertainty can be expressed using partially specified Boolean networks (PSBNs), which encode the wide range of network candidates into a single structure. In this paper, we target the control of PSBNs. The goal of BN control is to find perturbations which guarantee stabilisation of the system in the desired state. Specifically, we consider variable perturbations (gene knock-out and over-expression) with three types of application time-window: one-step, temporary, and permanent. While the control of fully specified BNs is a thoroughly explored topic, control of PSBNs introduces additional challenges that we address in this paper. In particular, the unspecified components of the model cause a significant amount of additional state space explosion. To address this issue, we propose a fully symbolic methodology that can represent the numerous system variants in a compact form. In fully specified models, the efficiency of a perturbation is characterised by the count of perturbed variables (the perturbation size). However, in the case of a PSBN, a perturbation might work only for a subset of concrete BN models. To that end, we introduce and quantify perturbation robustness. This metric characterises how efficient the given perturbation is with respect to the model uncertainty. Finally, we evaluate the novel control methods using non-trivial real-world PSBN models. We inspect the method's scalability and efficiency with respect to the size of the state space and the number of unspecified components. We also compare the robustness metrics for all three perturbation types. Our experiments support the hypothesis that one-step perturbations are significantly less robust than temporary and permanent ones.

Czech name

—

Czech description

—

Type

J_imp - Article in a specialist periodical, which is included in the Web of Science database

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA22-10845S" target="_blank" >GA22-10845S: Unraveling the role of polyhydroxyalkanoates in Schlegelella thermodepolymerans – promising environmental bacterium for next generation biotechnology</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2023

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

BIOSYSTEMS

ISSN

0303-2647

e-ISSN

1872-8324

Volume of the periodical

223

Issue of the periodical within the volume

JAN

Country of publishing house

IE - IRELAND

Number of pages

14

Pages from-to

104795

UT code for WoS article

000890559900005

EID of the result in the Scopus database

2-s2.0-85141496190