Robust Event-Triggered Control Invariance of Probabilistic Boolean Control Networks

Shifting Attack Stabilization and Estimation of Hidden Markov Boolean Networks

In this article, a network attack, named shifting attack, is considered for hidden Markov Boolean control networks (HMBCNs). Using semi-tensor product of matrices, the considered network and the network attack are presented in algebraic form. State feedback control (SFC) is then applied to stabilize the considered network to a desired state. A necessary and sufficient condition based on the probability matrix is presented for the stochastic stabilization of the HMBCN, based on which, the design of the SFC is given. Then shifting attack is further studied for HMBCNs. The control strategy will be shifted to another when the HMBCN is under attack. Shifting attack is also modeled in a hidden Markov process, under which, a necessary and sufficient condition for the security of the attacked HMBCN is also presented. Propositions are obtained for the security and insecurity of the attacked HMBCN. Using the change of the probability measurement approach, estimations of the states expectation and the attacked signals expectation for the attacked HMBCN are solved. At last, examples show the effectiveness of the obtained results.

Edge Removal and Q-Learning for Stabilizability of Boolean Networks

This article develops a new edge removal mechanism for the global stabilizability of Boolean networks (BNs). In order to achieve the edge removal control, several control variables are properly placed into the dynamics of BNs based on the fundamental logical operators. On the basis of the new edge removal mechanism, several necessary and sufficient conditions are obtained for the global stabilizability and set stabilizability of BNs. Furthermore, a kind of stable edge removal control is proposed and achieved via the -learning algorithm to optimize the edge removal mechanism. As an application, the edge removal control is used to verify whether or not the mammalian cortical area development model can be made stabilizable to the expected stable states.

Multi-Sensor Fusion Boolean Bayesian Filtering for Stochastic Boolean Networks

Stochastic Boolean networks (SBNs) take process noise into account, so it is better to fit the actual situation and has a wider application background than Boolean networks (BNs). However, the presence of noise influences us to estimate the real state of the system. To minimize the inaccuracies caused by the presence of noise, an optimal state estimation problem is studied in this article. The multi-sensor fusion Boolean Bayesian filtering is proposed and a recursive algorithm is provided to calculate the prior and posterior belief of system state by fusing multi-sensor measurements based on the algebraic form of the SBN and Bayesian law. Then, the optimal state estimator is obtained, which minimizes the mean-square estimation error. Finally, a simulation example is carried out to demonstrate the performance of the proposed methodology. It has been shown through the simulation experiment that it increases the confidence level of the state estimation and improves the estimation performance using multi-sensor fusion compared with using single sensor.

Asynchronous Control of Stochastic Switched Boolean Control Networks With Piecewise-Homogeneous Dwell Time

In this article, the l₁ -induced performance of the stochastic switched Boolean control network (BCN) is investigated. The switched signal is considered to follow a time-varying probability distribution, the switching of which is considered to have a random dwell time. The asynchronous state feedback control (SFC) is studied to achieve the control objective. This kind of control can avoid the failure of the control due to the inconsistency between the system mode and the control mode, so the results obtained are more general. Using the semitensor product of matrices, the algebraic form of the considered BCN is represented. Under this framework, sufficient conditions are obtained to ensure that the closed-loop system is stochastic stabilized with a prescribed l₁ -induced performance level γ . Parameters can be solved by inequalities. In addition, when the dwell time converges to infinity, the probability distribution of the switched signal becomes fixed. Necessary and sufficient conditions are presented to ensure the stabilization of the closed system under asynchronous SFC as well as the design of the asynchronous SFC. Then, sufficient condition is obtained for the prescribed l₁ -induced performance level. Examples are presented to show the effectiveness of the obtained results.

Stabilization of Markovian Jump Boolean Control Networks via Sampled-Data Control

In this article, we study the finite-time stabilization and the asymptotic stabilization with probability one of Markovian jump Boolean control networks (MJBCNs) by sampled-data state feedback controls (SDSFCs). Based on the semi-tensor product (STP), we introduce an augmented variable multiplied by the vector form of the switching signal and the state of MJBCN. We find that under SDSFC, the sequence of the states of the augmented variable at sampling instants satisfies the Markov property. Based on the convergences of the switching signal and the augmented variable, we obtain the sufficient and necessary criteria for the finite-time stabilization and the asymptotic stabilization of MJBCNs by SDSFCs, respectively. Moreover, for the two kinds of stabilization, the feedback matrices of SDSFCs are constructed, respectively. Finally, the obtained results are applied to an apoptosis network and a model of the lactose operon in the Escherichia Coli.

Computing Primitive of Fully VCSEL-Based All-Optical Spiking Neural Network for Supervised Learning and Pattern Classification

We propose computing primitive for an all-optical spiking neural network (SNN) based on vertical-cavity surface-emitting lasers (VCSELs) for supervised learning by using biologically plausible mechanisms. The spike-timing-dependent plasticity (STDP) model was established based on the dynamics of the vertical-cavity semiconductor optical amplifier (VCSOA) subject to dual-optical pulse injection. The neuron-synapse self-consistent unified model of the all-optical SNN was developed, which enables reproducing the essential neuron-like dynamics and STDP function. Optical character numbers are trained and tested by the proposed fully VCSEL-based all-optical SNN. Simulation results show that the proposed all-optical SNN is capable of recognizing ten numbers by a supervised learning algorithm, in which the input and output patterns as well as the teacher signals of the all-optical SNN are represented by spatiotemporal fashions. Moreover, the lateral inhibition is not required in our proposed architecture, which is friendly to the hardware implementation. The system-level unified model enables architecture-algorithm codesigns and optimization of all-optical SNN. To the best of our knowledge, the computing primitive of an all-optical SNN based on VCSELs for supervised learning has not yet been reported, which paves the way toward fully VCSEL-based large-scale photonic neuromorphic systems with low power consumption.

Mayer-Type Optimal Control of Probabilistic Boolean Control Network With Uncertain Selection Probabilities

This article considers a Mayer-type optimal control problem of probabilistic Boolean control networks (PBCNs) with uncertainty on selection probabilities which obey Beta probabilistic distributions. The expectation with respect to both the selection probabilities and the transitions of state variables is set as a cost function, and it deduces an equivalent formulation as a multistage decision problem. Furthermore, the dynamic programming technique is applied to solve the problem and performs a novel optimization algorithm in the fashion of semitensor product. A numerical example of a biological model of apoptosis protein demonstrates the effectiveness and feasibility of the proposed framework and algorithms.

Stability and Stabilization in Probability of Probabilistic Boolean Networks

This article studies the stability in probability of probabilistic Boolean networks and stabilization in the probability of probabilistic Boolean control networks. To simulate more realistic cellular systems, the probability of stability/stabilization is not required to be a strict one. In this situation, the target state is indefinite to have a probability of transferring to itself. Thus, it is a challenging extension of the traditional probability-one problem, in which the self-transfer probability of the target state must be one. Some necessary and sufficient conditions are proposed via the semitensor product of matrices. Illustrative examples are also given to show the effectiveness of the derived results.

Set Stabilization of Probabilistic Boolean Control Networks: A Sampled-Data Control Approach

This article investigates the set stabilization of probabilistic Boolean control networks (PBCNs) under sampled-data (SD) state-feedback control within finite and infinite time, respectively. First, the algorithms are, respectively, proposed to find the sampled point set and the largest sampled point control invariant set (SPCIS) of PBCNs by SD state-feedback control. Based on this, a necessary and sufficient criterion is proposed for the global set stabilization of PBCNs by SD state-feedback control within finite time. Moreover, the time-optimal SD state-feedback controller is designed. It is interesting that if the sampled period (SP) is changed, the time of global set stabilization of PBCNs may also change or even the PBCNs cannot achieve set stabilization. Second, a criterion for the global set stabilization of PBCNs by SD state-feedback control within infinite time is obtained. Furthermore, all possible SD state-feedback controllers are obtained by using all the complete families of reachable sets. Finally, three examples are presented to illustrate the effectiveness of the obtained results.