Distributed Consensus Estimation for Networked Multi-Sensor Systems under Hybrid Attacks and Missing Measurements

Cyber-security research on networked multi-sensor systems is crucial due to the vulnerability to various types of cyberattacks. For the development of effective defense measures, attention is required to gain insight into the complex characteristics and behaviors of cyber attacks from the attacker's perspective. This paper aims to tackle the problem of distributed consensus estimation for networked multi-sensor systems subject to hybrid attacks and missing measurements. To account for both random denial of service (DoS) attacks and false data injection (FDI) attacks, a hybrid attack model on the estimator-to-estimator communication channel is presented. The characteristics of missing measurements are defined by random variables that satisfy the Bernoulli distribution. Then a modified consensus-based distributed estimator, integrated with the characteristics of hybrid attacks and missing measurements, is presented. For reducing the computational complexity of the optimal distributed estimation method, a scalable suboptimal distributed consensus estimator is designed. Sufficient conditions are further provided for guaranteeing the stability of the proposed suboptimal distributed estimator. Finally, a simulation experiment on aircraft tracking is executed to validate the effectiveness and feasibility of the proposed algorithm.

H∞ filtering for nonlinearly coupled complex networks subjected to unknown varying delays and multiple fading measurements

In this paper, the robust filtering problem for uncertain complex networks with time-varying state delay and stochastic nonlinear coupling based on H_∞ performance criterion is studied. The random connections of coupling nodes are represented by utilizing independent random variables and the multiple fading measurements phenomenon is characterized by introducing diagonal matrices with independent stochastic elements. Moreover, the probabilistic time-varying delays in the measurement outputs are described by white sequences with the Bernoulli distributions. Furthermore, All system's matrices are supposed to have uncertainty and a quadratic bound is assumed for nonlinear part of the network. This bound can be obtained by solving a sum of squares (SOS) optimization problem. By applying the Lyapunov theory, we design a robust filter for each node of the network so that the filtering error system is asymptomatically stable and the H_∞ performances are met. Then, the parameters of the filters are achieved by solving a linear matrix inequality (LMI) feasibility problem. Finally, the applicability and performance of the proposed H_∞ filtering approach are demonstrated via a practical example.

H∞ estimation for stochastic semi-Markovian switching CVNNs with missing measurements and mode-dependent delays

This article is devoted to the H_∞ estimation problem for stochastic semi-Markovian switching complex-valued neural networks subject to incomplete measurement outputs, where the time-varying delay also depends on another semi-Markov process. A sequence of random variables with known statistical property is introduced to depict the missing measurement phenomenon. Based on the generalized Itoˆ's formula in complex form concerning with the semi-Markovian systems, complex-valued reciprocal convex inequality as well as intensive stochastic analysis method, some mode-dependent sufficient conditions are presented guaranteeing the estimation error system to be exponentially mean-square stable with a prespecified H_∞ disturbance attenuation level. In addition, the mode-dependent estimator gain matrices are appropriately designed according to the feasible solutions of certain complex matrix inequalities. In the end, one numerical example is provided to illustrate effectiveness of the theoretical results.

Mixed H2/H∞ State Estimation for Discrete-Time Switched Complex Networks With Random Coupling Strengths Through Redundant Channels

This article investigates the mixed H₂/H_∞ state estimation problem for a class of discrete-time switched complex networks with random coupling strengths through redundant communication channels. A sequence of random variables satisfying certain probability distributions is employed to describe the stochasticity of the coupling strengths. A redundant-channel-based data transmission mechanism is adopted to enhance the reliability of the transmission channel from the sensor to the estimator. The purpose of the addressed problem is to design a state estimator for each node, such that the error dynamics achieves both the stochastic stability (with probability 1) and the prespecified mixed H₂/H_∞ performance requirement. By using the switched system theory, an extensive stochastic analysis is carried out to derive the sufficient conditions ensuring the stochastic stability as well as the mixed H₂/H_∞ performance index. The desired state estimator is also parameterized by resorting to the solutions to certain convex optimization problems. A numerical example is provided to illustrate the validity of the proposed estimation scheme.

Partial-Neurons-Based Passivity-Guaranteed State Estimation for Neural Networks With Randomly Occurring Time Delays

In this brief, the partial-neurons-based passivity-guaranteed state estimation (SE) problem is examined for a class of discrete-time artificial neural networks with randomly occurring time delays. The measurement outputs available utilized for the SE are allowed to be available only at a fraction of neurons in the networks. A Bernoulli-distributed random variable is employed to characterize the random nature of the occurrence of time delays. By resorting to the Lyapunov-Krasovskii functional method as well as the stochastic analysis technique, sufficient criteria are provided for the existence of the desired state estimators ensuring the estimation error dynamics to achieve the asymptotic stability in the mean square with a guaranteed passivity performance level. In addition, the parameterization of the estimator gain is acquired by solving a convex optimization problem. Finally, the validity of the obtained theoretical results is illustrated via a numerical simulation example.

Robust Partial-Nodes-Based State Estimation for Complex Networks Under Deception Attacks

In this paper, the partial-nodes-based state estimators (PNBSEs) are designed for a class of uncertain complex networks subject to finite-distributed delays, stochastic disturbances, as well as randomly occurring deception attacks (RODAs). In consideration of the likely unavailability of the output signals in harsh environments from certain network nodes, only partial measurements are utilized to accomplish the state estimation task for the addressed complex network with norm-bounded uncertainties in both the network parameters and the inner couplings. The RODAs are taken into account to reflect the compromised data transmissions in cyber security. We aim to derive the gain parameters of the estimators such that the overall estimation error dynamics satisfies the specified security constraint in the simultaneous presence of stochastic disturbances and deception signals. Through intensive stochastic analysis, sufficient conditions are obtained to guarantee the desired security performance for the PNBSEs, based on which the estimator gains are acquired by solving certain matrix inequalities with nonlinear constraints. A simulation study is carried out to testify the security performance of the presented state estimation method.

Protocol-based state estimation for delayed Markovian jumping neural networks

This paper is concerned with the state estimation problem for a class of Markovian jumping neural networks (MJNNs) with sensor nonlinearities, mode-dependent time delays and stochastic disturbances subject to the Round-Robin (RR) scheduling mechanism. The system parameters experience switches among finite modes according to a Markov chain. As an equal allocation scheme, the RR communication protocol is introduced for efficient usage of limited bandwidth and energy saving. The update matrix method is adopted to deal with the periodic time-delays resulting from the RR protocol. The objective of the addressed problem is to construct a state estimator for the MJNNs such that the dynamics of the estimation error is exponentially ultimately bounded in the mean square with a certain upper bound. Sufficient conditions are established for the existence of the desired state estimator by resorting to a combination of the Lyapunov stability theory and the stochastic analysis technique. Furthermore, the estimator gain matrices are characterized in terms of the solution to a convex optimization problem. Finally, a numerical simulation example is exploited to demonstrate the effectiveness of the proposed estimator design strategy.

Event-Triggered State Estimation for Delayed Stochastic Memristive Neural Networks With Missing Measurements: The Discrete Time Case

In this paper, the event-triggered state estimation problem is investigated for a class of discrete-time stochastic memristive neural networks (DSMNNs) with time-varying delays and missing measurements. The DSMNN is subject to both the additive deterministic disturbances and the multiplicative stochastic noises. The missing measurements are governed by a sequence of random variables obeying the Bernoulli distribution. For the purpose of energy saving, an event-triggered communication scheme is used for DSMNNs to determine whether the measurement output is transmitted to the estimator or not. The problem addressed is to design an event-triggered estimator such that the dynamics of the estimation error is exponentially mean-square stable and the prespecified disturbance rejection attenuation level is also guaranteed. By utilizing a Lyapunov-Krasovskii functional and stochastic analysis techniques, sufficient conditions are derived to guarantee the existence of the desired estimator, and then, the estimator gains are characterized in terms of the solution to certain matrix inequalities. Finally, a numerical example is used to demonstrate the usefulness of the proposed event-triggered state estimation scheme.

Variance-Constrained State Estimation for Complex Networks With Randomly Varying Topologies

This paper investigates the variance-constrained state estimation problem for a class of nonlinear time-varying complex networks with randomly varying topologies, stochastic inner coupling, and measurement quantization. A Kronecker delta function and Markovian jumping parameters are utilized to describe the random changes of network topologies. A Gaussian random variable is introduced to model the stochastic disturbances in the inner coupling of complex networks. As a kind of incomplete measurements, measurement quantization is taken into consideration so as to account for the signal distortion phenomenon in the transmission process. Stochastic nonlinearities with known statistical characteristics are utilized to describe the stochastic evolution of the complex networks. We aim to design a finite-horizon estimator, such that in the simultaneous presence of quantized measurements and stochastic inner coupling, the prescribed variance constraints on the estimation error and the desired performance requirements are guaranteed over a finite horizon. Sufficient conditions are established by means of a series of recursive linear matrix inequalities, and subsequently, the estimator gain parameters are derived. A simulation example is presented to illustrate the effectiveness and applicability of the proposed estimator design algorithm.

Global Asymptotic Stability and Stabilization of Neural Networks With General Noise

Neural networks (NNs) in the stochastic environment were widely modeled as stochastic differential equations, which were driven by white noise, such as Brown or Wiener process in the existing papers. However, they are not necessarily the best models to describe dynamic characters of NNs disturbed by nonwhite noise in some specific situations. In this paper, general noise disturbance, which may be nonwhite, is introduced to NNs. Since NNs with nonwhite noise cannot be described by Itô integral equation, a novel modeling method of stochastic NNs is utilized. By a framework in light of random field approach and Lyapunov theory, the global asymptotic stability and stabilization in probability or in the mean square of NNs with general noise are analyzed, respectively. Criteria for the concerned systems based on linear matrix inequality are proposed. Some examples are given to illustrate the effectiveness of the obtained results.

Variance-Constrained State Estimation for Nonlinearly Coupled Complex Networks

This paper studies the state estimation problem for nonlinearly coupled complex networks. A variance-constrained state estimator is developed by using the structure of the extended Kalman filter, where the gain matrix is determined by optimizing an upper bound matrix for the estimation error covariance despite the linearization errors and coupling terms. Compared with the existing estimators for linearly coupled complex networks, a distinct feature of the proposed estimator is that the gain matrix can be derived separately for each node by solving two Riccati-like difference equations. By using the stochastic analysis techniques, sufficient conditions are established which guarantees the state estimation error is bounded in mean square. A numerical example is provided to show the effectiveness and applicability of the proposed estimator.

An Event-Triggered Approach to State Estimation for a Class of Complex Networks With Mixed Time Delays and Nonlinearities

In this paper, the state estimation problem is investigated for a class of discrete-time complex networks subject to nonlinearities, mixed delays, and stochastic noises. A set of event-based state estimators is constructed so as to reduce unnecessary data transmissions in the communication channel. Compared with the traditional state estimator whose measurement signal is received under a periodic clock-driven rule, the event-based estimator only updates the measurement information from the sensors when the prespecified "event" is violated. Attention is focused on the analysis and design problem of the event-based estimators for the addressed discrete-time complex networks such that the estimation error is exponentially bounded in mean square. A combination of the stochastic analysis approach and Lyapunov theory is employed to obtain sufficient conditions for ensuring the existence of the desired estimators and the upper bound of the estimation error is also derived. By using the convex optimization technique, the gain parameters of the desired estimators are provided in an explicit form. Finally, a simulation example is used to demonstrate the effectiveness of the proposed estimation strategy.

Delay-distribution-dependent H∞ state estimation for delayed neural networks with (x,v)-dependent noises and fading channels

This paper deals with the H_∞ state estimation problem for a class of discrete-time neural networks with stochastic delays subject to state- and disturbance-dependent noises (also called (x,v)-dependent noises) and fading channels. The time-varying stochastic delay takes values on certain intervals with known probability distributions. The system measurement is transmitted through fading channels described by the Rice fading model. The aim of the addressed problem is to design a state estimator such that the estimation performance is guaranteed in the mean-square sense against admissible stochastic time-delays, stochastic noises as well as stochastic fading signals. By employing the stochastic analysis approach combined with the Kronecker product, several delay-distribution-dependent conditions are derived to ensure that the error dynamics of the neuron states is stochastically stable with prescribed H_∞ performance. Finally, a numerical example is provided to illustrate the effectiveness of the obtained results.

H∞ State Estimation for Discrete-Time Delayed Systems of the Neural Network Type With Multiple Missing Measurements

This paper investigates the H∞ state estimation problem for a class of discrete-time nonlinear systems of the neural network type with random time-varying delays and multiple missing measurements. These nonlinear systems include recurrent neural networks, complex network systems, Lur'e systems, and so on which can be described by a unified model consisting of a linear dynamic system and a static nonlinear operator. The missing phenomenon commonly existing in measurements is assumed to occur randomly by introducing mutually individual random variables satisfying certain kind of probability distribution. Throughout this paper, first a Luenberger-like estimator based on the imperfect output data is constructed to obtain the immeasurable system states. Then, by virtue of Lyapunov stability theory and stochastic method, the H∞ performance of the estimation error dynamical system (augmented system) is analyzed. Based on the analysis, the H∞ estimator gains are deduced such that the augmented system is globally mean square stable. In this paper, both the variation range and distribution probability of the time delay are incorporated into the control laws, which allows us to not only have more accurate models of the real physical systems, but also obtain less conservative results. Finally, three illustrative examples are provided to validate the proposed control laws.

Discontinuous Lyapunov approach to state estimation and filtering of jumped systems with sampled-data

This paper is concerned with the sampled-data state estimation and H(∞) filtering for a class of Markovian jump systems with the discontinuous Lyapunov approach. The system measurements are sampled and then transmitted to the estimator and filter in order to estimate the state of the jumped system under consideration. The corresponding error dynamics is represented by a system with two types of delays: one is from the system itself, and the other from the sampling period. As the delay due to sampling is discontinuous, a corresponding discontinuous Lyapunov functional is constructed, and sufficient conditions are established so as to guarantee both the asymptotic mean-square stability and the H(∞) performance for the filtering error systems. The explicit expressions of the desired estimator and filter are further provided. Finally, two simulation examples are given to illustrate the design procedures and performances of the proposed method.

H ∞ cluster synchronization for a class of neutral complex dynamical networks with Markovian switching

H_∞ cluster synchronization problem for a class of neutral complex dynamical networks (NCDNs) with Markovian switching is investigated in this paper. Both the retarded and neutral delays are considered to be interval mode dependent and time varying. The concept of H_∞ cluster synchronization is proposed to quantify the attenuation level of synchronization error dynamics against the exogenous disturbance of the NCDNs. Based on a novel Lyapunov functional, by employing some integral inequalities and the nature of convex combination, mode delay-range-dependent H_∞ cluster synchronization criteria are derived in the form of linear matrix inequalities which depend not only on the disturbance attenuation but also on the initial values of the NCDNs. Finally, numerical examples are given to demonstrate the feasibility and effectiveness of the proposed theoretical results.

Neural network for nonsmooth, nonconvex constrained minimization via smooth approximation

A neural network based on smoothing approximation is presented for a class of nonsmooth, nonconvex constrained optimization problems, where the objective function is nonsmooth and nonconvex, the equality constraint functions are linear and the inequality constraint functions are nonsmooth, convex. This approach can find a Clarke stationary point of the optimization problem by following a continuous path defined by a solution of an ordinary differential equation. The global convergence is guaranteed if either the feasible set is bounded or the objective function is level bounded. Specially, the proposed network does not require: 1) the initial point to be feasible; 2) a prior penalty parameter to be chosen exactly; 3) a differential inclusion to be solved. Numerical experiments and comparisons with some existing algorithms are presented to illustrate the theoretical results and show the efficiency of the proposed network.

H∞ state estimation for complex networks with uncertain inner coupling and incomplete measurements

In this paper, the H∞ state estimation problem is investigated for a class of complex networks with uncertain coupling strength and incomplete measurements. With the aid of the interval matrix approach, we make the first attempt to characterize the uncertainties entering into the inner coupling matrix. The incomplete measurements under consideration include sensor saturations, quantization, and missing measurements, all of which are assumed to occur randomly. By introducing a stochastic Kronecker delta function, these incomplete measurements are described in a unified way and a novel measurement model is proposed to account for these phenomena occurring with individual probability. With the measurement model, a set of H∞ state estimators is designed such that, for all admissible incomplete measurements as well as the uncertain coupling strength, the estimation error dynamics is exponentially mean-square stable and the H∞ performance requirement is satisfied. The characterization of the desired estimator gains is derived in terms of the solution to a convex optimization problem that can be easily solved using the semidefinite program method. Finally, a numerical simulation example is provided to demonstrate the effectiveness and applicability of the proposed design approach.