Stability Analysis of Delayed Genetic Regulatory Networks via a Relaxed Double Integral Inequality

Time delay arising in a genetic regulatory network may cause the instability. This paper is concerned with the stability analysis of genetic regulatory networks with interval time-varying delays. Firstly, a relaxed double integral inequality, named as Wirtinger-type double integral inequality (WTDII), is established to estimate the double integral term appearing in the derivative of Lyapunov-Krasovskii functional with a triple integral term. And it is proved theoretically that the proposed WTDII is tighter than the widely used Jensen-based double inequality and the recently developed Wiringter-based double inequality. Then, by applying the WTDII to the stability analysis of a delayed genetic regulatory network, together with the usage of useful information of regulatory functions, several delay-range- and delay-rate-dependent (or delay-rate-independent) criteria are derived in terms of linear matrix inequalities. Finally, an example is carried out to verify the effectiveness of the proposed method and also to show the advantages of the established stability criteria through the comparison with some literature

H

This paper is concerned with the H∞ filtering for a class of networked Markovian jump systems with multiple communication delays. Due to the existence of communication constraints, the measurement signal cannot arrive at the filter completely on time, and the stochastic communication delays are considered in the filter design. Firstly, a set of stochastic variables is introduced to model the occurrence probabilities of the delays. Then based on the stochastic system approach, a sufficient condition is obtained such that the filtering error system is stable in the mean-square sense and with a prescribed H∞ disturbance attenuation level. The optimal filter gain parameters can be determined by solving a convex optimization problem. Finally, a simulation example is given to show the effectiveness of the proposed filter design method

New Stability Criterion for Discrete-Time Genetic Regulatory Networks with Time-Varying Delays and Stochastic Disturbances

We propose an improved stability condition for a class of discrete-time genetic regulatory networks (GRNs) with interval time-varying delays and stochastic disturbances. By choosing an augmented novel Lyapunov-Krasovskii functional which contains some triple summation terms, a less conservative sufficient condition is obtained in terms of linear matrix inequalities (LMIs) by using the combination of the lower bound lemma, the discrete-time Jensen inequality, and the free-weighting matrix method. It is shown that the proposed results can be readily solved by using the Matlab software. Finally, two numerical examples are provided to illustrate the effectiveness and advantages of the theoretical results

Analysis and Synthesis Methods for Nonlinear Network Systems

Over the past two decades the interactions between systems and their control components have undergone some significant changes. These interactions are no more localized, but usually take place over a network and even the control components may be remotely located, thus involving aspects of communication in control systems. Furthermore, the last decade has also seen a surge in intermingling ideas from control and communication and their application to biological systems, power systems giving rise to new research areas like Networked Control Systems (NCS), Cyber-Physical Systems (CPS), Gene Regulatory Networks (GRN) to name a few. This has led researchers to study control systems with practical constraints imposed on them. One such practical constraint identified as a major challenge, is the fragility of control systems and performance degradation, when the interconnection is not reliable. Design of controllers and estimators for such systems needs to take into account these constraints and mitigate them, to ensure sufficient robustness against unreliability of the interconnection. Considerable research has been done over the past decade in analyzing these new challenges and developing design tools to extract desired performance. Control over communication channels is one such widely researched area where the effect of unreliable interconnection on the stability performance of the system has been studied. The reliability of communication could manifest in various ways like sensor failure at output measurement, control actuator failure, interconnection links failures in the form of packet erasure channel, fading channel, quantization etc. Significant research progress has been made, in areas of control and estimation over unreliable communication links, consensus over unreliable network interconnections, etc., albeit the work has dealt with linear time invariant (LTI) systems theory. This has led to fruitful results for special cases of packet-drop communication channel modeled as a Bernoulli erasure channel. In the case of linear systems these results have demonstrated a connection between the performance characteristics of the interconnection and the expansion or destabilizing characteristics of the linear system, in obtaining desired performance of the closed loop system. Most of the current research for control over communication channels have focused on LTI plant dynamics. Furthermore the results involving nonlinear plant dynamics have reverted to local linearization techniques. It is well-known that for nonlinear systems, results based on local linearization at an equilibrium point will be local in nature and does not account for the global dynamics of the nonlinear system. For the proposed applications of network control systems to electric power grid and biological networks it is essential to develop results for the analysis of nonlinear systems over networks. In this work, we are primarily interested in the interaction of nonlinear systems and controllers over unreliable interconnections modelled as a stochastic multiplicative uncertainty. We provide analysis and synthesis methods for the control and observation of uncertain nonlinear network controlled systems. Our analysis methods indicate, fundamental limitations arise in the stabilization and observation of nonlinear systems over uncertain channels. Our main result provides the limitation for observation of nonlinear system over erasure channel expressed in terms of the probability of erasure and positive Lyapunov exponents of the open loop nonlinear plant. The positive Lyapunov exponents are measure of dynamical complexity and comparing our results with existing results for LTI systems, we show that Lyapunov exponents emerge as a natural generalization of eigenvalues from linear to nonlinear systems. Entropy is another measure of dynamical complexity. Using results from ergodic theory of dynamical systems we also relate the limitation for stabilization and observation with the entropy corresponding to the invariant measure capturing the global dynamics of the nonlinear systems. Existing Bode-like fundamental limitation results for nonlinear systems relate limitation for stabilization with the entropy corresponding to the invariant measure at the equilibrium point. Our results are the first to connect the limitation for stabilization with the entropy corresponding to invariant measure other than the one associated with equilibrium point. Our synthesis methods for the design of robust controller and observer against uncertain channels revolves around special class of nonlinear systems -Lure systems. These systems are essentially linear systems with sector-bounded nonlinearity in the feedback loop. For this special class of nonlinear systems, we delve into the theoretical tools of absolute stability to obtain some synthesis methods which provide design criteria for nonlinear systems over unreliable interconnections. Stability of Lur\u27e systems is a special case of the stability of interconnected passive systems. Thus we can characterize the unreliability of the interconnection, that guarantees the desired performance for Lur\u27e systems, in terms of the passivity of the linear system. Passivity theory is a rich theory with wide spread applications to nonlinear controller design and observation, which extends ideas of system stability to input-output systems using the ideas of dissipativity. Our synthesis methods developed for Lure systems with input and output stochastic channel uncertainties provide natural extension of the powerful passivity based synthesis tools developed for deterministic Lure systems. In particular, our results help understand the trade-off between passivity and stochastic uncertainty in feedback control systems

Fault Detection for Wireless Network Control Systems with Stochastic Uncertainties and Time Delays

The fault detection problem is investigated for a class of wireless network control systems which has stochastic uncertainties in the state-space matrices, combined with time delays and nonlinear disturbance. First, the system error observer is proposed. Then, by constructing proper Lyapunov-Krasovskii functional, we acquire sufficient conditions to guarantee the stability of the fault detection observer for the discrete system, and observer gain is also derived by solving linear matrix inequalities. Finally, a simulation example shows that when a fault happens, the observer residual rises rapidly and fault can be quickly detected, which demonstrates the effectiveness of the proposed method

Finite-Time Stability Analysis of Switched Genetic Regulatory Networks

This paper investigates the finite-time stability problem of switching genetic regulatory networks (GRNs) with interval time-varying delays and unbounded continuous distributed delays. Based on the piecewise Lyapunov-Krasovskii functional and the average dwell time method, some new finite-time stability criteria are obtained in the form of linear matrix inequalities (LMIs), which are easy to be confirmed by the Matlab toolbox. The finite-time stability is taken into account in switching genetic regulatory networks for the first time and the average dwell time of the switching signal is obtained. Two numerical examples are presented to illustrate the effectiveness of our results

Filtering for Discrete-Time Genetic Regulatory Networks with Random Delay Described by a Markovian Chain

This paper is concerned with the ∞ filtering problem for a class of discretetime genetic regulatory networks with random delay and external disturbance. The aim is to design ∞ filter to estimate the true concentrations of mRNAs and proteins based on available measurement data. By introducing an appropriate Lyapunov function, a sufficient condition is derived in terms of linear matrix inequalities (LMIs) which makes the filtering error system stochastically stable with a prescribed ∞ disturbance attenuation level. The filter gains are given by solving the LMIs. Finally, an illustrative example is given to demonstrate the effectiveness of the proposed approach; that is, our approach is available for a smaller ∞ disturbance attenuation level than one in

Passivity and synchronization of coupled reaction-diffusion complex-valued memristive neural networks

This paper considers two types of coupled reaction-diffusion complex-valued memristive neural networks (CRDCVMNNs). The nodes of the first type CRDCVMNN are coupled through their state and the second one is coupled by spatial diffusion coupling term. For the former, some novel criteria for the passivity and synchronization are derived by constructing an appropriate controller and utilizing some inequality techniques as well as Lyapunov functional method. For the latter, we establish some sufficient conditions which guarantee that this type of CRDCVMNNs can realize passivity and synchronization. Finally, the effectiveness and correctness of the acquired theoretical results are verified by two numerical examples

Finite-Time Boundedness for a Class of Delayed Markovian Jumping Neural Networks with Partly Unknown Transition Probabilities

This paper is concerned with the problem of finite-time boundedness for a class of delayed Markovian jumping neural networks with partly unknown transition probabilities. By introducing the appropriate stochastic Lyapunov-Krasovskii functional and the concept of stochastically finite-time stochastic boundedness for Markovian jumping neural networks, a new method is proposed to guarantee that the state trajectory remains in a bounded region of the state space over a prespecified finite-time interval. Finally, numerical examples are given to illustrate the effectiveness and reduced conservativeness of the proposed results