D 2025

AEON 2025: Robust Control of Partially-Specified Boolean Networks

VESELÝ, Vojtěch; Eva ŠMIJÁKOVÁ; Samuel PASTVA; Nikola BENEŠ; David ŠAFRÁNEK et al.

Basic information

Original name

AEON 2025: Robust Control of Partially-Specified Boolean Networks

Authors

VESELÝ, Vojtěch; Eva ŠMIJÁKOVÁ; Samuel PASTVA; Nikola BENEŠ and David ŠAFRÁNEK

Edition

Cham, International Conference on Computational Methods in Systems Biology, CMSB 2025, p. 61-68, 8 pp. 2025

Publisher

Springer Nature Switzerland

Other information

Language

English

Type of outcome

Proceedings paper

Country of publisher

Switzerland

Confidentiality degree

is not subject to a state or trade secret

Publication form

electronic version available online

References:

Marked to be transferred to RIV

No

Organization

Fakulta informatiky – Repository – Repository

ISBN

978-3-032-01436-8

ISSN

Keywords in English

Boolean network; Control; Reprogramming; Binary decision diagram; Automated reasoning
Changed: 6/2/2026 00:50, RNDr. Daniel Jakubík

Abstract

In the original language

Partially specified Boolean networks (PSBNs) provide a formal framework for the qualitative modelling of gene regulatory networks or signalling pathways in which the logic of interactions is not completely known. The tool AEON has been well-established in handling attractor analysis of PSBNs efficiently. The PSBN framework has been recently extended with algorithms supporting phenotype control allowing to stabilise the network in states exhibiting given traits. In this paper, we present a novel version of the AEON tool that supports phenotype control.

Files attached