State Estimation of Open Dynamical Systems with Slow Inputs: Entropy, Bit Rates, and relation with Switched Systems

Finding the minimal bit rate needed to estimate the state of a dynamical system is a fundamental problem. Several notions of topological entropy have been proposed to solve this problem for closed and switched systems. In this paper, we extend these notions to open nonlinear dynamical systems with slowly-varying inputs to lower bound the bit rate needed to estimate their states. Our entropy definition represents the rate of exponential increase of the number of functions needed to approximate the trajectories of the system up to a specified $\eps$ error. We show that alternative entropy definitions using spanning or separating trajectories bound ours from both sides. On the other hand, we show that the existing definitions of entropy that consider supremum over all $\eps$ or require exponential convergence of estimation error, are not suitable for open systems. Since the actual value of entropy is generally hard to compute, we derive an upper bound instead and compute it for two examples. We show that as the bound on the input variation decreases, we recover a previously known bound on estimation entropy for closed nonlinear systems. For the sake of computing the bound, we present an algorithm that, given sampled and quantized measurements from a trajectory and an input signal up to a time bound $T>0$, constructs a function that approximates the trajectory up to an $\eps$ error. We show that this algorithm can also be used for state estimation if the input signal can indeed be sensed. Finally, we relate the computed bound with a previously known upper bound on the entropy for switched nonlinear systems. We show that a bound on the divergence between the different modes of a switched system is needed to get a meaningful bound on its entropy.

[1]  Majid Zamani,et al.  Invariance Feedback Entropy of Nondeterministic Control Systems , 2017, HSCC.

[2]  Sayan Mitra,et al.  State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates , 2018, HSCC.

[3]  Sayan Mitra,et al.  Optimal Data Rate for State Estimation of Switched Nonlinear Systems , 2017, HSCC.

[4]  Pushpak Jagtap,et al.  Numerical Estimation of Invariance Entropy for Nonlinear Control Systems , 2020, ArXiv.

[5]  Tamer Basar,et al.  Connections between stability conditions for slowly time-varying and switched linear systems , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[6]  Guosong Yang,et al.  Finite data-rate stabilization of a switched linear system with unknown disturbance* , 2016 .

[7]  Majid Zamani,et al.  Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems , 2020, IEEE Control Systems Letters.

[8]  Guosong Yang,et al.  Topological entropy of switched linear systems: general matrices and matrices with commutation relations , 2020, Mathematics of Control, Signals, and Systems.

[9]  James Schmidt,et al.  Topological Entropy Bounds for Switched Linear Systems with Lie Structure , 2016, ArXiv.

[10]  Ian R. Petersen,et al.  Set-valued state estimation via a limited capacity communication channel , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[11]  A. Morse,et al.  Stability of switched systems with average dwell-time , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[12]  Chuchu Fan,et al.  Bounded invariant verification for time-delayed nonlinear networked dynamical systems , 2017 .

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

[14]  James Kapinski,et al.  Simulation-Driven Reachability Using Matrix Measures , 2017, ACM Trans. Embed. Comput. Syst..

[15]  Christoph Kawan,et al.  Invariance Entropy for Control Systems , 2009, SIAM J. Control. Optim..

[16]  James Kapinski,et al.  Locally optimal reach set over-approximation for nonlinear systems , 2016, 2016 International Conference on Embedded Software (EMSOFT).

[17]  Guosong Yang,et al.  On topological entropy and stability of switched linear systems , 2019, HSCC.

[18]  Richard M. Murray,et al.  Feedback Systems An Introduction for Scientists and Engineers , 2007 .

[19]  Robin J. Evans,et al.  Topological feedback entropy and Nonlinear stabilization , 2004, IEEE Transactions on Automatic Control.

[20]  Christoph Kawan,et al.  A note on topological feedback entropy and invariance entropy , 2013, Syst. Control. Lett..

[21]  Fritz Colonius,et al.  Minimal Bit Rates and Entropy for Exponential Stabilization , 2012, SIAM J. Control. Optim..

[22]  Robin J. Evans,et al.  Feedback Control Under Data Rate Constraints: An Overview , 2007, Proceedings of the IEEE.

[23]  Daniel Liberzon,et al.  Entropy and Minimal Data Rates for State Estimation and Model Detection , 2016, HSCC.

[24]  Daniel Liberzon,et al.  Estimation Entropy for Regular Linear Switched Systems , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[25]  Guosong Yang,et al.  Stabilizing a switched linear system with disturbance by sampled-data quantized feedback , 2015, 2015 American Control Conference (ACC).

[26]  Guosong Yang,et al.  On Topological Entropy of Switched Linear Systems with Diagonal, Triangular, and General Matrices , 2018, 2018 IEEE Conference on Decision and Control (CDC).