Distributed Set-Based Observers Using Diffusion Strategy

Distributed estimation is more robust against single points of failure and requires less communication overhead compared to the centralized version. Among distributed estimation techniques, set-based estimation has gained much attention as it provides estimation guarantees for safety-critical applications and copes with unknown but bounded uncertainties. We propose two distributed set-based observers using interval-based and set-membership approaches for a linear discrete-time dynamical system with bounded modeling and measurement uncertainties. Both algorithms utilize a new over-approximating zonotopes intersection step named the set-based diffusion step. We use the term diffusion since our intersection of zonotopes formula resembles the traditional diffusion step in the stochastic Kalman filter. Our new zonotopes intersection takes linear time. Our set-based diffusion step decreases the estimation errors and the size of estimated sets and can be seen as a lightweight approach to achieve partial consensus between the distributed estimated sets. Every node shares its measurement with its neighbor in the measurement update step. The neighbors intersect their estimated sets constituting our proposed set-based diffusion step. We represent sets as zonotopes since they compactly represent high-dimensional sets, and they are closed under linear mapping and Minkowski addition. The applicability of our algorithms is demonstrated by a localization example. All used data and code to recreate our findings are publicly available

[1]  Matthias Althoff,et al.  Implementation of Taylor models in CORA 2018 , 2018, ARCH@ADHS.

[2]  Vicenç Puig,et al.  Comparison of set-membership and interval observer approaches for state estimation of uncertain systems , 2016 .

[3]  Vicenç Puig,et al.  Worst-case state estimation and simulation of uncertain discrete-time systems using zonotopes , 2001, 2001 European Control Conference (ECC).

[4]  Xiaomei Zhang,et al.  Distributed set-membership observer-based consensus of nonlinear delayed multi-agent systems under round-robin protocols , 2018, 2018 Chinese Control And Decision Conference (CCDC).

[5]  T. Alamo,et al.  A set-membership state estimation algorithm based on DC programming , 2008, Autom..

[6]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[7]  Qing-Long Han,et al.  A Set-Membership Approach to Event-Triggered Filtering for General Nonlinear Systems Over Sensor Networks , 2020, IEEE Transactions on Automatic Control.

[8]  Matthias Althoff,et al.  Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[9]  Matthias Althoff,et al.  An Introduction to CORA 2015 , 2015, ARCH@CPSWeek.

[10]  Vicenç Puig,et al.  Set-membership approach and Kalman observer based on zonotopes for discrete-time descriptor systems , 2018, Autom..

[11]  Luis Orihuela,et al.  Distributed set-membership observers for interconnected multi-rate systems , 2017, Autom..

[12]  Qing-Long Han,et al.  Distributed networked set-membership filtering with ellipsoidal state estimations , 2018, Inf. Sci..

[13]  Ali H. Sayed,et al.  Diffusion strategies for distributed Kalman filtering: formulation and performance analysis , 2008 .

[14]  Wolfgang Kuehn,et al.  Rigorously computed orbits of dynamical systems without the wrapping effect , 1998, Computing.

[15]  Gustavo Belforte,et al.  Parameter estimation algorithms for a set-membership description of uncertainty , 1990, Autom..

[16]  Vicenç Puig,et al.  Interval observer versus set‐membership approaches for fault detection in uncertain systems using zonotopes , 2019, International Journal of Robust and Nonlinear Control.

[17]  Seyedmojtaba Tabatabaeipour,et al.  Set-membership state estimation for discrete time piecewise affine systems using zonotopes , 2013, 2013 European Control Conference (ECC).

[18]  Eduardo F. Camacho,et al.  Guaranteed state estimation by zonotopes , 2005, Autom..

[19]  Wolfgang Kühn Zonotope Dynamics in Numerical Quality Control , 1997, VisMath.

[20]  Mark Campbell,et al.  A nonlinear set‐membership filter for on‐line applications , 2003 .

[21]  F. Schweppe Recursive state estimation: Unknown but bounded errors and system inputs , 1967 .

[22]  Jordi Saludes,et al.  Robust fault detection using polytope-based set-membership consistency test , 2009, 2010 Conference on Control and Fault-Tolerant Systems (SysTol).

[23]  Andrea Garulli,et al.  A set-membership approach to consensus problems with bounded measurement errors , 2008, 2008 47th IEEE Conference on Decision and Control.

[24]  Ali Zolghadri,et al.  FDI in Cyber Physical Systems: A Distributed Zonotopic and Gaussian Kalman Filter with Bit-level Reduction , 2018 .

[25]  Jiming Chen,et al.  Discrete average consensus with bounded noise , 2013, 52nd IEEE Conference on Decision and Control.

[26]  Zhenhua Wang,et al.  Interval estimation of actuator fault by interval analysis , 2019 .

[27]  D. Meizel,et al.  Set-membership non-linear observers with application to vehicle localisation , 2001, 2001 European Control Conference (ECC).

[28]  Denis V. Efimov,et al.  Interval Observers for Time-Varying Discrete-Time Systems , 2013, IEEE Transactions on Automatic Control.

[29]  Wei Xie,et al.  Control of non-linear switched systems with average dwell time: interval observer-based framework , 2016 .

[30]  Kaare Brandt Petersen,et al.  The Matrix Cookbook , 2006 .

[31]  Eric Walter,et al.  OMNE: A new robust membership-set estimator for the parameters of nonlinear models , 1987, Journal of Pharmacokinetics and Biopharmaceutics.

[32]  Hak-Keung Lam,et al.  Distributed Event-Based Set-Membership Filtering for a Class of Nonlinear Systems With Sensor Saturations Over Sensor Networks , 2017, IEEE Transactions on Cybernetics.

[33]  Denis V. Efimov,et al.  Control of Nonlinear and LPV Systems: Interval Observer-Based Framework , 2013, IEEE Transactions on Automatic Control.

[34]  Vicenç Puig,et al.  Robust fault detection using polytope-based set-membership consistency test , 2012 .

[35]  J. Gouzé,et al.  Interval observers for uncertain biological systems , 2000 .

[36]  J. L. Roux An Introduction to the Kalman Filter , 2003 .

[37]  Andreas Antoniou,et al.  Robust Set-Membership Affine-Projection Adaptive-Filtering Algorithm , 2012, IEEE Transactions on Signal Processing.

[38]  Vicenç Puig,et al.  A Distributed Set-membership Approach based on Zonotopes for Interconnected Systems , 2018, 2018 IEEE Conference on Decision and Control (CDC).

[39]  Qing-Long Han,et al.  Event-Based Set-Membership Leader-Following Consensus of Networked Multi-Agent Systems Subject to Limited Communication Resources and Unknown-But-Bounded Noise , 2017, IEEE Transactions on Industrial Electronics.

[40]  Yih-Fang Huang,et al.  Nonlinear Adaptive Filtering With Kernel Set-Membership Approach , 2020, IEEE Transactions on Signal Processing.

[41]  Olivier Bernard,et al.  Asymptotically Stable Interval Observers for Planar Systems With Complex Poles , 2010, IEEE Transactions on Automatic Control.

[42]  Manuel G. Ortega,et al.  Kalman-inspired distributed set-membership observers , 2016, 2016 European Control Conference (ECC).

[43]  C. Combastel,et al.  Merging Kalman Filtering and Zonotopic State Bounding for Robust Fault Detection under Noisy Environment , 2015 .

[44]  Christophe Combastel,et al.  Zonotopes and Kalman observers: Gain optimality under distinct uncertainty paradigms and robust convergence , 2015, Autom..

[45]  Vicenç Puig,et al.  Distributed Zonotopic Set-Membership State Estimation based on Optimization Methods with Partial Projection , 2017 .

[46]  Luc Jaulin,et al.  Robust set-membership state estimation; application to underwater robotics , 2009, Autom..

[47]  Yi Shen,et al.  Interval Estimation Methods for Discrete-Time Linear Time-Invariant Systems , 2019, IEEE Transactions on Automatic Control.

[48]  Y. Candau,et al.  Set membership state and parameter estimation for systems described by nonlinear differential equations , 2004, Autom..

[49]  R. Tyrrell Rockafellar,et al.  Lagrange Multipliers and Optimality , 1993, SIAM Rev..

[50]  Olivier Bernard,et al.  Interval observers for linear time-invariant systems with disturbances , 2011, Autom..

[51]  Boris Polyak,et al.  Multi-Input Multi-Output Ellipsoidal State Bounding , 2001 .

[52]  Vicenç Puig,et al.  Fault diagnosis and fault tolerant control using set-membership approaches: Application to real case studies , 2010, Int. J. Appl. Math. Comput. Sci..

[53]  Nacim Meslem,et al.  Interval Observers for Uncertain Nonlinear Systems. Application to bioreactors. , 2008 .

[54]  C. Combastel A state bounding observer based on zonotopes , 2003, 2003 European Control Conference (ECC).

[55]  Matthias Althoff,et al.  Implementation of Interval Arithmetic in CORA 2016 , 2016, ARCH@CPSWeek.

[56]  Denis V. Efimov,et al.  Interval state observer for nonlinear time varying systems , 2013, Autom..

[57]  Qinghua Zhang,et al.  Set-membership estimation for linear time-varying descriptor systems , 2020, Autom..

[58]  Vicenç Puig,et al.  Zonotopic fault estimation filter design for discrete-time descriptor systems , 2017 .

[59]  Shirish Nagaraj,et al.  Set-membership filtering and a set-membership normalized LMS algorithm with an adaptive step size , 1998, IEEE Signal Processing Letters.

[60]  Antonio Vicino,et al.  Estimation theory for nonlinear models and set membership uncertainty , 1991, Autom..

[61]  Maozhen Li,et al.  Distributed Set-Membership Filtering for Multirate Systems Under the Round-Robin Scheduling Over Sensor Networks , 2020, IEEE Transactions on Cybernetics.