Control in Boolean Networks With Model Checking
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. Availabl...
Main Authors: | Cifuentes-Fontanals, L. (Author), Siebert, H. (Author), Tonello, E. (Author) |
---|---|
Format: | Article |
Language: | English |
Published: |
Frontiers Media S.A.
2022
|
Subjects: | |
Online Access: | View Fulltext in Publisher |
Similar Items
-
Approximating attractors of Boolean networks by iterative CTL model checking
by: Hannes eKlarner, et al.
Published: (2015-09-01) -
Parallel One-Step Control of Parametrised Boolean Networks
by: Luboš Brim, et al.
Published: (2021-03-01) -
Exploring Observability of Attractor Cycles in Boolean Networks for Biomarker Detection
by: Yushan Qiu, et al.
Published: (2019-01-01) -
Output Tracking of Boolean Control Networks With Impulsive Effects
by: Yiliang Li, et al.
Published: (2020-01-01) -
Neutral space analysis for a Boolean network model of the fission yeast cell cycle network
by: Gonzalo A Ruz, et al.
Published: (2014-01-01)