Control Systems/Introduction to Digital Controls
Discrete-Time Stability
editThe stability analysis of a discrete-time or digital system is similar to the analysis for a continuous time system. However, there are enough differences that it warrants a separate chapter.
Input-Output Stability
editUniform Stability
editAn LTI causal system is uniformly BIBO stable if there exists a positive constant L such that the following conditions:
![{\displaystyle x[n_{0}]=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6475aebd307d5c470fd8e34059615fcb0cd4861)
![{\displaystyle \|u[n]\|\leq k}](https://wikimedia.org/api/rest_v1/media/math/render/svg/303eccf67e1d761aa092eee351727bc3108d9e09)
imply that
![{\displaystyle \|y[n]\|\leq L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b8bf7f608ba8292dd99c8721ea388a903cfa32e)
Impulse Response Matrix
editWe can define the impulse response matrix of a discrete-time system as:
[Impulse Response Matrix]
![{\displaystyle G[n]=\left\{{\begin{matrix}CA^{k-1}B&{\mbox{ if }}k>0\\0&{\mbox{ if }}k\leq 0\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a3c7e26c324cb2aad5a5940457bfba00e3f77ce)
Or, in the general time-varying case:
![{\displaystyle G[n]=\left\{{\begin{matrix}C\phi [n,n_{0}]B&{\mbox{ if }}k>0\\0&{\mbox{ if }}k\leq 0\end{matrix}}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57c455ebe07eb605f959ad30aa1c65f4093b0783)
A digital system is BIBO stable if and only if there exists a positive constant L such that for all non-negative k:
![{\displaystyle \sum _{n=0}^{k}\|G[n]\|\leq L}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c006c870844644293fd834f0c0e1250b8fb800d)
Stability of Transfer Function
editA MIMO discrete-time system is BIBO stable if and only if every pole of every transfer function in the transfer function matrix has a magnitude less than 1. All poles of all transfer functions must exist inside the unit circle on the Z plane.
Lyapunov Stability
editThere is a discrete version of the Lyapunov stability theorem that applies to digital systems. Given the discrete Lyapunov equation:
[Digital Lypapunov Equation]
We can use this version of the Lyapunov equation to define a condition for stability in discrete-time systems:
- Lyapunov Stability Theorem (Digital Systems)
- A digital system with the system matrix A is asymptotically stable if and only if there exists a unique matrix M that satisfies the Lyapunov Equation for every positive definite matrix N.
Poles and Eigenvalues
editEvery pole of G(z) is an eigenvalue of the system matrix A. Not every eigenvalue of A is a pole of G(z). Like the poles of the transfer function, all the eigenvalues of the system matrix must have magnitudes less than 1. Mathematically:
If the magnitude of the eigenvalues of the system matrix A, or the poles of the transfer functions are greater than 1, the system is unstable.
Finite Wordlengths
editDigital computer systems have an inherent problem because implementable computer systems have finite wordlengths to deal with. Some of the issues are:
- Real numbers can only be represented with a finite precision. Typically, a computer system can only accurately represent a number to a finite number of decimal points.
- Because of the fact above, computer systems with feedback can compound errors with each program iteration. Small errors in one step of an algorithm can lead to large errors later in the program.
- Integer numbers in computer systems have finite lengths. Because of this, integer numbers will either roll-over, or saturate, depending on the design of the computer system. Both situations can create inaccurate results.