Remote State Estimation with Smart Sensors over Markov Fading Channels

We consider a fundamental remote state estimation problem of discrete-time linear time-invariant (LTI) systems. A smart sensor forwards its local state estimate to a remote estimator over a time-correlated $M$-state Markov fading channel, where the packet drop probability is time-varying and depends on the current fading channel state. We establish a necessary and sufficient condition for mean-square stability of the remote estimation error covariance as $\rho^2(\mathbf{A})\rho(\mathbf{DM})<1$, where $\rho(\cdot)$ denotes the spectral radius, $\mathbf{A}$ is the state transition matrix of the LTI system, $\mathbf{D}$ is a diagonal matrix containing the packet drop probabilities in different channel states, and $\mathbf{M}$ is the transition probability matrix of the Markov channel states. To derive this result, we propose a novel estimation-cycle based approach, and provide new element-wise bounds of matrix powers. The stability condition is verified by numerical results, and is shown more effective than existing sufficient conditions in the literature. We observe that the stability region in terms of the packet drop probabilities in different channel states can either be convex or concave depending on the transition probability matrix $\mathbf{M}$. Our numerical results suggest that the stability conditions for remote estimation may coincide for setups with a smart sensor and with a conventional one (which sends raw measurements to the remote estimator), though the smart sensor setup achieves a better estimation performance.Comment: The paper has been accepted by IEEE Transactions on Automatic Control. Copyright may be transferred without notice, after which this version may no longer be accessibl

On Kalman Filtering over Fading Wireless Channels with Controlled Transmission Powers

We study stochastic stability of centralized Kalman filtering for linear time-varying systems equipped with wireless sensors. Transmission is over fading channels where variable channel gains are counteracted by power control to alleviate the effects of packet drops. We establish sufficient conditions for the expected value of the Kalman filter covariance matrix to be exponentially bounded in norm. The conditions obtained are then used to formulate stabilizing power control policies which minimize the total sensor power budget. In deriving the optimal power control laws, both statistical channel information and full channel information are considered. The effect of system instability on the power budget is also investigated for both these cases

Control Design and Filtering for Wireless Networked Systems

This dissertation is concerned with estimation and control over wireless networked systems. Several problems are addressed, including estimator design over packet loss links, control and estimation over cognitive radio systems, modeling and prediction of wireless sensor networks (WSNs), and localization with the Theater Positioning System (TPS). The first problem addressed is the state estimation of a discrete-time system through a packet loss link modeled by a Bernoulli random variable. The optimal filter is derived by employing exact hybrid filtering. The performance of the optimal filter is illustrated by numerical simulations. Next, we consider the problem of estimation and control over cognitive radio (CR) systems. A two-switch model is first used to model this link. The linear optimal estimator and controller are derived over a single CR link. Also discussed here is estimation and control of the closed-loop system over two CR links. Furthermore, a more practical semi-Markov model for the CR system is proposed. Two cases are considered, where one assumes that acknowledgement of the information arrival is not available while the other assumes it is available. In the former, a suboptimal estimator is proposed and, in the latter, sufficient conditions are derived for the stability of a peak covariance process. Then, a controller design for the semi-Markov model is developed using linear matrix inequalities (LMIs). Additionally, the third problem addressed is modeling, identification, and prediction of the link quality of WSNs, such as the packet reception rate (PRR) and received signal strength indicator (RSSI). The state-space model is applied for this purpose. The prediction error minimization method (PEM) is employed for estimating parameters in the proposed model. The method employed is demonstrated through real measurements sampled by wireless motes. The last problem analyzed is localization using a new navigation system, TPS. In this study, we focus on users\u27 position estimation with the TPS when a GPS signal is not available. Several models are proposed to model transmission delays utilizing previous GPS signals. Last, a navigation scheme is provided for the TPS to improve its localization accuracy when the GPS signal is unavailable

Optimal Stationary State Estimation Over Multiple Markovian Packet Drop Channels

In this paper, we investigate the state estimation problem over multiple Markovian packet drop channels. In this problem setup, a remote estimator receives measurement data transmitted from multiple sensors over individual channels. By the method of Markovian jump linear systems, an optimal stationary estimator that minimizes the error variance in the steady state is obtained, based on the mean-square (MS) stabilizing solution to the coupled algebraic Riccati equations. An explicit necessary and sufficient condition is derived for the existence of the MS stabilizing solution, which coincides with that of the standard Kalman filter. More importantly, we provide a sufficient condition under which the MS detectability with multiple Markovian packet drop channels can be decoupled, and propose a locally optimal stationary estimator but computationally more tractable. Analytic sufficient and necessary MS detectability conditions are presented for the decoupled subsystems subsequently. Finally, numerical simulations are conducted to illustrate the results on the MS stabilizing solution, the MS detectability, and the performance of the optimal and locally optimal stationary estimators