SYNCHRONIZATION CRITERIA FOR TWO BOOLEAN NETWORKS BASED ON LOGICAL CONTROL

2013 ◽  
Vol 23 (11) ◽  
pp. 1350178 ◽  
Author(s):  
HONGWEI CHEN ◽  
YANG LIU ◽  
JIANQUAN LU
Keyword(s):  
Sufficient Conditions ◽  
Open Loop ◽  
Boolean Networks ◽  
Space Representation ◽  
Complete Synchronization ◽  
Loop Control ◽  
State Space Representation ◽  
Logic Control ◽  
Logical Control ◽  
Necessary And Sufficient

This paper investigates the complete synchronization of two Boolean networks via logic control. Both feedback control and open-loop control are proposed to make the slave network completely synchronized with the master Boolean network. Using the algebraic state-space representation of Boolean networks, we derive several necessary and sufficient conditions for complete synchronization between two Boolean networks. Two examples are given to illustrate the obtained results.

Synchronization of switched Boolean networks with impulsive effects

2018 ◽  
Vol 11 (06) ◽  
pp. 1850080 ◽  
Author(s):  
Xiaojing Xu ◽  
Yansheng Liu ◽  
Haitao Li ◽  
Fuad E. Alsaadi
Keyword(s):  
Sufficient Conditions ◽  
Boolean Networks ◽  
The State ◽  
Impulsive Effects ◽  
Space Representation ◽  
Algebraic Form ◽  
State Space Representation ◽  
Switching Signal ◽  
Output Synchronization ◽  
Necessary And Sufficient

This paper studies the state/output synchronization of switched Boolean networks (SBNs) with impulsive effects via the algebraic state space representation (ASSR) approach. First, an algebraic form is established for SBNs with impulsive effects via ASSR. Second, based on the algebraic form, some necessary and sufficient conditions are presented for the state/output synchronization of SBNs with impulsive effects under arbitrary switching signals. Third, two special kinds of switching signals, that is, free switching signal and feedback switching signal, are considered for the state synchronization of SBNs with impulsive effects. Finally, two illustrative examples are worked out to show the effectiveness of the obtained results.

Synchronization in mutual-coupled temporal Boolean networks

2017 ◽  
Vol 40 (7) ◽  
pp. 2211-2216 ◽  
Author(s):  
Qiang Wei ◽  
Cheng-jun Xie
Keyword(s):  
Theoretical Analysis ◽  
Tensor Product ◽  
Sufficient Conditions ◽  
Boolean Networks ◽  
Necessary And Sufficient Conditions ◽  
Complete Synchronization ◽  
Logical Relationship ◽  
Algebraic Form ◽  
Algebraic Forms ◽  
Necessary And Sufficient

In this paper, we first propose a mutual-coupled temporal Boolean networks model and then investigate complete synchronization in mutual-coupled temporal Boolean networks. The mutual-coupled temporal Boolean networks model with logical relationship is converted into an algebraic form based on a semi-tensor product. Necessary and sufficient conditions are derived to realize synchronization based on the algebraic forms. An example illustrates the effectiveness of the theoretical analysis.

scholarly journals The NIEP and the positive realization problem

2020 ◽  
Vol 36 (36) ◽  
pp. 367-384 ◽  
Author(s):  
Luca Benvenuti
Keyword(s):  
Sufficient Conditions ◽  
Inverse Eigenvalue Problem ◽  
Space Representation ◽  
Complex Numbers ◽  
Practical Application ◽  
Realization Problem ◽  
State Space Representation ◽  
Inverse Eigenvalue ◽  
Necessary And Sufficient ◽  
Positive State

The nonnegative inverse eigenvalue problem is the problem of determining necessary and sufficient conditions for a multiset of complex numbers to be the spectrum of a nonnegative real matrix of size equal to the cardinality of the multiset itself. The problem is longstanding and proved to be very difficult so that several variations have been defined by considering particular classes of multisets and nonnegative real matrices. In this paper, a novel variation of the problem is proposed. This variation is motivated by a practical application in the positive realization problem, that is the problem of characterizing existence and minimality of a positive state--space representation of a given transfer function.

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.

State Space Representation of the Open-Loop Dynamics of the Space Shuttle Main Engine

1991 ◽  
Vol 113 (4) ◽  
pp. 684-690 ◽  
Author(s):  
Ahmet Duyar ◽  
Vasfi Eldem ◽  
Walter C. Merrill ◽  
Ten-Huei Guo
Keyword(s):  
State Space ◽  
Linear Models ◽  
Space Shuttle ◽  
Open Loop ◽  
Space Representation ◽  
Structure Estimation ◽  
State Space Representation ◽  
Loop Dynamics ◽  
Main Engine ◽  
And Control

A parameter and structure estimation technique for multivariable systems is used to obtain state space representation of open loop dynamics of the space shuttle main engine (SSME). The parametrization being used is both minimal and unique. The simplified linear models may be used for fault detection studies and control system design and development.

scholarly journals On Bumps and Reduction of Switching Transients in Multicontroller Systems

2007 ◽  
Vol 2007 ◽  
pp. 1-17 ◽  
Author(s):  
Joseph J. Yamé ◽  
Michel Kinnaert
Keyword(s):  
State Space ◽  
Closed Loop ◽  
Open Loop ◽  
Space Representation ◽  
Control Loop ◽  
Minimal State ◽  
State Space Representation ◽  
Common Memory ◽  
Linear Controllers

This paper is concerned with the realization and implementation of multicontroller systems, consisting of several linear controllers, subject to the bump phenomenon which occurs when switching between one controller acting in closed loop and another controller in the set of “offline” controllers waiting to take over the control loop. Based on a deep characterization of the bump phenomenon, the paper gives a novel and simple parameterization of such set of linear controllers, possibly having different state dimensions, to cope with bumps and their undesirable transients in switched-mode systems. The proposed technique is based on a non minimal state-space representation allowing a common memory and a unique dynamics shared by all controllers in that set. It also makes each initially open-loop unstable controller run in a stable way regardless of whether that controller is connected to the controlled process.

Titik Setimbang Nash pada Permainan Linear Kuadratik Non-kooperatif dengan Asumsi Keseluruhan Pemain dapat Menstabilkan Sistem

2017 ◽  
Vol 1 (2) ◽  
pp. 211-224
Author(s):  
Ezhari Asfa’ani
Keyword(s):  
Quadratic Differential ◽  
Information Structure ◽  
Nash Equilibria ◽  
Sufficient Conditions ◽  
Planning Horizon ◽  
Open Loop ◽  
Linear Quadratic ◽  
Linear Quadratic Differential Games ◽  
Necessary And Sufficient ◽  
Infinite Planning Horizon

We discuss about Nash equilibria for the linear quadratic differential game for an infinite planning horizon. We consider an open-loop information structure. In the standard literature this problem is solved under the assumption and provide both necessary and sufficient conditions for existence of Nash equilibria for this game under the assumption that the system as a whole is stabilizable.      Keywords: linear quadratic differential games, open-loop information structure

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.

Sign in / Sign up

Export Citation Format

Share Document