Centralized filtering and smoothing algorithms from outputs with random parameter matrices transmitted through uncertain communication channels

The least-squares linear centralized estimation problem is addressed for discrete-time signals from measured outputs whose disturbances are modeled by random parameter matrices and correlated noises. These measurements, coming from different sensors, are sent to a processing center to obtain the estimators and, due to random transmission failures, some of the data packet processed for the estimation may either contain only noise (uncertain observations), be delayed (sensor delays) or even be definitely lost (packet dropouts). Different sequences of Bernoulli random variables with known probabilities are employed to describe the multiple random transmission uncertainties of the different sensors. Using the last observation that successfully arrived when a packet is lost, the optimal linear centralized fusion estimators, including filter, multi-step predictors and fixed-point smoothers, are obtained via an innovation approach; this approach is a general and useful tool to find easily implementable recursive algorithms for the optimal linear estimators under the least-squares optimality criterion. The proposed algorithms are obtained without requiring the evolution model of the signal process, but using only the first and second-order moments of the processes involved in the measurement model.This research is supported by Ministerio de Economía, Industria y Competitividad, Agencia Estatal de Investigaciónand Fondo Europeo de Desarrollo Regional FEDER (grant no. MTM2017-84199-P)

Covariance-Based Estimation for Clustered Sensor Networks Subject to Random Deception Attacks

In this paper, a cluster-based approach is used to address the distributed fusion estimation problem (filtering and fixed-point smoothing) for discrete-time stochastic signals in the presence of random deception attacks. At each sampling time, measured outputs of the signal are provided by a networked system, whose sensors are grouped into clusters. Each cluster is connected to a local processor which gathers the measured outputs of its sensors and, in turn, the local processors of all clusters are connected with a global fusion center. The proposed cluster-based fusion estimation structure involves two stages. First, every single sensor in a cluster transmits its observations to the corresponding local processor, where least-squares local estimators are designed by an innovation approach. During this transmission, deception attacks to the sensor measurements may be randomly launched by an adversary, with known probabilities of success that may be different at each sensor. In the second stage, the local estimators are sent to the fusion center, where they are combined to generate the proposed fusion estimators. The covariance-based design of the distributed fusion filtering and fixed-point smoothing algorithms does not require full knowledge of the signal evolution model, but only the first and second order moments of the processes involved in the observation model. Simulations are provided to illustrate the theoretical results and analyze the effect of the attack success probability on the estimation performance.This research is supported by Ministerio de Economía, Industria y Competitividad, Agencia Estatal de Investigación and Fondo Europeo de Desarrollo Regional FEDER (grant no. MTM2017-84199-P)

Optimal Fusion Estimation with Multi-Step Random Delays and Losses in Transmission

This paper is concerned with the optimal fusion estimation problem in networked stochastic systems with bounded random delays and packet dropouts, which unavoidably occur during the data transmission in the network. The measured outputs from each sensor are perturbed by random parameter matrices and white additive noises, which are cross-correlated between the different sensors. Least-squares fusion linear estimators including filter, predictor and fixed-point smoother, as well as the corresponding estimation error covariance matrices are designed via the innovation analysis approach. The proposed recursive algorithms depend on the delay probabilities at each sampling time, but do not to need to know if a particular measurement is delayed or not. Moreover, the knowledge of the signal evolution model is not required, as the algorithms need only the first and second order moments of the processes involved. Some of the practical situations covered by the proposed system model with random parameter matrices are analyzed and the influence of the delays in the estimation accuracy are examined in a numerical example.This research is supported by the “Ministerio de Economía y Competitividad” and “Fondo Europeo de Desarrollo Regional” FEDER (Grant No. MTM2014-52291-P)

Unreliable networks with random parameter matrices and time-correlated noises: distributed estimation under deception attacks

This paper examines the distributed filtering and fixed-point smoothing problems for networked systems, considering random parameter matrices, time-correlated additive noises and random deception attacks. The proposed distributed estimation algorithms consist of two stages: the first stage creates intermediate estimators based on local and adjacent node measurements, while the second stage combines the intermediate estimators from neighboring sensors using least-squares matrix-weighted linear combinations. The major contributions and challenges lie in simultaneously considering various network-induced phenomena and providing a unified framework for systems with incomplete information. The algorithms are designed without specific structure assumptions and use a covariance-based estimation technique, which does not require knowledge of the evolution model of the signal being estimated. A numerical experiment demonstrates the applicability and effectiveness of the proposed algorithms, highlighting the impact of observation uncertainties and deception attacks on estimation accuracy

Distributed estimation techniques forcyber-physical systems

Nowadays, with the increasing use of wireless networks, embedded devices and agents with processing and sensing capabilities, the development of distributed estimation techniques has become vital to monitor important variables of the system that are not directly available. Numerous distributed estimation techniques have been proposed in the literature according to the model of the system, noises and disturbances. One of the main objectives of this thesis is to search all those works that deal with distributed estimation techniques applied to cyber-physical systems, system of systems and heterogeneous systems, through using systematic review methodology. Even though systematic reviews are not the common way to survey a topic in the control community, they provide a rigorous, robust and objective formula that should not be ignored. The presented systematic review incorporates and adapts the guidelines recommended in other disciplines to the field of automation and control and presents a brief description of the different phases that constitute a systematic review. Undertaking the systematic review many gaps were discovered: it deserves to be remarked that some estimators are not applied to cyber-physical systems, such as sliding mode observers or set-membership observers. Subsequently, one of these particular techniques was chosen, set-membership estimator, to develop new applications for cyber-physical systems. This introduces the other objectives of the thesis, i.e. to present two novel formulations of distributed set-membership estimators. Both estimators use a multi-hop decomposition, so the dynamics of the system is rewritten to present a cascaded implementation of the distributed set-membership observer, decoupling the influence of the non-observable modes to the observable ones. So each agent must find a different set for each sub-space, instead of a unique set for all the states. Two different approaches have been used to address the same problem, that is, to design a guaranteed distributed estimation method for linear full-coupled systems affected by bounded disturbances, to be implemented in a set of distributed agents that need to communicate and collaborate to achieve this goal