Publication details
AEON 2025: Robust Control of Partially-Specified Boolean Networks
| Authors | |
|---|---|
| Year of publication | 2025 |
| Type | Article in Proceedings |
| Conference | AEON 2025: Robust Control of Partially-Specified Boolean Networks |
| MU Faculty or unit | |
| Citation | |
| web | https://link.springer.com/book/10.1007/978-3-032-01436-8 |
| Doi | https://doi.org/10.1007/978-3-032-01436-8_4 |
| Keywords | Boolean network; Control; Reprogramming; Binary decision diagram; Automated reasoning |
| Attached files | |
| Description | 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. |