In mathematics, discretization concerns the process of transferring continuous models and equations into discrete counterparts. This process is usually carried out as a first step toward making them suitable for numerical evaluation and implementation on digital computers. In order to be processed on a digital computer another process named quantization is essential.
- Euler discretization
- Zero-order hold
Discretization is also related to discrete mathematics, and is an important component of granular computing. In this context, discretization may also refer to modification of variable of category granularity, as when multiple discrete variables are aggregated or multiple discrete categories fused.
Discretization of linear state space models
The following continuous-time state space model
where v and w are continuous zero-mean white noise sources with covariances
can be discretized, assuming zero-order hold for the input u and continuous integration for the noise v, to
- , if is nonsingular
and T is the sample time.
A clever trick to compute Ad and Bd in one step is by utilizing the following property, p. 215 :
and then having
Discretization of process noise
Numerical evaluation of is a bit trickier due to the matrix exponential integral. It can, however, be computed by first constructing a matrix, and computing the exponential of it (Van Loan, 1978):
The discretized process noise is then evaluated by multiplying the transpose of the lower-right partition of G with the upper-right partition of G:
Starting with the continuous model
we know that the matrix exponential is
and by premultiplying the model we get
which we recognize as
and by integrating..
which is an analytical solution to the continuous model.
Now we want to discretise the above expression. We assume that u is constant during each timestep.
We recognize the bracketed expression as , and the second term can be simplified by substituting v = kT + T − τ. We also assume that is constant during the integral, which in turn yields
which is an exact solution to the discretization problem.
Exact discretization may sometimes be intractable due to the heavy matrix exponential and integral operations involved. It is much easier to calculate an approximate discrete model, based on that for small timesteps . The approximate solution then becomes:
which can further be approximated if is small; yielding
Other possible approximations are and . Each of them have different stability properties. The last one is known as the bilinear transform, or Tustin transform, and preserves the (in)stability of the continuous-time system.
Discretization of continuous features
In statistics and machine learning, discretization refers to the process of converting continuous features or variables to discretized or nominal features. This can be useful when creating probability mass functions.
- ^ Raymond DeCarlo: Linear Systems: A State Variable Approach with Numerical Implementation, Prentice Hall, NJ, 1989
- Robert Grover Brown & Patrick Y. C. Hwang: Introduction to random signals and applied Kalman filtering, 3rd ed.
- Chi-Tsong Chen: Linear System Theory and Design.
- C. Van Loan: Computing integrals involving the matrix exponential, IEEE Transactions on Automatic Control, vol.23, no.3, pp. 395–404, Jun 1978
Wikimedia Foundation. 2010.