English
Related papers

Related papers: Invariant Subspace Approach to Boolean (Control) N…

200 papers

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 (BNs) serve as a fundamental modeling framework for capturing complex dynamical systems across various domains, including systems biology, computational logic, and artificial intelligence. A crucial property of BNs is the…

Logic in Computer Science · Computer Science 2025-06-19 Mohimenul Kabir , Van-Giang Trinh , Samuel Pastva , Kuldeep S Meel

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

This paper presents the foundation for a decomposition theory for Boolean networks, a type of discrete dynamical system that has found a wide range of applications in the life sciences, engineering, and physics. Given a Boolean network…

Dynamical Systems · Mathematics 2022-06-10 Claus Kadelka , Reinhard Laubenbacher , David Murrugarra , Alan Veliz-Cuba , Matthew Wheeler

This paper investigates the learnability of the nonlinearity property of Boolean functions using neural networks. We train encoder style deep neural networks to learn to predict the nonlinearity of Boolean functions from examples of…

Machine Learning · Computer Science 2025-02-04 Sriram Ranga , Nandish Chattopadhyay , Anupam Chattopadhyay

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é

Different Boolean networks may reveal similar dynamics although their definition differs, then preventing their distinction from the observations. This raises the question about the sufficiency of a particular Boolean network for properly…

Discrete Mathematics · Computer Science 2014-11-25 Franck Delaplace

Boolean circuit is a computational graph that consists of the dynamic directed graph structure and static functionality. The commonly used logic optimization and Boolean matching-based transformation can change the behavior of the Boolean…

Machine Learning · Computer Science 2024-11-19 Liwei Ni , Xinquan Li , Biwei Xie , Huawei Li

Boolean networks are a valuable class of discrete dynamical systems models, but they remain fundamentally limited by their inability to capture multi-way interactions in their components. To remedy this limitation, we propose a model of…

Dynamical Systems · Mathematics 2024-09-02 Kevin M. Stoltz , Cliff A. Joslyn

A conjunctive Boolean network (CBN) is a finite state dynamical system, whose variables take values from a binary set, and the value update rule for each variable is a Boolean function consisting only of logic AND operations. We investigate…

Dynamical Systems · Mathematics 2019-07-11 Xudong Chen , Zuguang Gao , Tamer Başar

We study classes of dynamical systems that can be obtained by constructing recursive networks with monotone Boolean functions. Stack filters in nonlinear signal processing are special cases of such systems. We show an analytical connection…

Disordered Systems and Neural Networks · Physics 2009-07-28 Matti Nykter , Juha Kesseli , Ilya Shmulevich

Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect to the state of its regulators, the scheduling of component…

Logic in Computer Science · Computer Science 2019-06-03 Thomas Chatain , Stefan Haar , Juraj Kolčák , Loïc Paulevé , Aalok Thakkar

A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current…

Combinatorics · Mathematics 2021-04-29 Maximilien Gadouleau

Boolean network models of molecular regulatory networks have been used successfully in computational systems biology. The Boolean functions that appear in published models tend to have special properties, in particular the property of being…

Dynamical Systems · Mathematics 2024-07-09 Yuan Li , John O. Adeyeye , David Murrugarra , Boris Aguilar , Reinhard Laubenbacher

Dynamical systems theory and complexity science provide powerful tools for analysing artificial agents and robots. Furthermore, they have been recently proposed also as a source of design principles and guidelines. Boolean networks are a…

Artificial Intelligence · Computer Science 2015-03-18 Andrea Roli , Mattia Manfroni , Carlo Pinciroli , Mauro Birattari

We investigated the properties of Boolean networks that follow a given reliable trajectory in state space. A reliable trajectory is defined as a sequence of states which is independent of the order in which the nodes are updated. We…

Biological Physics · Physics 2011-03-23 Tiago P. Peixoto , Barbara Drossel

A Boolean network is a finite state discrete time dynamical system. At each step, each variable takes a value from a binary set. The value update rule for each variable is a local function which depends only on a selected subset of…

Dynamical Systems · Mathematics 2017-08-10 Zuguang Gao , Xudong Chen , Tamer Başar

A Boolean control network (BCN) is a discrete-time dynamical system whose variables take values from a binary set $\{0,1\}$. At each time step, each variable of the BCN updates its value simultaneously according to a Boolean function which…

Systems and Control · Computer Science 2019-07-23 Qunxi Zhu , Zuguang Gao , Yang Liu , Weihua Gui

Logical models have been successfully used to describe regulatory and signaling networks without requiring quantitative data. However, existing data is insufficient to adequately define a unique model, rendering the parametrization of a…

Discrete Mathematics · Computer Science 2019-01-24 José E. R. Cury , Pedro T. Monteiro , Claudine Chaouiya

A new analytical framework consisting of two phenomena: single sample and multiple samples, is proposed to deal with the identification problem of Boolean control networks (BCNs) systematically and comprehensively. Under this framework, the…

Systems and Control · Electrical Eng. & Systems 2021-04-30 Biao Wang , Jun-e Feng , Daizhan Cheng