English
Related papers

Related papers: A SAT-Based Algorithm for Computing Attractors in …

200 papers

We present a computational method for finding attractors (ergodic sets of states) of Boolean networks under asynchronous update. The approach is based on a systematic removal of state transitions to render the state transition graph…

Disordered Systems and Neural Networks · Physics 2010-08-24 Thomas Skodawessely , Konstantin Klemm

Identification of attractors, that is, stable states and sustained oscillations, is an important step in the analysis of Boolean models and exploration of potential variants. We describe an approach to the search for asynchronous cyclic…

Discrete Mathematics · Computer Science 2024-03-29 Elisa Tonello , Loïc Paulevé

Boolean networks are conventionally used to represent and simulate gene regulatory networks. In the analysis of the dynamic of a Boolean network, the attractors are the objects of a special attention. In this work, we propose a novel…

Artificial Intelligence · Computer Science 2019-09-19 Tarek Khaled , Belaïd Benhamou

The inference of gene predictors in the gene regulatory network has become an important research area in the genomics and medical disciplines. Accurate predicators are necessary for constructing the GRN model and to enable targeted…

Genomics · Quantitative Biology 2010-05-27 Pey-Chang Kent Lin , Sunil P Khatri

Despite their apparent simplicity, random Boolean networks display a rich variety of dynamical behaviors. Much work has been focused on the properties and abundance of attractors. We here derive an expression for the number of attractors in…

Molecular Networks · Quantitative Biology 2007-05-23 Björn Samuelsson , Carl Troein

The description of gene interactions that constantly occur in the cellular environment is an extremely challenging task due to an immense number of degrees of freedom and incomplete knowledge about microscopic details. Hence, a…

Quantum Physics · Physics 2024-08-19 Mirko Rossini , Felix M. Weidner , Joachim Ankerhold , Hans A. Kestler

Boolean networks are dynamical models of disease development in which the activation levels of genes are represented by binary variables. Given a Boolean network, controls represent mutations or medical treatments that fix the activation…

Optimization and Control · Mathematics 2026-04-02 Kyungduk Moon , Kangbok Lee , Loïc Paulevé

Boolean Networks (BNs) describe the time evolution of binary states using logic functions on the nodes of a network. They are fundamental models for complex discrete dynamical systems, with applications in various areas of science and…

Discrete Mathematics · Computer Science 2025-03-26 Van-Giang Trinh , Samuel Pastva , Jordan Rozum , Kyu Hyong Park , Réka Albert

Boolean networks is a well-established formalism for modelling biological systems. A vital challenge for analysing a Boolean network is to identify all the attractors. This becomes more challenging for large asynchronous Boolean networks,…

Molecular Networks · Quantitative Biology 2017-06-14 Andrzej Mizera , Jun Pang , Hongyang Qu , Qixia Yuan

Biological processes, including cell differentiation, organism development, and disease progression, can be interpreted as attractors (fixed points or limit cycles) of an underlying networked dynamical system. In this paper, we study the…

Systems and Control · Computer Science 2017-01-20 Andrew Clark , Phillip Lee , Basel Alomair , Linda Bushnell , Radha Poovendran

We consider Boolean networks with interaction graphs partitioned into strongly connected components, which we call strong modules. This type of network decomposition has been considered in the literature, primarily from the perspective of…

Combinatorics · Mathematics 2026-04-14 Paul Ruet

The structure of the graph defined by the interactions in a Boolean network can determine properties of the asymptotic dynamics. For instance, considering the asynchronous dynamics, the absence of positive cycles guarantees the existence of…

Discrete Mathematics · Computer Science 2022-06-24 Adrien Richard , Elisa Tonello

Boolean networks are popular tools for the exploration of qualitative dynamical properties of biological systems. Several dynamical interpretations have been proposed based on the same logical structure that captures the interactions…

Discrete Mathematics · Computer Science 2022-03-04 Aurélien Naldi , Adrien Richard , Elisa Tonello

To simplify the analysis of Boolean networks, a reduction in the number of components is often considered. A popular reduction method consists in eliminating components that are not autoregulated, using variable substitution. In this work,…

Discrete Mathematics · Computer Science 2024-03-27 Robert Schwieger , Elisa Tonello

We study the stable attractors of a class of continuous dynamical systems that may be idealized as networks of Boolean elements, with the goal of determining which Boolean attractors, if any, are good approximations of the attractors of…

Molecular Networks · Quantitative Biology 2009-11-13 Johannes Norrell , Björn Samuelsson , Joshua E. S. Socolar

Discrete dynamical systems in which model components take on categorical values have been successfully applied to biological networks to study their global dynamic behavior. Boolean models in particular have been used extensively. However,…

Quantitative Methods · Quantitative Biology 2021-09-09 Etan Basser-Ravitz , Arman Darbar , Julia Chifman

This paper details a method for optimising the size of Boolean automata networks in order to compute their attractors under the parallel update schedule. This method relies on the formalism of modules introduced recently that allows for…

Logic in Computer Science · Computer Science 2020-07-21 Kévin Perrot , Pacôme Perrotin , Sylvain Sené

We study the target control problem of asynchronous Boolean networks, to identify a set of nodes, the perturbation of which can drive the dynamics of the network from any initial state to the desired steady state (or attractor). We are…

Systems and Control · Electrical Eng. & Systems 2020-06-04 Cui Su , Jun Pang

This paper characterizes the attractor structure of synchronous and asynchronous Boolean networks induced by bi-threshold functions. Bi-threshold functions are generalizations of classical threshold functions and have separate threshold…

Dynamical Systems · Mathematics 2013-01-18 Chris J. Kuhlman , Henning S. Mortveit , David Murrugarra , V. S. Anil Kumar

Asynchronous Boolean networks are a type of discrete dynamical system in which each variable can take one of two states, and a single variable state is updated in each time step according to pre-selected rules. Boolean networks are popular…

Molecular Networks · Quantitative Biology 2024-10-08 Samuel Pastva , Kyu Hyong Park , Ondrej Huvar , Jordan C Rozum , Reka Albert
‹ Prev 1 2 3 10 Next ›