Nonlinear Filters. Simon Haykin

Чтение книги онлайн.

СКАЧАТЬ target="_blank" rel="nofollow" href="#fb3_img_img_494cf9ad-8e98-537a-9e30-90df36dd5835.png" alt="Start 1 By 2 Matrix 1st Row 1st Column ModifyingAbove bold upper F With Ì‚ Subscript 1 Baseline 2nd Column ModifyingAbove bold upper F With Ì‚ Subscript 2 Baseline EndMatrix Start 2 By 2 Matrix 1st Row 1st Column bold 0 2nd Column bold 0 2nd Row 1st Column bold upper I Subscript n Sub Subscript u Subscript Baseline 2nd Column bold 0 EndMatrix equals Start 1 By 2 Matrix 1st Row 1st Column bold upper B 2nd Column bold 0 EndMatrix period"/>

Hence, and is a free matrix. According to (3.46), we have:

      (3.56)

      (3.57)

      Defining , where has rows, we obtain:

      (3.58)

      Since is required to be a stable matrix, the pair must be detectable [35].

      From (3.35) and (3.36), we have:

(3.59)

      Assuming that has full column rank, there exists a matrix such that:

(3.60)

Left‐multiplying both sides of the equation (3.59) by , and then using (3.60), the input vector can be estimated based on the state‐vector estimate as:

      (3.61)

Regarding (3.42), this estimate asymptotically approaches the true value of the input [35].

3.6 Concluding Remarks

      Observers are dynamic processes, which are used to estimate the states or the unknown inputs of linear as well as nonlinear dynamic systems. This chapter covered the Luenberger observer, the extended Luenberger‐type observer, the sliding‐mode observer, and the UIO. In addition to the mentioned observers, high‐gain observers have been proposed in the literature to handle uncertainty. Although the deployed high gains in high‐gain observers allow for fast convergence and performance recovery, they amplify the effect of measurement noise [40]. Hence, there is a trade‐off between fast state reconstruction under uncertainty and measurement noise attenuation. Due to this trade‐off, in the transient and steady‐state periods, relatively high and low gains are used, respectively. However, stochastic approximation allows for an implementation of the high‐gain observer, which is able to cope with measurement noise [41]. Alternatively, the bounding observer or interval observer provides two simultaneous state estimations, which play the role of an upper bound and a lower bound on the true value of the state. The true value of the state is guaranteed to remain within these two bounds [42].

4 Bayesian Paradigm and Optimal Nonlinear Filtering

      4.1 Introduction

Immanuel Kant proposed the two concepts of the noumenal world and the phenomenal world. While the former is the world of things as they are, which is independent of our modes of perception and thought, the latter is the world of things as they appear to us, which depends on how we perceive things. According to Kant, everything about the noumenal world is transcendental that means it exists but is not prone to concept formation by us [43].

      Following this line of thinking, statistics will aim at interpretation rather than explanation. In this framework, statistical inference is built on probabilistic modeling of the observed phenomenon. A probabilistic model must include the available information about the phenomenon of interest as well as the uncertainty associated with this information. The purpose of statistical inference is to solve an inverse problem aimed at retrieving the causes, which are presented by states and/or parameters of the developed probabilistic model, from the effects, which are summarized in the observations. On the other hand, probabilistic modeling describes the behavior of the system and allows us to predict what will be observed in the future conditional on states and/or parameters [44].

      Bayesian paradigm provides a mathematical framework in which degrees of belief are quantified by probabilities. It is the method of choice for dealing with uncertainty in measurements. Using the Bayesian approach, probability of an event of interest (state) can be calculated based on the probability of other events (observations or measurements) that are logically connected to and therefore, СКАЧАТЬ