Discrete Time System

Discrete-Time Signals and Systems

Luis F. Chaparro , Aydin Akan , in Signals and Systems Using MATLAB (Third Edition), 2019

Causality

In many situations signals need to be processed in real-time, i.e., the processing must be done as the signal comes into the system. In those situations, the system must be causal. Whenever the data can be stored, not a real-time situation, is not necessary to use a causal system.

A discrete-time system S is causal if:

whenever the input x [ n ] = 0 , and there are no initial conditions, the output is y [ n ] = 0 ,

the present output y [ n ] does not depend on future inputs.

Causality is independent of the linearity and time-invariance properties of a system. For instance, the system represented by the input/output equation

y [ n ] = x 2 [ n ] ,

where x [ n ] is the input and y [ n ] the output, is non-linear, time invariant, and according to the above definition causal: the output is zero whenever the input is zero, and the output depends on the present value of the input. Likewise, an LTI system can be noncausal, such is the case of the following LTI system that computes the moving average of the input:

y [ n ] = 1 3 ( x [ n + 1 ] + x [ n ] + x [ n 1 ] ) .

The input/output equation indicates that at the present time n to compute y [ n ] we need a present value x [ n ] , a past value x [ n 1 ] , and a future value x [ n + 1 ] of the input. Thus, the system is LTI but noncausal since it requires future values of the input.

An LTI discrete-time system is causal if the impulse response of the system is such that

(9.37) h [ n ] = 0 n < 0 .

A signal x [ n ] is said to be causal if

(9.38) x [ n ] = 0 n < 0 .

For a causal LTI discrete-time system with a causal input x [ n ] its output y [ n ] is given by

(9.39) y [ n ] = k = 0 n x [ k ] h [ n k ] n 0

where the lower limit of the sum depends on the input causality, x [ k ] = 0 for k < 0 , and the upper limit on the causality of the system, h [ n k ] = 0 for n k < 0 or k > n .

That h [ n ] = 0 for n < 0 is the condition for an LTI discrete-time system to be causal is understood by considering that when computing the impulse response, the input δ [ n ] only occurs at n = 0 and there are no initial conditions so the response for n < 0 should be zero. Extending the notion of causality to signals we can then see that the output of a causal LTI discrete-time system can be written in terms of the convolution sum as

y [ n ] = k = x [ k ] h [ n k ] = k = 0 x [ k ] h [ n k ] = k = 0 n x [ k ] h [ n k ]

where we first used the causality of the input ( x [ k ] = 0 for k < 0 ) and then that of the system, i.e., h [ n k ] = 0 whenever n k < 0 or k > n . According to this equation the output depends on inputs { x [ 0 ] , , x [ n ] } which are past and present values of the input.

Example 9.24

So far we have considered the convolution sum as a way of computing the output y [ n ] of a LTI system with impulse response h [ n ] for a given input x [ n ] . But it actually can be used to find either of these three variables given the other two. The problem is then called deconvolution. Assume the input x [ n ] and the output y [ n ] of a causal LTI system are given, find equations to compute recursively the impulse response h [ n ] of the system. Consider finding the impulse response h [ n ] of a causal LTI system with input x [ n ] = u [ n ] and output y [ n ] = δ [ n ] . Use the MATLAB function deconv to find h [ n ] .

Solution: If the system is causal and LTI, the input x [ n ] and the output y [ n ] are connected by the convolution sum

y [ n ] = m = 0 n h [ n m ] x [ m ] = h [ n ] x [ 0 ] + m = 1 n h [ n m ] x [ m ] .

To find h [ n ] from given input and output values, under the condition that x [ 0 ] 0 , the above equation can be rewritten as

h [ n ] = 1 x [ 0 ] [ y [ n ] m = 1 n h [ n m ] x [ m ] ]

so that the impulse response of the causal LTI can be found recursively as follows:

h [ 0 ] = 1 x [ 0 ] y [ 0 ] , h [ 1 ] = 1 x [ 0 ] ( y [ 1 ] h [ 0 ] x [ 1 ] ) , h [ 2 ] = 1 x [ 0 ] ( y [ 2 ] h [ 0 ] x [ 2 ] h [ 1 ] x [ 1 ] ) .

For the given case where y [ n ] = δ [ n ] and x [ n ] = u [ n ] we get according to the above

h [ 0 ] = 1 x [ 0 ] y [ 0 ] = 1 , h [ 1 ] = 1 x [ 0 ] ( y [ 1 ] h [ 0 ] x [ 1 ] ) = 0 1 = 1 , h [ 2 ] = 1 x [ 0 ] ( y [ 2 ] h [ 0 ] x [ 2 ] h [ 1 ] x [ 1 ] ) = 0 1 + 1 = 0 , h [ 3 ] = 1 x [ 0 ] ( y [ 3 ] h [ 0 ] x [ 3 ] h [ 1 ] x [ 2 ] h [ 2 ] x [ 3 ] ) = 0 1 + 1 0 = 0 ,

and in general h [ n ] = δ [ n ] δ [ n 1 ] .

The length of the convolution y [ n ] is the sum of the lengths of the input x [ n ] and of the impulse response h [ n ] minus one. Thus,

length of h [ n ] = length of y [ n ] length of x [ n ] + 1 .

When using the MATLAB function deconv we need to make sure that the length of y [ n ] is always larger than that of x [ n ] . If x [ n ] is of infinite length, like when x [ n ] = u [ n ] , this would require an even longer y [ n ] , which is not possible. However, MATLAB can only provide a finite support input, so we make the support of y [ n ] larger. In this example we have found analytically that the impulse response h [ n ] is of length 2. Thus, if the length of y [ n ] is chosen larger than the length of x [ n ] by one we get the correct answer (case (a) in the script below). Otherwise we do not (case (b)). Run the two cases to verify this (get rid of the symbol % to run case (b)).

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B978012814204200020X

Digital Signal Processing

Lars Wanhammar , in DSP Integrated Circuits, 1999

3.9 DIFFERENCE EQUATIONS

Many discrete-time and digital systems such as digital filters can be described by difference equations with constant coefficients. The input–output relation for an Nth-order LSI system can be described by

(3.11) y n = k = 1 N b k y n k + k = 0 M a k x n k

It is customary to distinguish between LSI filters (systems) that have an impulse response of finite or infinite duration. The first type is called FIR (finite-length impulse response) filters since the impulse response becomes zero after a finite number of samples. The latter type is called IIR (infinite-length impulse response) filters since, even though the impulse response decays toward zero, it theoretically never reaches zero.

If bk =   0 for all k, the system has a finite impulse response and is therefore an FIR system. Normally, the system is an IIR system if bk     0 for at least one k, but there are some exceptions. If any bk     0, the difference equation represents a recursive algorithm in which some of the previously computed output values are used to compute the next output value. It can be shown that IIR filters only can be realized by using recursive algorithms while FIR filters can be realized by using recursive or nonrecursive algorithms. However, it is not generally recommended that recursive algorithms be used to realize FIR filters, because of stability problems.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B9780127345307500039

Discrete-Time Signals and Systems

Luis F. Chaparro , in Signals and Systems using MATLAB, 2011

Causality

In many situations signals need to be processed in real time—that is, the processing must be done as the signal comes into the system. In those situations, the system must be causal. In many other situations, real-time processing is not required as the data can be stored and processed without the requirements of real time. Under such circumstances causality is not necessary.

A discrete-time system S is causal if:

Whenever the input x[n] = 0, and there are no initial conditions, the output is y[n] = 0.

The output y[n] does not depend on future inputs.

Causality is independent of the linearity and time-invariance properties of a system. For instance, the system represented by the input–output equation

y [ n ] = x 2 [ n ]

where x[n] is the input and y[n] is the output is nonlinear but time invariant. According to the above definition it is a causal system: The output is zero whenever the input is zero, and the output depends on the present value of the input. Likewise, an LTI system can be noncausal, as can be seen in the following discrete-time system that computes the moving average of the input:

y [ n ] = 1 3 ( x [ n + 1 ] + x [ n ] + x [ n 1 ] ) .

The input–output equation indicates that at the present time n to compute y[n] we need a present value x[n], a past value x[n − 1], and a future value x[n + 1]. Thus, the system is LTI but noncausal since it requires future values of the input.

An LTI discrete-time system is causal if the impulse response of the system is such that

(8.36) h [ n ] = 0 n < 0

A signal x[n] is said to be causal if

(8.37) x [ n ] = 0 n < 0

For a causal LTI discrete-time system with a causal input x[n] its output y[n] is given by

(8.38) y [ n ] = k = 0 n x [ k ] h [ n k ] n 0

where the lower limit of the sum depends on the input causality, x[k] = 0 for k < 0, and the upper limit depends on the causality of the system, h[nk] = 0 for nk < 0 or k > n.

That h[n] = 0 for n < 0 is the condition for an LTI discrete-time system to be causal is understood by considering that when computing the impulse response, the input δ[n] only occurs at n = 0 and there are no initial conditions, so the response for n < 0 should be zero. Extending the notion of causality to signals we can then see that the output of a causal LTI discrete-time system can be written in terms of the convolution sum as

y [ n ] = k = x [ k ] h [ n k ] = k = 0 x [ k ] h [ n k ] = k = 0 n x [ k ] h [ n k ]

where we first used the causality of the input (x[k] = 0 for k < 0) and then that of the system (i.e., h[nk] = 0 whenever nk < 0 or k > n). According to this equation the output depends on inputs {x[0], …, x[n]}, which are past and present values of the input.

Example 8.25

So far we have considered the convolution sum as a way of computing the output y[n] of an LTI system with impulse response h[n] for a given input x[n]. But it actually can be used to find either of these three variables given the other two. The problem is then called deconvolution. Assume the input x[n] and the output y[n] of a causal LTI system are given. Find equations to compute recursively the impulse response h[n] of the system. Consider finding the impulse response h[n] of a causal LTI system with input x[n] = u[n] and output y[n] = δ[n]. Use the MATLAB function deconv to find h[n].

Solution

If the system is causal and LTI, the input x[n] and the output y[n] are connected by the convolution sum

y [ n ] = m = 0 n h [ n m ] x [ m ] = h [ n ] x [ 0 ] + m = 1 n h [ n m ] x [ m ]

To find h[n] from given x[n] and y[n], under the condition that x[0] ≠ 0, the above equation can be rewritten as

h [ n ] = 1 x [ 0 ] y [ n ] m = 1 n h [ n m ] x [ m ]

so that the impulse response of the causal LTI can be found recursively as follows:

h [ 0 ] = 1 x [ 0 ] y [ 0 ] h [ 1 ] = 1 x [ 0 ] y [ 1 ] h [ 0 ] x [ 1 ] h [ 2 ] = 1 x [ 0 ] y [ 2 ] h [ 0 ] x [ 2 ] h [ 1 ] x [ 1 ]

For the given case where y[n] = δ[n] and x[n] = u[n], we get, according to the above,

h [ 0 ] = 1 x [ 0 ] y [ 0 ] = 1 h [ 1 ] = 1 x [ 0 ] y [ 1 ] h [ 0 ] x [ 1 ] = 0 1 = 1 h [ 2 ] = 1 x [ 0 ] y [ 2 ] h [ 0 ] x [ 2 ] h [ 1 ] x [ 1 ] = 0 1 + 1 = 0 h [ 3 ] = 1 x [ 0 ] y [ 3 ] h [ 0 ] x [ 3 ] h [ 1 ] x [ 2 ] h [ 2 ] x [ 3 ] = 0 1 + 1 0 = 0

and, in general, h[n] = δ[n] − δ[n − 1].

The length of the convolution y[n] is the sum of the lengths of the input x[n] and of the impulse response h[n] minus one. Thus,

length of h [ n ] = length of y [ n ] length of x [ n ] + 1

When using deconv we need to make sure that the length of y[n] is always larger than that of x[n]. If x[n] is of infinite length, like when x[n] = u[n], this would require an even longer y[n], which is not possible. However, MATLAB can only provide a finite-support input, so we make the support of y[n] larger. In this example we have found analytically that the impulse response h[n] is of length 2, so if the length of y[n] is chosen so that length y[n] is larger than the length of x[n] by one, we get the correct answer (case (a) in the script below); otherwise we do not (case (b)). Run the two cases to verify this (get rid of % symbol to run case (b)).

%%%%%%%%%%%%%%%%%%%%%%

% Example 8.25 --- Deconvolution

%%%%%%%%%%%%%%%%%%%%%%

clear all

x = ones(1, 100);

y = [1 zeros(1, 100)]; % (a) correct h

% y = [1 zeros(1, 99)]; % (b) incorrect h

[h, r] = deconv(y, x)

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B9780123747167000120

Detection, Classification, and Estimation in the (t,f) Domain

In Time-Frequency Signal Analysis and Processing (Second Edition), 2016

12.3.1 Problem Description

A discrete time system identification problem can be stated as follows:

(12.3.1) y [ n ] = k q [ n k ] x [ k ] + ϵ [ n ] ,

where x[n] is a transmitted signal, q[n] is the impulse response of a linear time invariant (LTI) system, ϵ[n] is an additive noise, and y[n] is the received signal. The problem is to identify the LTI system transfer function Q(f), i.e., the Fourier transform, of q[n] given the input and the output signals x[n] and y[n].

The conventional method for solving the above problem is the least-squares solution method that is equal to the cross-spectral method in stationary cases, i.e., the system transfer function Q(f) can be estimated by (see, e.g., Refs. [24,25])

(12.3.2) Q ( f ) = S x y ( f ) S x x ( f ) ,

where S xy (f) is the cross-spectrum of x[n] and y[n], and S xx (f) is the auto-spectrum of x[n]. When the additive noise ϵ[n] in Eq. (12.3.1) is a zero-mean Gaussian process and statistically independent of the input signal x[n], the estimate in Eq. (12.3.2) is asymptotically unbiased but the performance is limited by the noise variance or the signal-to-noise ratio (SNR). When the SNR is low, the performance of the estimate in Eq. (12.3.2) is poor as we will see later. Since the auto-spectrum of the input signal x[n] is in the denominator in the estimate equation (12.3.2), the input signal is, in general, chosen as a pseudorandom signal with flat spectrum. With these types of input signals, noise reduction techniques before system identification do not apply.

In the following, we introduce a different technique [26] for the system identification problem. The main idea is as follows. Instead of pseudorandom signal x[n], chirp type signals are transmitted as training signals, which have wideband characteristics in the frequency domain but are concentrated in the joint time-frequency ((t,f)) domain. The (t,f) concentration property usually holds after passing through an LTI system (this will be seen later). Since a joint (t,f) distribution usually spreads noise and localizes signals, in particular chirps, the receiver may use a (t,f) analysis technique to map the received signal y[n] from the time domain into the joint (t,f) domain. In this way, the SNR can be significantly increased in the joint (t,f) domain [27]. Furthermore, (t,f) filtering can be used in the (t,f) plane to reduce the noise and the SNR in the time domain can be increased and therefore the system identification after denoising can be improved. Some applications of this approach can be found in Refs. [28–31].

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B9780123984999000121

Signals and Systems

Rashid Ansari , Lucia Valbonesi , in The Electrical Engineering Handbook, 2005

Causality

If a discrete-time system is causal, then the current output sample depends only on the current and past input samples and not on future samples. This definition is now examined in the case of an LSI system with an impulse response h[n].

The output y[n] of an LSI system can be expressed as:

(1.30) y [ n ] = h [ n ] * x [ n ] = Σ k = x [ n k ] h [ k ] = + x [ n + 2 ] h [ 2 ] + x [ n + 1 ] h [ 1 ] + x [ n ] h [ 0 ] + x [ n 1 ] h [ 1 ] + x [ n 2 ] h [ 2 ] + .

The expression of equation 1.30 immediately suggests the constraint on the impulse response of a causal LSI system. If the output is required to be independent of future samples of an arbitrary input, then the coefficients h[− 1], h[− 2], … in the convolution sum should each be equal to zero.

Therefore, an LSI system is causal if and only if h[n] = 0, n < 0.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B978012170960050061X

Discrete-Time Control System Implementation Techniques

Wei-Yong Yan , Robert R. Bitmead , in Control and Dynamic Systems, 1995

IV Conclusions

A PTV discrete-time system can be represented by an LTI system in a certain equivalent sense. Likewise, a PTV compensator can be represented by an LTI compensator. We have shown that the monodromy matrix of the closed-loop system consisting of the PTV system and compensator coincides with the state matrix of the closed-loop system consisting of the representing LTI system and compensator. However, this property does not imply that controlling the periodic system by periodic controllers can be completely reduced to controlling the equivalent LTI system by LTI controllers since not all LTI compensators represent some periodic compensator for the original periodic system. One of the features about the representing LTI system is the existence of direct feedthrough from input to output whether the original PTV system has direct control feedthrough or not.

Although it is often difficult to know whether an LTI compensator for the representing LTI system corresponds to a periodic compensator for the periodic system, it is clear that the periodic output feedback is equivalent to the constant static output feedback with a block diagonal gain matrix. Based on this equivalence, we have further identified the PTV system as an LTI multi-channel system so that the problem of controlling the PTV system by periodic output feedback can be reposed as that of controlling the LTI multi-channel system with direct control feedthrough by static decentralized output feedback. In addition, the concepts of periodic fixed modes and strong connectedness have been naturally introduced for PTV systems.

Decentralized control techniques have been discussed for general LTI multi-channel systems and applied to the problem of controlling PTV systems by periodic output feedback. As a result, whether a strongly connected periodic system is stabilizable or almost pole-assignable by periodic output feedback can be easily verified in terms of periodic fixed modes in the case where the number of states is less than the sum of the numbers of inputs, outputs, and periodic fixed modes. The procedure for designing a desired periodic output feedback is straightforward and explicit.

One obvious question which may be worth further research is as to whether periodic fixed modes can be removed by general PTV controllers. Also, it has not yet been resolved how to design PTV dynamic controllers to stabilize a given PTV system.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/S0090526706800526

REVIEWS

Wing-Kuen Ling , in Nonlinear Digital Filters, 2007

BACKGROUNDS ON BIFURCATION THEOREM

Suppose a discrete time system can be represented as x(k + 1) = Ax(k) + Bg(Cx(k); μ) and y(k) = Cx(k), where x(k) ∈ ℜ n , A ∈ ℜ nxn , y(k) ∈ℜm, g(·):ℜm × ℜ → ℜl is a smooth (Cr, r ≥ 3) l dimensional vector field, kZ +∪ {0} is the iteration index, and μ∈ℜ is the bifurcation parameter. It is worth noting that all of the matrices may depend on μ, and A may be a zero matrix. By introducing an arbitrary matrix D∈ℜ lxm , which may also depend on μ, the system can be represented by a feedback system. The whole feedback system consists of the linear feedforward part G(z; μ) and the nonlinear feedback part f(e(k); μ) as shown in Figure 2.7, and the system can be described as x(k + 1) = Ax(k) + BDy(k) + B(g(Cx(k); μ) – Dy(k))or x(k + 1) = (A + BDC)x(k) + B(g(Cx(k); μ) – Dy(k)), G(z; μ) = C(z I – (A + BDC))−1 B, u(k) = f(e(k); μ) + v(k) = g(y(k); μ) – Dy(k) and e(k) = d(k) – y(k). If we assume that the reference input v(k) = 0 and the external disturbance d(k) = 0, supposing that the system achieves equilibrium at e ( k ) = e ˆ , by linearizing the nonlinear feedback system f(e(k); μ) at the equilibrium point, then the open loop gain of the system is

Figure 2.7. Nonlinear feedback system.

G ( z ; μ ) J ( μ ) , where J ( μ ) f ( e ( k ) ) e ( k ) | e ( k ) = e ˆ

is the Jacobian matrix. If there exists a simple pair of complex eigenvalues of G(z; μ)J(μ) for z = e crossing the critical point −1 + 0j for some values of ω0 and a given parameter μ = μ0, then the system exhibits the Hopf bifurcation.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B9780123725363500028

Discrete-time Signals and Systems

Luis Chaparro , in Signals and Systems Using MATLAB (Second Edition), 2015

9.3.2 Dynamic Discrete-time Systems Represented by Difference Equations

A recursive discrete-time system is represented by a difference equation

(9.30) y [ n ] = - k = 1 N - 1 a k y [ n - k ] + m = 0 M - 1 b m x [ n - m ] n 0 initial conditions y [ - k ] , k = 1 , , N - 1

which naturally characterizes the dynamics of the system. On the other hand, this difference equation could be the approximation of an ordinary differential equation representing a continuous-time system being processed discretely. For instance, to approximate a second-order ordinary differential equation by a difference equation, we could approximate the first derivative as

dv c ( t ) dt v c ( t ) - v c ( t - T s ) T s

and the second derivative as

d 2 v c ( t ) dt 2 = d dv c ( t ) dt dt d ( v c ( t ) - v c ( t - T s ) ) / T s dt = v c ( t ) - 2 v c ( t - T s ) + v c ( t - 2 T s ) T s 2

to obtain a second-order difference equation. Choosing a small value for T s provides an accurate approximation to the ordinary differential equation. Other transformations can be used. In Chapter 0 we indicated that approximating integrals by the trapezoidal rule gives the bilinear transformation which can also be used to change differential into difference equations.

Just as in the continuous-time case, the system being represented by the difference equation is not LTI unless the initial conditions are zero and the input is causal. The Z-transform will however allow us to find the complete response of the system even when the initial conditions are not zero.

The complete response of a system represented by the difference equation can be shown to be composed of a zero-input and a zero-state responses, i.e., if y[n] is the solution of the difference Equation (9.30) with initial conditions not necessarily equal to zero, then

(9.31) y [ n ] = y zi [ n ] + y zs [ n ] .

The component y zi [n] is the response when the input x[n] is set to zero, thus it is completely due to the initial conditions. The response y zs [n] is due to the input only, as we set the initial conditions to zero. The complete response y[n] is thus seen as the superposition of these two responses. The Z-transform provides an algebraic way to obtain the complete response, whether the initial conditions are zero or not. It is important, as in the continuous-time, to differentiate the zero-input and the zero-state responses from the transient and the steady-state responses. Examples illustrating how to obtain these responses using the Z-transform will be given in the next chapter.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B9780123948120000097

Finite impulse response filter design

Edmund Lai PhD, BEng , in Practical Digital Signal Processing, 2003

6.1 Classification of digital filters

Digital filters are discrete-time systems. The type of digital filters that we shall design in this course is linear. Therefore, they possess all the properties of linear discrete-time systems discussed in Chapter 3. All linear discrete-time operations on an input sequence can be viewed as a filtering of the sequence to produce an output sequence. This is the reason why digital filters are so important in DSP.

Non-linear filters are also commonly used, especially in areas such as image processing. The median filter discussed in section 5.4 for image enhancement is a typical non-linear digital filter.

Linear systems are characterized by their impulse responses. An impulse response can either have a finite or an infinite duration. A finite impulse response h(n) has its non-zero values extending over a finite time interval and is zero beyond that interval. The following finite impulse response

h ( n ) = { h 0 , h 1 , h 2 , , h N , 0 , 0 , 0 , }

has non-zero values in the interval

and is referred to as a finite impulse response (FIR) filter or system of order N. So an Nth order FIR digital filter has an impulse response with a length of (N+1) samples. The samples of the impulse response function (h 0, h 1, etc) are usually called filter coefficients, filter weights, and filter tap coefficients/weights.

If the impulse response function has an infinite duration, we have an infinite impulse response (IIR) filter. It is obvious that IIR filters cause computational problems since we cannot compute an infinite number of terms. But the type of IIR filters that are designed have their input and output samples interrelated through a linear difference equation. The output sequence can then be computed recursively. This is the reason why IIR filters are also known as recursive filters and FIR filters as non-recursive filters.

In this chapter, we shall concentrate on FIR filters. IIR filters will be discussed in detail in the next chapter.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B9780750657983500060

Kalman Filters and Nonlinear Filters

Vytas B. Gylys , in Encyclopedia of Physical Science and Technology (Third Edition), 2003

III.C Nonlinear System Model

We now generalize the discrete-time system model defined in terms of Eqs. (2) and (3) to

(29) s k = f k 1 s k 1 , u k 1 + G k 1 s k 1 w k 1

and

(30) m k = h k s k + v k .

We do it by replacing the linear terms Φ k    1 s k    1 and B k    1 u k    1 of the linear dynamics model by a function f k (·,·), allowing the process noise-to-state transformation matrix G k    1 to depend on system state, and generalizing the state-to-measurement transformation matrix H k to a function h k (·). The subscripts attached to f, G, and h emphasize that these functions may be of time-dependent form. Furthermore, f may be nonlinear in s and possibly in u; h may be nonlinear in s. The same distributional assumptions as made for the linear discrete-time model (Assumptions 1D–4D) are used for the nonlinear model defined by Eqs. (29) and (30). Now as before, the noise is included in the model through additive terms; also, functions f and h in general are vector-valued so that their dimensions, respectively, agree with the lengths of vectors s and m. More general nonlinear system models are possible.

One could similarly define a continuous-time nonlinear system model, but we do not do it in this chapter.

Read full chapter

URL:

https://www.sciencedirect.com/science/article/pii/B0122274105003574