Boolean control networks (BCNs) are recently attracting considerable interest as computational models for genetic and cellular networks. Addressing control-theoretic problems in BCNs may lead to a better understanding of the intrinsic control in biological systems, as well as to developing suitable protocols for manipulating biological systems using exogenous inputs. We introduce two definitions for controllability of a BCN, and show that a necessary and sufficient condition for each form of controllability is that a certain nonnegative matrix is irreducible or primitive, respectively. Our analysis is based on a result that may be of independent interest, namely, a simple algebraic formula for the number of different control sequences that steer a BCN between given initial and final states in a given number of time steps, while avoiding a set of forbidden states.
Boolean networks (BNs) are discrete-time dynamical systems with Boolean state-variables and outputs. BNs are recently attracting considerable interest as computational models for genetic and cellular networks. We consider the observability of BNs, that is, the possibility of uniquely determining the initial state given a time sequence of outputs. Our main result is that determining whether a BN is observable is NP-hard. This holds for both synchronous and asynchronous BNs. Thus, unless P=NP, there does not exist an algorithm with polynomial time complexity that solves the observability problem. We also give two simple algorithms, with exponential complexity, that solve this problem. Our results are based on combining the algebraic representation of BNs derived by D. Cheng with a graph-theoretic approach. Some of the theoretical results are applied to study the observability of a BN model of the mammalian cell cycle.
Boolean networks are recently attracting considerable interest as computational models for genetic and cellular networks. We consider a Mayer-type optimal control problem for a single-input Boolean network, and derive a necessary condition for a control to be optimal. This provides an analog of Pontryagin's maximum principle for single-input Boolean networks.
Boolean networks (BNs) are discrete-time dynamical systems with Boolean state-variables. BNs are recently attracting considerable interest as computational models for biological systems and, in particular, as models of gene regulating networks. Boolean control networks (BCNs) are Boolean networks with Boolean inputs. We consider the problem of steering a BCN from a given state to a desired state in minimal time. Using the algebraic state-space representation (ASSR) of BCNs we derive several necessary conditions, stated in the form of maximum principles (MPs), for a control to be time-optimal.In the ASSR every state and input vector is a canonical vector. Using this special structure yields an explicit state-feedback formula for all time-optimal controls. To demonstrate the theoretical results, we develop a BCN model for the genetic switch controlling the lambda phage development upon infection of a bacteria. Our results suggest that this biological switch is designed in a way that guarantees minimal time response to important environmental signals.
Boolean control networks (BCNs) are discrete-time dynamical systems with Boolean state-variables and inputs that are interconnected via Boolean functions. BCNs are recently attracting considerable interest as computational models for genetic and cellular networks with exogenous inputs.The topological entropy of a BCN with m inputs is a nonnegative real number in the interval [0, m log 2]. Roughly speaking, a larger topological entropy means that asymptotically the control is "more powerful". We derive a necessary and sufficient condition for a BCN to have the maximal possible topological entropy. Our condition is stated in the framework of Cheng's algebraic state-space representation of BCNs. This means that verifying this condition incurs an exponential time-complexity. We also show that the problem of determining whether a BCN with n state variables and m = n inputs has a maximum topological entropy is NP-hard, suggesting that this problem cannot be solved in general using a polynomial-time algorithm.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.