scholarly journals Structural Controllability of Boolean Control Networks under Partial Information

Complexity ◽  
2021 ◽  
Vol 2021 ◽  
pp. 1-9
Author(s):  
Qinyao Pan ◽  
Jie Zhong ◽  
Shalin Tong ◽  
Bowen Li ◽  
Xiaoxu Liu
Keyword(s):  
Boolean Functions ◽  
Partial Information ◽  
Sufficient Conditions ◽  
Vital Role ◽  
Boolean Networks ◽  
Lactose Operon ◽  
Control Networks ◽  
Structural Controllability ◽  
Necessary And Sufficient ◽  
Theoretical Results

It is worth noting that both nodes’ coupling connections and logical updating functions play a vital role in state evolutions of Boolean networks (BNs). In this paper, a new concept named structural controllability (SC) about Boolean control networks (BCNs) with known partial information on nodes’ connections is studied. Then, by referring to semi-tensor product (STP) techniques, several types of SC are presented according to different issues of Boolean functions. Thereafter, several necessary and sufficient conditions are derived for SC of BCNs. Finally, a biological model of the lactose operon in Escherichia coli is simulated to show the effectiveness of the main theoretical results.

scholarly journals A Note on the Observability of Temporal Boolean Control Network

2013 ◽  
Vol 2013 ◽  
pp. 1-9 ◽  
Author(s):  
Wenping Shi ◽  
Bo Wu ◽  
Jing Han
Keyword(s):  
Boolean Network ◽  
Sufficient Conditions ◽  
Boolean Networks ◽  
Control Networks ◽  
Linear Dynamic Systems ◽  
Regulatory Interactions ◽  
Boolean Control Network ◽  
Boolean Network Model ◽  
Necessary And Sufficient ◽  
Product Of Matrices

Temporal Boolean network is a generalization of the Boolean network model that takes into account the time series nature of the data and tries to incorporate into the model the possible existence of delayed regulatory interactions among genes. This paper investigates the observability problem of temporal Boolean control networks. Using the semi tensor product of matrices, the temporal Boolean networks can be converted into discrete time linear dynamic systems with time delays. Then, necessary and sufficient conditions on the observability via two kinds of inputs are obtained. An example is given to illustrate the effectiveness of the obtained results.

Sampled-Data State Feedback Stabilization of Boolean Control Networks

2016 ◽  
Vol 28 (4) ◽  
pp. 778-799 ◽  
Author(s):  
Yang Liu ◽  
Jinde Cao ◽  
Liangjie Sun ◽  
Jianquan Lu
Keyword(s):  
State Feedback ◽  
Sufficient Conditions ◽  
Feedback Stabilization ◽  
Necessary And Sufficient Conditions ◽  
State Feedback Control ◽  
Global Stabilization ◽  
Sampled Data ◽  
Control Networks ◽  
Piecewise Constant Control ◽  
Necessary And Sufficient

In this letter, we investigate the sampled-data state feedback control (SDSFC) problem of Boolean control networks (BCNs). Some necessary and sufficient conditions are obtained for the global stabilization of BCNs by SDSFC. Different from conventional state feedback controls, new phenomena observed the study of SDSFC. Based on the controllability matrix, we derive some necessary and sufficient conditions under which the trajectories of BCNs can be stabilized to a fixed point by piecewise constant control (PCC). It is proved that the global stabilization of BCNs under SDSFC is equivalent to that by PCC. Moreover, algorithms are given to construct the sampled-data state feedback controllers. Numerical examples are given to illustrate the efficiency of the obtained results.

Dynamical Behaviors of a Fractional-Order Predator–Prey Model with Holling Type IV Functional Response and Its Discretization

2019 ◽  
Vol 20 (2) ◽  
pp. 125-136
Author(s):  
A. M. Yousef ◽  
S. Z. Rida ◽  
Y. Gh. Gouda ◽  
A. S. Zaki
Keyword(s):  
Functional Response ◽  
Fractional Order ◽  
Sufficient Conditions ◽  
Predator Prey ◽  
Predator Prey Model ◽  
Type Iv ◽  
Dynamical Behaviors ◽  
The Stability ◽  
Necessary And Sufficient ◽  
Theoretical Results

AbstractIn this paper, we investigate the dynamical behaviors of a fractional-order predator–prey with Holling type IV functional response and its discretized counterpart. First, we seek the local stability of equilibria for the fractional-order model. Also, the necessary and sufficient conditions of the stability of the discretized model are achieved. Bifurcation types (include transcritical, flip and Neimark–Sacker) and chaos are discussed in the discretized system. Finally, numerical simulations are executed to assure the validity of the obtained theoretical results.

Multiconsensus of first-order multiagent systems with directed topologies

2020 ◽  
Vol 34 (23) ◽  
pp. 2050240
Author(s):  
Xiao-Wen Zhao ◽  
Guangsong Han ◽  
Qiang Lai ◽  
Dandan Yue
Keyword(s):  
Multiagent Systems ◽  
Matrix Theory ◽  
Sufficient Conditions ◽  
Consensus Problem ◽  
Multiple Agents ◽  
First Order ◽  
The Matrix ◽  
Directed Topologies ◽  
Necessary And Sufficient ◽  
Theoretical Results

The multiconsensus problem of first-order multiagent systems with directed topologies is studied. A novel consensus problem is introduced in multiagent systems — multiconsensus. The states of multiple agents in each subnetwork asymptotically converge to an individual consistent value in the presence of information exchanges among subnetworks. Linear multiconsensus protocols are proposed to solve the multiconsensus problem, and the matrix corresponding to the protocol is designed. Necessary and sufficient conditions are derived based on matrix theory, under which the stationary multiconsensus and dynamic multiconsensus can be reached. Simulations are provided to demonstrate the effectiveness of the theoretical results.

scholarly journals Robust Output Controllability Analysis and Control Design for Incomplete Boolean Networks with Disturbance Inputs

2018 ◽  
Vol 2018 ◽  
pp. 1-9
Author(s):  
Lei Deng ◽  
Shihua Fu ◽  
Ying Li ◽  
Peiyong Zhu
Keyword(s):  
Sufficient Conditions ◽  
Boolean Networks ◽  
Algebraic Form ◽  
Output Control ◽  
Optimal Output ◽  
Product Technique ◽  
Output Controllability ◽  
The Cost ◽  
Necessary And Sufficient ◽  
And Control

This paper addresses the problems of robust-output-controllability and robust optimal output control for incomplete Boolean control networks with disturbance inputs. First, by resorting to the semi-tensor product technique, the system is expressed as an algebraic form, based on which several necessary and sufficient conditions for the robust output controllability are presented. Second, the Mayer-type robust optimal output control issue is studied and an algorithm is established to find a control scheme which can minimize the cost functional regardless of the effect of disturbance inputs. Finally, a numerical example is given to demonstrate the effectiveness of the obtained new results.

scholarly journals Robust Invariant Set Analysis of Boolean Networks

Complexity ◽  
2019 ◽  
Vol 2019 ◽  
pp. 1-8 ◽  
Author(s):  
Bowen Li ◽  
Jungang Lou ◽  
Yang Liu ◽  
Zhen Wang
Keyword(s):  
Fixed Point ◽  
Output Feedback ◽  
Invariant Set ◽  
Boolean Networks ◽  
Sufficient Condition ◽  
Lac Operon ◽  
Feedback Controllers ◽  
Control Networks ◽  
E Coli ◽  
Necessary And Sufficient

In this paper, the robust invariant set (RIS) of Boolean (control) networks with disturbances is investigated. First, for a given fixed point, consider a special set called immediate neighborhoods of the fixed point; then a discrete derivative of Boolean functions at the fixed point is used to analyze the robust invariance, based on which a sufficient condition is obtained. Second, for more general sets, the robust output control invariant set (ROCIS) of Boolean control networks (BCNs) is investigated by semitensor product (STP) of matrices. Then, under a given output feedback controller, we obtain a necessary and sufficient condition to check whether a given set is robust control invariant set (RCIS). Furthermore, output feedback controllers are designed to make a set to be a RCIS. Finally, the proposed methods are illustrated by a reduced model of the lac operon in E. coli.

Multivariate Simultaneous Generalized ARCH

1995 ◽  
Vol 11 (1) ◽  
pp. 122-150 ◽  
Author(s):  
Robert F. Engle ◽  
Kenneth F. Kroner
Keyword(s):  
Sufficient Conditions ◽  
Likelihood Estimation ◽  
Positive Definiteness ◽  
Covariance Matrices ◽  
Simultaneous Equations ◽  
Equivalence Relations ◽  
Conditional Covariance ◽  
Arch Models ◽  
Necessary And Sufficient ◽  
Theoretical Results

This paper presents theoretical results on the formulation and estimation of multivariate generalized ARCH models within simultaneous equations systems. A new parameterization of the multivariate ARCH process is proposed, and equivalence relations are discussed for the various ARCH parameterizations. Constraints sufficient to guarantee the positive definiteness of the conditional covariance matrices are developed, and necessary and sufficient conditions for covariance stationarity are presented. Identification and maximum likelihood estimation of the parameters in the simultaneous equations context are also covered.

Embeddings of weighted Sobolev spaces into spaces of continuous functions

1992 ◽  
Vol 439 (1906) ◽  
pp. 279-296 ◽  
Keyword(s):  
Weighted Sobolev Spaces ◽  
Sufficient Conditions ◽  
Continuous Functions ◽  
Hölder Continuous ◽  
Compact Embeddings ◽  
Spaces Of Continuous Functions ◽  
Hölder Continuous Functions ◽  
Continuous And Compact Embeddings ◽  
Necessary And Sufficient ◽  
Theoretical Results

We give sufficient conditions and necessary conditions (which in some cases are both necessary and sufficient) for continuous and compact embeddings of the weighted Sobolev space W 1,p ( Ω ;v 0 v 1 )into spaces of weighted continuous and Holder continuous functions. The theoretical results are illustrated by several examples.

scholarly journals Computer-controlled variable-structure systems

1992 ◽  
Vol 34 (1) ◽  
pp. 1-17 ◽  
Author(s):  
Xinghuo Yu ◽  
Renfrey B. Potts
Keyword(s):  
Computer Control ◽  
Sufficient Conditions ◽  
Variable Structure ◽  
Dimensional System ◽  
Sliding Modes ◽  
Variable Structure Systems ◽  
Computer Controlled ◽  
Two Dimensional System ◽  
Necessary And Sufficient ◽  
Theoretical Results

AbstractA theory is developed for the computer control of variable-structure systems, using periodic zero-order-hold sampling. A simple two-dimensional system is first analysed, and necessary and sufficient conditions for the occurrence of pseudo-sliding modes are discussed. The method is then applied to a discrete model of a cylindrical robot. The theoretical results are illustrated by computer simulations.

Sign in / Sign up

Export Citation Format

Share Document