Stability and Stabilization in Probability of Probabilistic Boolean Networks

Long-Run Behavior Estimation of Temporal Boolean Networks With Multiple Data Losses

This brief devotes to investigating the long-run behavior estimation of temporal Boolean networks (TBNs) with multiple data losses, especially the asymptotical stability. The information transmission is modeled by Bernoulli variables, based on which an augmented system is constructed to facilitate the analysis. A theorem guarantees that the asymptotical stability of the original system can be converted to that of the augmented system. Subsequently, one necessary and sufficient condition is obtained for asymptotical stability. Furthermore, an auxiliary system is derived to study the synchronization issue of the ideal TBNs with normal data transmission and TBNs with multiple data losses, as well as an effective criterion for verifying synchronization. Finally, numerical examples are given to illustrate the validity of the theoretical results.

Feedback Stabilization of Boolean Control Networks With Missing Data

Data loss is often random and unavoidable in realistic networks due to transmission failure or node faults. When it comes to Boolean control networks (BCNs), the model actually becomes a delayed system with unbounded time delays. It is difficult to find a suitable way to model it and transform it into a familiar form, so there have been no available results so far. In this article, the stabilization of BCNs is studied with Bernoulli-distributed missing data. First, an augmented probabilistic BCN (PBCN) is constructed to estimate the appearance of data loss items in the model form. Based on this model, some necessary and sufficient conditions are proposed based on the construction of reachable matrices and one-step state transition probability matrices. Moreover, algorithms are proposed to complete the state feedback stabilizability analysis. In addition, a constructive method is developed to design all feasible state feedback controllers. Finally, illustrative examples are given to show the effectiveness of the proposed results.

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.

Self-Triggered Scheduling for Boolean Control Networks

It has been shown that self-triggered control has the ability to deal with cases with constrained resources by properly setting up the rules for updating the system control when necessary. In this article, self-triggered stabilization of the Boolean control networks (BCNs), including the deterministic BCNs, probabilistic BCNs, and Markovian switching BCNs, is first investigated via the semitensor product of matrices and the Lyapunov theory of the Boolean networks. The self-triggered mechanism with the aim to determine when the controller should be updated is provided by the decrease of the corresponding Lyapunov functions between two consecutive samplings. Rigorous theoretical analysis is presented to prove that the designed self-triggered control strategy for BCNs is well defined and can make the controlled BCNs be stabilized at the equilibrium point.

Graph-Based Function Perturbation Analysis for Observability of Multivalued Logical Networkss

Observability is a fundamental concept for the synthesis of both linear systems and nonlinear systems. This article devotes to discussing the robustness of observability for multivalued logical networks (MVLNs) subject to function perturbation and establishing a graph-based framework. First, based on the transition graph of undistinguishable pairs of states, a new graph-based criterion is presented for the observability of MVLNs. Second, a candidate set consisting of all suspicious undistinguishable pairs of states is defined, based on the cardinality of which and the graph-based condition, a series of effective criteria are proposed for the robustness of observability subject to function perturbations. Finally, the obtained results are applied to the robust observability analysis of the p53-MDM2 negative feedback regulatory loop.

Novel methods to global Mittag-Leffler stability of delayed fractional-order quaternion-valued neural networks

In this paper, a type of fractional-order quaternion-valued neural networks (FOQVNNs) with leakage and time-varying delays is established to simulate real-world situations, and the global Mittag-Leffler stability of the system is investigated by using the non-decomposition method. First, to avoid decomposing the system into two complex-valued systems or four real-valued systems, a new sign function for quaternion numbers is introduced based on the ones for real and complex numbers. And two novel lemmas for quaternion-valued sign function and Caputo fractional derivative are established in quaternion domain, which are used to investigate the stability of FOQVNNs. Second, a concise and flexible quaternion-valued state feedback controller is directly designed and a novel 1-norm Lyapunov function composed of the absolute values of real and imaginary parts is established. Then, based on the designed quaternion-valued state feedback controller and the proposed lemmas, some sufficient conditions are given to ensure the global Mittag-Leffler stability of the system. Finally, a numerical simulation is given to verify the theoretical results.

Global μ-synchronization of impulsive pantograph neural networks

This paper investigates the problem of global μ-synchronization of impulsive pantograph neural networks. In this paper, new concept of ν-asymptotic periodic impulsive interval T_asy^ν is proposed for pantograph networks. By employing the Lyapunov method combined with the mathematical analysis approach for impulsive systems, some useful criteria are derived to guarantee the global μ-synchronization of coupled pantograph neural networks when the asymptotic logarithmic periodic impulsive interval T_asy^ln<∞ and T_asy^ln=∞, respectively. Especially when T_asy^ln=∞, as long as the networks are unstable, impulsive control cannot achieve synchronization regardless of the size of the impulse gain. Numerical simulations are exploited to illustrate our theoretical results.