Local Negative Circuits and Cyclic Attractors in Boolean Networks with at most Five Components

Elisa Tonello,Claudine Chaouiya,Etienne Farcot

doi:10.1137/18m1173988

Abstract

We consider the following question on the relationship between the asymptotic behaviors of asynchronous dynamics of Boolean networks and their regulatory structures: Does the presence of a cyclic a...

Highlights

Boolean networks are used to model the dynamics resulting from the interactions between n regulatory components that can assume only two values, 0 and 1, and are naturally described as maps from {0, 1}n to itself
We describe how Question 1.1 can be translated into a Boolean satisfiability problem (SAT)
We show that the problem can be approached as a Boolean satisfiability problem, and find that all maps from

Summary

Introduction

Boolean networks are used to model the dynamics resulting from the interactions between n regulatory components that can assume only two values, 0 and 1, and are naturally described as maps from {0, 1}n to itself. Regulatory graph, local negative circuits, cyclic attractors, asynchronous dynamics Does the absence of fixed points imply the existence of a local negative circuit in the regulatory graph?

Results

Conclusion