Recursive State Estimation
Autor Yuriy S. Shmaliyen Limba Engleză Hardback – 11 noi 2026
When solving state estimation problems for signal processing and control using recursive algorithms, researchers traditionally associate them with Kalman filtering, even when not using all its recursive forms. This is even though some solutions, such as the robust iterative UFIR filter, as well as the transfer function-based H∞ filter, generalized H2 filter, L1 filter, etc., have nothing to do with Kalman filtering. Moreover, data-driven and AI-aided model-based filtering algorithms also lose connection to it. This leads to the idea that instead of thinking of recursive algorithms as Kalman-like, it is worth focusing on the general recursive form and cover all available recursive state estimators under one umbrella, treating Kalman filter is a special case.
This book attempts to do this by describing 53 pseudo codes and other forms of optimal, suboptimal, and robust recursive state estimation algorithms.
Preț: 586.73 lei
Preț vechi: 777.41 lei
-25% Precomandă
Puncte Express: 880
Carte nepublicată încă
Livrare prin curier în România Precomanda se expediază când titlul devine disponibil.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Specificații
ISBN-13: 9781041286134
ISBN-10: 1041286139
Pagini: 560
Ilustrații: 212
Dimensiuni: 156 x 234 mm
Ediția:1
Editura: CRC Press
Colecția CRC Press
ISBN-10: 1041286139
Pagini: 560
Ilustrații: 212
Dimensiuni: 156 x 234 mm
Ediția:1
Editura: CRC Press
Colecția CRC Press
Public țintă
GeneralCuprins
ContentsForeword xvPreface xviiAcronims xix1 Introduction 11.1 Brief pre-Kalman history . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.2 Kalman filtering approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2.1 Recursive filtering estimate . . . . . . . . . . . . . . . . . . . . . . . 51.3 Dynamic process in state space . . . . . . . . . . . . . . . . . . . . . . . . . 61.3.1 What is system state? . . . . . . . . . . . . . . . . . . . . . . . . . . 71.3.2 What do we need to estimate state? . . . . . . . . . . . . . . . . . . 71.3.3 What model to estimate state? . . . . . . . . . . . . . . . . . . . . . 81.3.4 What is state estimation problem? . . . . . . . . . . . . . . . . . . . 101.3.4.1 Filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101.3.4.2 Smoothing . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.3.4.3 Prediction . . . . . . . . . . . . . . . . . . . . . . . . . . . 121.3.5 What types of linear state estimators? . . . . . . . . . . . . . . . . . 131.3.5.1 Unbiased estimator . . . . . . . . . . . . . . . . . . . . . . 131.3.5.2 Optimal estimator . . . . . . . . . . . . . . . . . . . . . . . 141.3.5.3 Optimal unbiased (maximum likelihood) estimator . . . . . 151.3.6 What criteria to evaluate estimator? . . . . . . . . . . . . . . . . . . 161.4 Properties of Kalman filtering . . . . . . . . . . . . . . . . . . . . . . . . . . 171.4.1 Linearity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.4.2 Dimensionality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.4.3 Optimality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181.4.4 Effectiveness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201.4.5 General functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211.4.6 Stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221.6 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23I Optimal and Suboptimal Estimates 252 Kalman Filter for Beginners 272.1 Continuous-time stochastic system . . . . . . . . . . . . . . . . . . . . . . . 282.1.1 Representation in state space . . . . . . . . . . . . . . . . . . . . . . 282.1.2 General state space model . . . . . . . . . . . . . . . . . . . . . . . . 292.2 Discrete-time state-space model . . . . . . . . . . . . . . . . . . . . . . . . . 302.2.1 Euler’s methods of system discretization . . . . . . . . . . . . . . . . 30viiviii Contents2.2.2 LTI systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312.2.2.1 Forward Euler method . . . . . . . . . . . . . . . . . . . . 312.2.2.2 Backward Euler method . . . . . . . . . . . . . . . . . . . . 332.2.3 LTV systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 332.2.3.1 Forward Euler method . . . . . . . . . . . . . . . . . . . . 352.2.3.2 Backward Euler method . . . . . . . . . . . . . . . . . . . . 352.3 Intuitive derivation of the Kalman filter . . . . . . . . . . . . . . . . . . . . 362.3.1 Basic a posteriori Kalman filter . . . . . . . . . . . . . . . . . . . . . 402.3.2 Alternate a posteriori Kalman filter . . . . . . . . . . . . . . . . . . 402.3.3 The a priori Kalman filter . . . . . . . . . . . . . . . . . . . . . . . 412.3.4 Stationary Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . . 422.4 Algorithmic variants of the Kalman filter . . . . . . . . . . . . . . . . . . . 432.4.1 Information Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . 432.4.1.1 Information Kalman filtering algorithm . . . . . . . . . . . 452.4.2 Backward Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . . 452.4.2.1 Backward Kalman filtering algorithm . . . . . . . . . . . . 462.4.3 Forward-backward (two-filter) smoothing . . . . . . . . . . . . . . . 472.5 Kalman-Bucy filter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 482.6 Unbiasedness and stability of Kalman filter . . . . . . . . . . . . . . . . . . 512.6.1 Unbiasedness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 512.6.2 Stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 532.8 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 543 Bayesian Approach 573.1 Conditional probability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 573.1.1 Bayes’ theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 583.1.2 Conditional probability density . . . . . . . . . . . . . . . . . . . . . 603.1.2.1 Two random variables . . . . . . . . . . . . . . . . . . . . . 603.1.2.2 Multiple random variables . . . . . . . . . . . . . . . . . . 613.2 Bayesian estimator (filter) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 613.2.1 Linear model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 633.2.1.1 Linear model (scalar case) . . . . . . . . . . . . . . . . . . 633.2.1.2 Linear model (vector case) . . . . . . . . . . . . . . . . . . 633.2.2 Nonlinear model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 633.3 Bayesian filtering of Gaussian models . . . . . . . . . . . . . . . . . . . . . . 643.3.1 Time update . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 643.3.2 Measurement update . . . . . . . . . . . . . . . . . . . . . . . . . . . 653.3.3 Recursive Gaussian filter (nonlinear case) . . . . . . . . . . . . . . . 663.3.3.1 Non-additive noise case . . . . . . . . . . . . . . . . . . . . 673.3.4 Recursive Gaussian filter (linear case) . . . . . . . . . . . . . . . . . 683.4 Kalman filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 703.4.1 Alternate Kalman filter recursions (scalar case) . . . . . . . . . . . . 703.4.2 Alternate Kalman filter recursions (vector case) . . . . . . . . . . . . 733.4.3 Basic Kalman filter recursions . . . . . . . . . . . . . . . . . . . . . . 763.5 Kalman smoothing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 783.5.1 Kalman smoother recursions . . . . . . . . . . . . . . . . . . . . . . 783.5.2 Rauch-Tung-Striebel Smoother . . . . . . . . . . . . . . . . . . . . . 823.5.2.1 Kalman-RTS smoothing algorithm . . . . . . . . . . . . . . 833.6 Sequential Monte Carlo methods . . . . . . . . . . . . . . . . . . . . . . . . 843.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84Contents ix3.8 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 854 Convolution-based approach 894.1 Convolution forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 904.1.1 Problems solved with convolution . . . . . . . . . . . . . . . . . . . . 914.2 The a posteriori optimal FIR filter . . . . . . . . . . . . . . . . . . . . . . . 924.2.1 Extended state-space model . . . . . . . . . . . . . . . . . . . . . . . 924.2.2 Batch estimate and error covariance . . . . . . . . . . . . . . . . . . 934.2.2.1 Batch a posteriori optimal FIR filtering algorithm . . . . . 954.2.3 Recursive forms for OFIR filter . . . . . . . . . . . . . . . . . . . . . 974.2.3.1 Iterative a posteriori OFIR filtering algorithm . . . . . . . 1014.3 The a posteriori optimal unbiased FIR filter . . . . . . . . . . . . . . . . . . 1024.3.1 Batch estimate and error covariance . . . . . . . . . . . . . . . . . . 1024.3.1.1 Batch a posteriori OUFIR filtering algorithm . . . . . . . . 1034.3.2 Batch maximum likelihood filter . . . . . . . . . . . . . . . . . . . . 1034.3.2.1 Batch ML filtering algorithm . . . . . . . . . . . . . . . . . 1044.3.3 Recursive forms for OUFIR filter . . . . . . . . . . . . . . . . . . . . 1044.3.3.1 Special case: infinite horizon . . . . . . . . . . . . . . . . . 1064.3.3.2 Special case: constant state . . . . . . . . . . . . . . . . . . 1074.3.3.3 Recursive ML filtering of constant state . . . . . . . . . . . 1084.3.4 Properties of bias-constrained filters . . . . . . . . . . . . . . . . . . 1114.4 The a posteriori optimal IIR filter . . . . . . . . . . . . . . . . . . . . . . . 1114.4.1 Extended state-space model . . . . . . . . . . . . . . . . . . . . . . . 1124.4.2 Batch a posteriori optimal IIR filter . . . . . . . . . . . . . . . . . . 1124.4.3 Recursive forms for OIIR filter . . . . . . . . . . . . . . . . . . . . . 1134.5 Kalman filter properties from convolution . . . . . . . . . . . . . . . . . . . 1164.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1174.7 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1175 General Kalman Filter 1215.1 Time-Correlated Noise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1225.1.1 Noise de-correlation . . . . . . . . . . . . . . . . . . . . . . . . . . . 1225.1.1.1 GKF algorithm for de-correlated noise . . . . . . . . . . . . 1235.1.2 New Kalman gain . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1245.1.2.1 GKF algorithm for time-correlated noise . . . . . . . . . . 1245.2 Colored Measurement Noise . . . . . . . . . . . . . . . . . . . . . . . . . . . 1255.2.1 Augmented state vector . . . . . . . . . . . . . . . . . . . . . . . . . 1265.2.2 Measurement differencing . . . . . . . . . . . . . . . . . . . . . . . . 1265.2.2.1 Time-correlated noise . . . . . . . . . . . . . . . . . . . . . 1275.2.2.2 De-correlated noise . . . . . . . . . . . . . . . . . . . . . . 1295.2.3 Equivalence of GKF algorithms for CMN . . . . . . . . . . . . . . . 1315.3 Colored process noise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1335.3.1 Augmented state vector . . . . . . . . . . . . . . . . . . . . . . . . . 1335.3.2 State differencing (LTV case) . . . . . . . . . . . . . . . . . . . . . . 1345.3.2.1 GKF algorithm for LTV systems with CPN . . . . . . . . . 1355.3.3 State differencing (LTI case) . . . . . . . . . . . . . . . . . . . . . . 1365.3.3.1 GKF algorithm for LTI systems with CPN . . . . . . . . . 1385.4 Colored process and measurement noise . . . . . . . . . . . . . . . . . . . . 1395.4.1 Augmented state vector . . . . . . . . . . . . . . . . . . . . . . . . . 1395.4.2 State and measurement differencing . . . . . . . . . . . . . . . . . . 1405.4.2.1 State differencing . . . . . . . . . . . . . . . . . . . . . . . 140x Contents5.4.2.2 Measurement differencing . . . . . . . . . . . . . . . . . . . 1405.4.2.3 GKF algorithm for LTI systems with CPN and CMN . . . 1415.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1435.6 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1436 Suboptimal Kalman filtering 1476.1 Extended Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1476.1.1 The first-order extension . . . . . . . . . . . . . . . . . . . . . . . . . 1516.1.1.1 The first-order a posteriori EKF algorithm . . . . . . . . . 1516.1.2 Iterated extended Kalman filter . . . . . . . . . . . . . . . . . . . . . 1526.1.2.1 The a posteriori iterated EKF algorithm . . . . . . . . . . 1536.1.3 The second-order extension . . . . . . . . . . . . . . . . . . . . . . . 1546.1.3.1 The a priori state estimate . . . . . . . . . . . . . . . . . . 1556.1.3.2 The a priori error covariance . . . . . . . . . . . . . . . . . 1566.1.3.3 The a posteriori state estimate . . . . . . . . . . . . . . . . 1576.1.3.4 The a posteriori error covariance . . . . . . . . . . . . . . . 1576.2 Sigma-points approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1616.2.1 Statistical linearization . . . . . . . . . . . . . . . . . . . . . . . . . 1626.2.2 Gaussian quadrature and cubature . . . . . . . . . . . . . . . . . . . 1646.3 Unscented Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1666.3.1 The unscented transformation . . . . . . . . . . . . . . . . . . . . . . 1676.3.2 The unscented Kalman filter . . . . . . . . . . . . . . . . . . . . . . 1686.3.2.1 The UKF algorithm . . . . . . . . . . . . . . . . . . . . . . 1696.4 Gauss-Hermite Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . . . 1696.4.1 Gauss-Hermite approximate integration . . . . . . . . . . . . . . . . 1706.4.2 Gauss-Hermite cubature recursions . . . . . . . . . . . . . . . . . . . 1726.5 Cubature Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1736.5.1 Cubature rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1746.5.1.1 Cartesian coordinates . . . . . . . . . . . . . . . . . . . . . 1756.5.1.2 Polar coordinates . . . . . . . . . . . . . . . . . . . . . . . 1766.5.1.3 CKF algorithm . . . . . . . . . . . . . . . . . . . . . . . . . 1776.6 Adaptive Kalman filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1796.6.1 Adaptation through covariance mismatch . . . . . . . . . . . . . . . 1796.6.1.1 Measurement noise covariance adaptation . . . . . . . . . . 1816.6.1.2 System noise covariance adaptation . . . . . . . . . . . . . 1826.6.1.3 Adaptive Kalman filtering algorithm . . . . . . . . . . . . . 1846.6.1.4 Strong tracking Kalman filter . . . . . . . . . . . . . . . . . 1876.6.2 Adaptation using fuzzy inference . . . . . . . . . . . . . . . . . . . . 1906.6.2.1 Fuzzy strong tracking Kalman filter . . . . . . . . . . . . . 1946.6.3 Neural network aided adaptation . . . . . . . . . . . . . . . . . . . . 1976.6.3.1 Correcting output estimate . . . . . . . . . . . . . . . . . . 2006.6.3.2 Computing Kalman gain . . . . . . . . . . . . . . . . . . . 2026.7 Fault detection and diagnosis using Kalman filtering . . . . . . . . . . . . . 2036.7.1 Fault detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2056.7.2 Fault isolation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2076.7.2.1 Measurement fault isolation . . . . . . . . . . . . . . . . . . 2086.7.3 Fault estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2096.8 Some notable applied problems . . . . . . . . . . . . . . . . . . . . . . . . . 2126.8.1 Data association uncertainty . . . . . . . . . . . . . . . . . . . . . . 2126.8.2 Random jitter in sampling interval . . . . . . . . . . . . . . . . . . . 2156.8.2.1 Noise covariances under timing jitter . . . . . . . . . . . . 217Contents xi6.8.2.2 Jitter Kalman filtering algorithm . . . . . . . . . . . . . . . 2216.8.3 Fast Kalman filter variants . . . . . . . . . . . . . . . . . . . . . . . 2236.9 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2266.10 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2267 Kalman filtering for networks 2297.1 Ensemble Kalman filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2297.1.1 High-dimensional state vectors . . . . . . . . . . . . . . . . . . . . . 2307.1.1.1 The ensemble Kalman filtering algorithm . . . . . . . . . . 2327.2 Consensus distributed Kalman filtering . . . . . . . . . . . . . . . . . . . . . 2337.2.1 Consensus on measurements . . . . . . . . . . . . . . . . . . . . . . . 2357.2.2 Consensus on estimates . . . . . . . . . . . . . . . . . . . . . . . . . 2377.2.2.1 Disagreement in estimates . . . . . . . . . . . . . . . . . . 2377.2.2.2 Consensus on a posteriori estimates . . . . . . . . . . . . . 2387.2.2.3 Consensus on a priori estimates . . . . . . . . . . . . . . . 2427.2.3 Consensus on information . . . . . . . . . . . . . . . . . . . . . . . . 2437.2.3.1 Distributed information Kalman filtering . . . . . . . . . . 2447.2.4 Stability of consensus filtering . . . . . . . . . . . . . . . . . . . . . . 2467.3 Fusion Kalman filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2477.3.1 Optimal fusion of estimates . . . . . . . . . . . . . . . . . . . . . . . 2487.3.1.1 Kalman filter-based algorithm for optimal fusion of estimates. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2507.3.2 Optimal data fusion . . . . . . . . . . . . . . . . . . . . . . . . . . . 2527.3.2.1 Kalman filter-based data fusion algorithms . . . . . . . . . 2537.4 Filtering with intermittent observations . . . . . . . . . . . . . . . . . . . . 2547.4.1 Intermittent Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . 2577.4.2 Optimal fusion with intermittent observations . . . . . . . . . . . . . 2587.4.2.1 Intermittent Kalman filter for optimal fusion . . . . . . . . 2607.5 Delayed and lost data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2617.5.1 Timestamp one-step delays and packet dropouts . . . . . . . . . . . 2627.5.1.1 Kalman filter for timestamp data with one-step delays andpacket dropouts . . . . . . . . . . . . . . . . . . . . . . . . 2647.5.2 Random one-step delays and packet dropouts . . . . . . . . . . . . . 2647.5.2.1 Kalman filter for data with random binary one-step delaysand packet dropouts . . . . . . . . . . . . . . . . . . . . . . 2677.5.3 Optimal data fusion . . . . . . . . . . . . . . . . . . . . . . . . . . . 2697.5.3.1 Fusion Kalman filter for timestamp one-step delays andpacket dropouts . . . . . . . . . . . . . . . . . . . . . . . . 2727.6 Event-triggered data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2727.6.1 Send-on-delta event-triggering . . . . . . . . . . . . . . . . . . . . . . 2747.6.2 Send-on-delta event-triggered Kalman filter . . . . . . . . . . . . . . 2757.6.2.1 Event-triggered Kalman filtering algorithm . . . . . . . . . 2777.6.3 Optimal fusion of event-triggered data . . . . . . . . . . . . . . . . . 2787.6.3.1 Data received from a single sensor . . . . . . . . . . . . . . 2787.6.3.2 Data received from multiple sensors . . . . . . . . . . . . . 2817.6.3.3 Fusion of event-triggered data . . . . . . . . . . . . . . . . 2827.6.3.4 Fusion event-triggered Kalman filtering algorithm for timestampdata . . . . . . . . . . . . . . . . . . . . . . . . . . . 2847.7 Fault tolerant Kalman filtering . . . . . . . . . . . . . . . . . . . . . . . . . 2867.7.1 Fault tolerant optimal fusion of estimates . . . . . . . . . . . . . . . 2877.8 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290xii Contents7.9 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292II Robust Estimates 2958 Robust approaches to recursive filtering 2978.1 Robust state estimation problem . . . . . . . . . . . . . . . . . . . . . . . . 2978.2 Noticeable early solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3018.3 Robust performance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3038.4 Error models for robust filtering . . . . . . . . . . . . . . . . . . . . . . . . 3048.4.1 Disturbance models . . . . . . . . . . . . . . . . . . . . . . . . . . . 3048.4.1.1 Standard error model . . . . . . . . . . . . . . . . . . . . . 3058.4.1.2 Augmented error model . . . . . . . . . . . . . . . . . . . . 3078.4.2 Uncertainty models . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3098.4.2.1 Forward Euler method-based error model . . . . . . . . . . 3098.4.2.2 Backward Euler method-based error model . . . . . . . . . 3118.4.3 Disturbance and uncertainty models . . . . . . . . . . . . . . . . . . 3128.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3128.6 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3139 Unbiased filtering 3159.1 The a posteriori UFIR filter . . . . . . . . . . . . . . . . . . . . . . . . . . . 3169.1.1 Iterative computation using recursions . . . . . . . . . . . . . . . . . 3179.1.1.1 Iterative a posteriori UFIR filtering algorithm . . . . . . . 3209.1.1.2 UFIR filter with improved performance . . . . . . . . . . . 3239.1.2 Recursive form for error covariance . . . . . . . . . . . . . . . . . . . 3239.1.3 Minimizing error covariance . . . . . . . . . . . . . . . . . . . . . . . 3259.1.3.1 Available ground truth . . . . . . . . . . . . . . . . . . . . 3259.1.3.2 Unavailable ground truth . . . . . . . . . . . . . . . . . . . 3269.2 General UFIR filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3289.2.1 Gauss-Markov colored measurement noise . . . . . . . . . . . . . . . 3289.2.1.1 General UFIR filtering algorithm for CMN . . . . . . . . . 3299.2.2 Gauss-Markov colored process noise . . . . . . . . . . . . . . . . . . 3309.2.2.1 General UFIR filtering algorithm for LTI systems with CPN 3319.3 Unbiased smoothing and prediction . . . . . . . . . . . . . . . . . . . . . . . 3329.3.1 Recursive error covariance . . . . . . . . . . . . . . . . . . . . . . . . 3359.3.1.1 Time-varying case . . . . . . . . . . . . . . . . . . . . . . . 3369.3.1.2 Time-invariant case . . . . . . . . . . . . . . . . . . . . . . 3379.4 Extended UFIR filtering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3389.4.1 First-order extended UFIR filter . . . . . . . . . . . . . . . . . . . . 3389.4.2 Second-order extended UFIR filter . . . . . . . . . . . . . . . . . . . 3409.5 Robustness of UFIR filtering . . . . . . . . . . . . . . . . . . . . . . . . . . 3439.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3469.7 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34710 H2 filtering 34910.1 Transfer function approach for H2 filtering . . . . . . . . . . . . . . . . . . . 34910.2 Recursive H2 filtering under disturbances . . . . . . . . . . . . . . . . . . . 35010.2.1 Forward Euler method . . . . . . . . . . . . . . . . . . . . . . . . . . 35010.2.2 Backward Euler method . . . . . . . . . . . . . . . . . . . . . . . . . 35210.2.3 Recursive H2 filtering algorithm for disturbed models . . . . . . . . 354Contents xiii10.2.4 Computing H2 filter gain using LMI . . . . . . . . . . . . . . . . . . 35710.3 Filtering of uncertain models . . . . . . . . . . . . . . . . . . . . . . . . . . 35910.3.1 Covariances of uncertain terms . . . . . . . . . . . . . . . . . . . . . 36010.3.1.1 H2 filtering algorithm for uncertain models . . . . . . . . . 36310.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36510.5 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36511 H∞ filtering 36711.1 The H∞ filtering problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36711.2 Disturbed model based on forward Euler method . . . . . . . . . . . . . . . 36911.2.1 Bounded real lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . 36911.2.2 H∞ filter—option-(I) . . . . . . . . . . . . . . . . . . . . . . . . . . . 37211.2.2.1 Recursive H∞ filtering algorithm . . . . . . . . . . . . . . . 37411.2.3 H∞ filter—option-(II) . . . . . . . . . . . . . . . . . . . . . . . . . . 37411.2.3.1 Recursive H∞ filtering algorithm . . . . . . . . . . . . . . . 37511.2.4 Iterative H∞ filtering algorithm . . . . . . . . . . . . . . . . . . . . . 37611.3 Disturbed model based on backward Euler method . . . . . . . . . . . . . . 37811.3.1 Bounded real lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . 37811.3.2 H∞ filter—option-(I) . . . . . . . . . . . . . . . . . . . . . . . . . . . 38011.3.2.1 Recursive H∞ filtering algorithm . . . . . . . . . . . . . . . 38011.3.3 H∞ filter—option-(II) . . . . . . . . . . . . . . . . . . . . . . . . . . 38111.3.3.1 Recursive H∞ filtering algorithm . . . . . . . . . . . . . . . 38211.3.4 Iterative H∞ filtering algorithm . . . . . . . . . . . . . . . . . . . . . 38211.4 Filtering of uncertain models . . . . . . . . . . . . . . . . . . . . . . . . . . 38311.4.1 Recursive H∞ filtering algorithm for uncertain models . . . . . . . . 38311.5 Hybrid filtering structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38711.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38711.7 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38712 Generalized H2 filtering 38912.1 The energy-to-peak filtering problem . . . . . . . . . . . . . . . . . . . . . . 38912.2 Energy-to-peak lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39012.2.1 Euler’s forward method-based model . . . . . . . . . . . . . . . . . . 39112.2.2 Euler’s backward method-based model . . . . . . . . . . . . . . . . . 39412.3 GH2 filter for disturbed models—option-(I) . . . . . . . . . . . . . . . . . . 39512.3.1 Recursive GH2 filtering algorithm . . . . . . . . . . . . . . . . . . . 39712.4 GH2 filter for disturbed models—option-(II) . . . . . . . . . . . . . . . . . . 39712.4.1 Recursive GH2 filtering algorithm . . . . . . . . . . . . . . . . . . . 40012.5 Iterative GH2 filtering algorithm . . . . . . . . . . . . . . . . . . . . . . . . 40312.6 Filtering of uncertain models . . . . . . . . . . . . . . . . . . . . . . . . . . 40312.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40412.8 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40413 L1 filtering 40713.1 The L1 filtering problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40713.2 Peak-to-peak lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40913.2.1 Euler’s forward method-based model . . . . . . . . . . . . . . . . . . 40913.2.2 Euler’s backward method-based model . . . . . . . . . . . . . . . . . 41113.3 L1 filtering of disturbed models . . . . . . . . . . . . . . . . . . . . . . . . . 41313.3.1 L1 filter—option-(I) . . . . . . . . . . . . . . . . . . . . . . . . . . . 41513.3.2 L1 filter—option-(II) . . . . . . . . . . . . . . . . . . . . . . . . . . . 415xiv Contents13.3.2.1 Recursive L1 filtering algorithm . . . . . . . . . . . . . . . 41613.3.3 Iterative L1 filtering algorithm . . . . . . . . . . . . . . . . . . . . . 42013.4 Filtering of uncertain models . . . . . . . . . . . . . . . . . . . . . . . . . . 42113.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42113.6 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42214 Where recursive state estimation meets artificial intelligence 42514.1 Model-based vs. data-driven state estimation . . . . . . . . . . . . . . . . . 42614.1.1 Data-driven Kalman filter . . . . . . . . . . . . . . . . . . . . . . . . 42714.1.2 Maximum likelihood estimate . . . . . . . . . . . . . . . . . . . . . . 42814.2 Machine learning-aided Kalman filtering . . . . . . . . . . . . . . . . . . . . 43014.2.1 Tuning parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43214.2.1.1 Measurement noise covariance . . . . . . . . . . . . . . . . 43214.2.1.2 Process noise covariance . . . . . . . . . . . . . . . . . . . . 43214.2.1.3 Process and measurement noise covariance . . . . . . . . . 43314.2.1.4 State space model parameters . . . . . . . . . . . . . . . . 43314.2.1.5 Bias correction gain . . . . . . . . . . . . . . . . . . . . . . 43314.2.2 Compensation for estimation errors . . . . . . . . . . . . . . . . . . . 43414.3 Kalman filter-aided machine learning . . . . . . . . . . . . . . . . . . . . . . 43514.3.1 Network training . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43514.3.2 Hybrid schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43614.3.2.1 Improving network performance . . . . . . . . . . . . . . . 43614.3.2.2 Long short-term memory Kalman filter . . . . . . . . . . . 43714.4 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43914.5 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43915 Applications 44115.1 GPS navigation of a moving vehicle . . . . . . . . . . . . . . . . . . . . . . 44115.2 UWB-based localization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44415.2.1 Linear robotic dog localization . . . . . . . . . . . . . . . . . . . . . 44515.2.2 Nonlinear ad hoc localization . . . . . . . . . . . . . . . . . . . . . . 45115.3 Pedestrian visual object tracking . . . . . . . . . . . . . . . . . . . . . . . . 45515.3.1 Eight-state space model . . . . . . . . . . . . . . . . . . . . . . . . . 45615.3.2 Separate coordinate filtering . . . . . . . . . . . . . . . . . . . . . . . 45815.4 Air pollution estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46115.4.1 CO concentration model . . . . . . . . . . . . . . . . . . . . . . . . . 46115.5 EMG amplitude estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . 46415.5.1 Typical EMG signaling . . . . . . . . . . . . . . . . . . . . . . . . . 46515.6 Person activity estimation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46815.6.1 Walking activity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46915.6.2 Standing up from sitting position . . . . . . . . . . . . . . . . . . . . 47015.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47115.8 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 472Bibliography 475Index 497
Notă biografică
Yuriy S. Shmaliy, IEEE Life Fellow, AAIA Fellow, AIIA Fellow (UFIR founder, Shmaliy’s Discrete Orthogonal Polynomials originator), received the B.S., M.S., and Ph.D. degrees in Electrical Engineering from Kharkiv Aviation Institute, Kharkiv, Ukraine, in 1974, 1976, and 1982, respectively, and the Dr.Sc. degree in Electrical Engineering from USSR Government, in 1992. Since 1986, he has been a Full Professor. From 1985 to 1999, he was with Kharkiv Military University, Kharkiv, Ukraine. In 1992, he founded the Scientific Center Sichron and was the Director by 2002. Since 1999, he has been with the Universidad de Guanajuato, Guanajuato, Mexico, and from 2012 to 2015, he headed the Department of Electronics Engineering in this University.He has 564 journal and conference papers and holds 81 patents. He has authored the books Continuous-Time Signals (Springer, 2006), Continuous-Time Systems (Springer, 2007), GPS-Based Optimal FIR Filtering of Clock Models (Nova Science Publ., 2009), and Optimal and Robust State Estimation: Finite Impulse response (FIR) and Kalman Approaches (Wiley & Sons, 2022)--One of the best estimation theory books of all time by BookAuthority. He also edited the book Probability: Interpretation, Theory and Applications (Nova Science Publ., 2012).Prof. Shmaliy has pioneered the theory of optimal and robust Finite Impulse Response (FIR) state estimation and coined the Unbiased FIR (UFIR) State Estimator, which is now widely used by the filtering research community to solve diverse estimation problems as a robust alternative to Kalman filter. He discovered a new class of discrete orthogonal polynomials (DOP). To recognize his pioneering contributions, the DOP named after him are called "Discrete Shmaliy Moments" or “Shmaliy DOP,” and developed to “Discrete Shmaliy Transform.” He was rewarded a title, Honorary Radio Engineer of the USSR, in 1991, was with the Ukrainian State Award Committee on Science and Technology, in 1998-1999, and has been IEEE Fellow Committee Member, in 2023-2026. He was the recipient of the Royal Academy of Engineering Newton Research Collaboration Program Award, in 2015, IEEE Latin America Eminent Engineer Award, in 2021, and several best conference paper awards. He was invited many times to give tutorial, seminar, and plenary lectures.
Descriere
This book attempts to do this by describing 53 pseudo codes and other forms of optimal, suboptimal, and robust recursive state estimation algorithms.