Limitations for Nonlinear Observation Over Erasure Channel

In this technical note, we study the problem of state observation of nonlinear systems over an erasure channel. The notion of mean square exponential stability is used to analyze the stability property of observer error dynamics. The main results of this technical note prove, fundamental limitation arises for mean square exponential stabilization of the observer error dynamics, expressed in terms of probability of erasure, and positive Lyapunov exponents of the system. Positive Lyapunov exponents are a measure of average expansion of nearby trajectories on an attractor set for nonlinear systems. Hence, the dependence of limitation results on the Lyapunov exponents highlights the important role played by nonequilibrium dynamics on the attractor set in observation over an erasure channel. The limitation on observation is also related to measure-theoretic entropy of the system, which is another measure of dynamical complexity. The limitation result for the observation of linear systems is obtained as a special case, where Lyapunov exponents are shown to emerge as the natural generalization of eigenvalues from linear systems to nonlinear systems.

[1]  J. Zukas.  Introduction to the Modern Theory of Dynamical Systems , 1998 .

[2]  Gerald B. Folland,et al.  Real Analysis: Modern Techniques and Their Applications , 1984 .

[3]  Panos J. Antsaklis,et al.  Special Issue on Technology of Networked Control Systems , 2007 .

[4]  P. Walters.  Introduction to Ergodic Theory , 1977 .

[5]  Oswaldo Luiz V. Costa,et al.  Stationary filter for linear minimum mean square error estimator of discrete-time Markovian jump systems , 2002, IEEE Trans. Autom. Control..

[6]  Ling Shi,et al.  Probabilistic performance of state estimation across a lossy network , 2008, Autom..

[7]  R. Mañé,et al.  Ergodic Theory and Differentiable Dynamics , 1986 .

[8]  H. Nijmeijer.  Observability of autonomous discrete time non-linear systems: a geometric approach , 1982 .

[9]  M. Mirzakhani,et al.  Introduction to Ergodic theory , 2010 .

[10]  A. Jazwinski.  Stochastic Processes and Filtering Theory , 1970 .

[11]  D. Applebaum,et al.  Asymptotic Stability of Stochastic Differential Equations Driven by Lévy Noise , 2009, Journal of Applied Probability.

[12]  Bruno Sinopoli,et al.  Kalman filtering with intermittent observations , 2004, IEEE Transactions on Automatic Control.

[13]  Huibert Kwakernaak,et al.  Linear Optimal Control Systems , 1972 .

[14]  D. Ruelle,et al.  Ergodic theory of chaos and strange attractors , 1985 .

[15]  David Ruelle,et al.  An inequality for the entropy of differentiable maps , 1978 .

[16]  Amit Diwadkar,et al.  Stabilization of LTV systems over uncertain channels , 2014 .

[17]  Peter Seiler,et al.  Estimation with lossy measurements: jump estimators for jump systems , 2003, IEEE Trans. Autom. Control..

[18]  Lai-Sang Young,et al.  Ergodic Theory of Differentiable Dynamical Systems , 1995 .

[19]  Nasser E. Nahi,et al.  Optimal recursive estimation with uncertain observation , 1969, IEEE Trans. Inf. Theory.