Research Article | Open Access
B. L. Hernández-Galván, J. A. López-Rentería, B. Aguirre-Hernández, G. Fernández-Anaya, "Robust Stability in Discrete Control Systems via Linear Controllers with Single and Delayed Time", Mathematical Problems in Engineering, vol. 2018, Article ID 3674628, 11 pages, 2018. https://doi.org/10.1155/2018/3674628
Robust Stability in Discrete Control Systems via Linear Controllers with Single and Delayed Time
In this work, a discrete feedback of single and a delayed time is introduced in a LTI control discrete system, yielding a monoparametric family of LTI systems. A polynomial approach technique to compute the maximal robust stability interval of the monoparametric system with single and delayed time controller is developed by using the zero exclusion principle and the boundary crossing theorem. Illustrative examples are given to show the technique.
Discrete LTI control systems have been object of study and design in the last years due to the great quantity of applications as in digital devices as well in mechanical plants and others. Particularly, the discrete-time control systems of interest are the so-called SISO (single input-single output), which are LTI (linear time invariant [1–4]). It is well known that the internal evolution of the system is determined by its poles (also referred to as the eigenvalues of its associated matrix in state space representation) which can be computed by finding the roots (zeroes or solutions) of its characteristic polynomial. One of the most worked problems concerning the dynamics of a system is the stabilization problem. Namely, a LTI discrete system is BIBO stable (bounded input-bounded output) if and only if its transfer function has no poles with modulus greater than or equal to one. That is, the poles of the system must lie inside the open unit complex disk. This class of stability for discrete systems is also called Schur stability ([5–8]). In this sense, a linear discrete-time invariant system is said to be stable if and only if its characteristic polynomial is a Schur polynomial. A polynomial is said to be stable if its roots lie in the stability zone (in our case of study, the stability zone is the open unit complex disk for Schur stability). There exists a lot of criteria to determinate the Schur stability of a polynomial, as the Schur-Cohn and Jury’s criterion [9–12]. In [13, 14], modified Schur-Cohn and Jury’s criterion are given. With respect to polynomial families in topological sense, sufficient conditions to determine an interval of Schur polynomials are given in [15–17]; techniques to locate the roots inside the unit circle of a polytope of polynomials are developed; moreover, a robust Hurwitz stability criterion for polynomial intervals is proposed in  based on Kharitonov rectangles and in  set values are given for polynomials Schur stable, while a method to study the Schur stability of a segment of polynomials was reported recently in . Concerning rays of polynomials, the case of finding the maximal Hurwitz stability (roots with negative real part) interval was solved by Bialas in 1985 . An improved technique to determinate the Hurwitz stability of the ray was given in , and these results are used in  in order to generate chaos. Good references where the stability of families of polynomials can be consulted are in the books [5–7].
A related problem is the inclusion of discrete controllers with single delays; for instance, in  a technique to determinate an interval of Schur stability for sample-data systems with a delayed control is given and in  Schur stability in linear discrete-time systems with single-delay using the method of Lyapunov functions is studied. In the following work, we shall provide a technique that ensure the Schur stability of a ray of polynomials, which is the characteristic family of polynomials of a linear discrete-time system in closed-loop with a feedback linear control in both single and delayed time.
The rest of the paper is organized as follows: In Section 3, the description of the system is given as well as the problems statement. In Section 4, preliminary tool to solve the proposed problems is introduced. The main results are provided in Section 5 which is divided into three subsections: In Section 5.1, generalizations of the boundary theorems in its discrete version are shown; in Section 5.2, the obtained generalizations are applied on a technique to find the maximal robust Schur stability interval of the uncertainty present on a polynomial ray, and, therefore, robust stability of a discrete LTI system in closed-loop with a linear controller. An illustrative example that shows the technique is also given. Finally, in Section 5.3 the technique is extended to discrete control systems with a controller in single time-delay and applied to an example.
2. Basic Notations
: set of natural numbers : set of real numbers : set of tuples of real numbers : set of real square matrices of size : set of complex numbers : set of complex numbers with negative real part : set of complex numbers with positive real part : imaginary pure complex numbers-complex axis : open unit complex disk-complex numbers with modulus less than 1 : boundary of the set : closure of the set : difference between sets-set without elements in common with : set of zeroes (roots) of the function (polynomial) : determinant of a square matrix .
3. Problems Statement
Consider the discrete LTI control systemwhere is the states variable vector, and are given in controllable canonical form (also called Jerk realization) as and is the linear actuator of the system. The open-loop characteristic polynomial is , where is the complex -transform variable.
Case 1. For system (1) with feedback control , with , the closed-loop characteristic polynomial is the ray of polynomials , where .
Case 2. For system (1) with the feedback control , where and , the closed-loop characteristic polynomial is the ray of polynomials (further details about this characteristic polynomial will be given in Section 5.3).
If we suppose that is a Schur polynomial, then we can to perturb the parameter of the controller (for both of the Cases 1 and 2) to keep stability. Then, the objective is to compute the maximal perturbation of , that is, the minimum and the maximum , to obtain and , respectively, such that system (1) has poles inside the unit complex disk for all in the maximal stability interval . In other words, the system is robustly Schur stable in the maximal stability interval . Any other subset is just an interval of robust stability. The technique will be based on the boundary theorems: the zero exclusion principle (ZEP) and the boundary crossing theorem (BCT).
4.1. The Boundary Theorems Generalized
Let us consider the complex plane and let be any given open set. We know that , its boundary , and the complement form a disjoint partition of the complex plane. In the following we give the tool used in  to find the maximal Hurwitz stability interval for a ray of real polynomials. The discrete versions are given in the following section of main results.
The classical boundary theorems consider the following hypothesis.
Hypothesis 1. Consider the polynomial familyin the variable and uncertainty parameter , satisfying the following:(i)having fixed degree ,(ii)with continuous coefficients with respect to on a fixed interval .
The generalizations of the boundary theorems used in  also use the same hypothesis for the roots criterion by taking which is the Hurwitz stability zone. In the following we shall give a version of them.
Theorem 1 (generalization of BCT). Under Hypothesis 1, suppose that has roots in and roots in , and has roots in and roots in . If , then there exists at least one in such that(i) has at least roots in ,(ii) has at least roots in ,(iii) has at least one root in .
Similarly, under the same hypothesis and with the same stability zone , the generalization of the zero exclusion principle is given as follows.
Theorem 2 (generalization of ZEP). Consider the polynomial family under Hypothesis 1. Suppose that for some the family has roots in and roots in . Then the entire family keeps roots in and roots in if and only if
An important result that is used to prove the previous generalized theorems is the continuous dependence of roots (CDR), which establishes the preservation of continuity between roots and coefficients of a polynomial family.
Lemma 3 (CDR, ). Consider the monoparametric family of polynomials under Hypothesis 1. Then the roots of vary continuously with respect to . That is, there exist continuous mappings for such that are the roots of
5. Main Results
We have divided this section in three parts. In the Section 5.1 we present adaptation of the before generalizations theorems to discrete case. In Section 5.2, boundary theorems based technique for calculating the maximal Schur stability interval for a discrete family of systems using linear feedback with single time is developed. And in Section 5.3 the technique is extended to a single time-delay controller.
5.1. The Discrete Generalized Boundary Theorems
It is not too hard to see that the generalizations of the boundary theorems can be easily adaptable in the case of instead of . However, it is necessary to present the discrete version of these generalizations in order to apply them in the aforementioned technique.
Remark 4. The polynomials to consider come from a real discrete control system whose characteristic polynomial comes from the -transform applied to the discrete system. Thus, all of the polynomials to deal with in the coming development have real coefficients and complex variable instead of .
Theorem 5 (discrete BCT generalized). Consider the polynomial family on the complex variable under Hypothesis 1. Suppose that has roots in and roots in ; and has roots in and roots in . Then, if there exist at least one in such that (i) has at least roots in ,(ii) has at least roots in ,(iii) has at least one root in .
Proof. Since satisfies Hypothesis 1, then by Lemma 3 there exist continuous function roots of , say . Without loss of generality we can suppose that, for , we have that and, for , we have that . Since , by continuity at least one root traveled through the complex plane collapsing into for some , resulting in the items claimed.
Similarly, the generalized zero exclusion principle can be adapted to the discrete case in the following way.
Theorem 6 (generalization of ZEP). Consider the polynomial family under Hypothesis 1. Suppose that for some the family has roots in and roots in . Then, the entire family keeps roots in and roots in if and only if
Proof. If all of the elements of the family have roots in and roots in , then it is clear that there are no roots in the unit circumference . Therefore, , for all and for all . Suppose that for all and for all . Let us proceed by contradiction. Suppose that there is such that the polynomial has roots in and roots in with . Then, from Theorem 5, there exists a such that for some , which is a contradiction.
5.2. The Roots Criterion for Discrete-Time Linear Systems
Next, we shall develop the technique to compute the maximal Schur stability interval. Let be an -fixed degree polynomial and be a polynomial such that . We desire to find the values of around such that the ray has roots inside . Since is a Schur polynomial, then has roots outside . Thus, the discrete generalized zero exclusion principle will be applied to the family , which has roots inside and roots outside for . The idea is to extend to the maximum interval for where the zero exclusion principle is satisfied and, therefore, we obtain robust stability. Firstly, let us carry in a suitable form.
By evaluating and in we get whereThus, the family can be written asNow, since , the family evaluated in the unit circle becomes onNext, define the functionsThence, we can rewrite asand this is the polynomial family form to be applied the zero exclusion principle in order to compute the maximal stability interval.
Remark 7. Some properties of , and are as follows:(i), for all .(ii) is an odd function and , .(iii) is an even function.
Proof. Before anything, it is not hard to see that , , , , , and .
Proof of (i): , since , for all , since is Schur.
Proof of (ii): and similarly . Now, if , then and consequently, is an odd function.
Finally, proof of (iii):and, therefore, is an even function.
Item (ii) shows that , are always zeroes of and if then its conjugate is also a zero of . In the incoming development it will be shown a condition where in item (iii).
Let denote the set of zeroes for a function . In our case of studio we have the variable ; thus the set is the set of zeroes of modulo . With the functions , , and defined above, let us define the setsIf there are no elements in such that , then we will define . Similarly, if there are no elements in such that , then we will define .
Finally, the method to compute the maximal robust Schur stability interval is derived in the following result.
Theorem 8. Let be a real Schur polynomial and consider any real polynomial , with . Then, the maximal Schur stability interval for the monoparametric polynomial family is , where
Proof. The proof will be based on the discrete generalized zero exclusion principle applied to ; since , the polynomial has roots in and roots in . That is, we have a member of the family with roots inside the open unit disk and inside its open complement. Thus, it is necessary to find the minimum and the maximum such that , for all and for all and keep the quantity of roots in each zone. If satisfies , then and therefore we seek the maximum and the minimum such that ; that is, for some and . Consequently, the following system must be solved:For each , the before system has solution by taking . Now, if , then , and then . Consequently, is positive if and is negative if . Notice that all the values of satisfying system (19) are determined by the zeroes of . Therefore, is positive if and it is negative if , . Thence, the maximum and minimum satisfying for are, respectively, given byFinally, if (, resp.), then (, resp.), and this ends the proof.
Remark 9. If we suppose that , zeroes must not be considered such that ; if so, then , no matter the values of , which is a contradiction since for all , by the fact that is a Schur polynomial.
Remark 10. Note that extends any interval for the uncertainty to keep stability of the ray and such that the family satisfies the zero exclusion principle in the closure .
Example 11. Consider the discrete-time systemhaving as characteristic polynomial to , which is trivially Schur stable. If we need to design the feedback , then we obtain the polynomial and the polynomial family . We will now compute the maximal stability interval with our proposed method. Evaluate the polynomials and in the unit circle to obtainThus,Note that just zeroes of must be considered. Now, it is not hard to see that can be written as and, thence, its zeroes set is . One can see that ; therefore will not be considered in and . Next, Therefore,Finally, system (19) is stable for all . That is, all of its poles lie inside the unit circle for all .
Recall that the characteristic equation is Schur stable. In Figure 1, one can see the Nyquist diagram intersecting the point of -1+0i for the extreme values of the maximal stability interval obtaining instability in the system, while, in Figure 2, stability for the system arises for values of the gain within the interval of robustness; moreover, in Figure 3 the point -1+0i is encircled by the Nyquist diagram for a value not in the computed interval. Finally, robust stability is depicted by the set values in Figure 4, since origin is excluded and there is a Schur stable polynomial member of the family for .
5.3. The Roots Criterion for Discrete Systems with Single Time-Delay Control
Consider the discrete-time system with a single time-delaywith , whose stability is in charge of the roots of its characteristic equation given by .
Based on the aforementioned reference, we shall consider the control systemwherefor which the linear delayed control , with , endows the system (27) with a single time-delay as required in system (26).
Lemma 12. The closed-loop characteristic equation of system (27) is given by the ray , where and .
Proof. If we closed-loop system (27) with the control the following arises:and by taking , we get that the characteristic equation is as we claim.
In the same essence as the technique in single time case, by evaluating in the unit complex circle we get where , and are the functions given in (7). The product to consider in this case is . Thus, in can be written as Define, , and are the functions defined in (10). Note that if , we recover the single time case from the previous section. Write then the family in the form for defined in (10). Analogous to the sets and from (14), let us define the setsThence, the following result is held.
Theorem 13. Let be a real Schur polynomial and consider any real polynomial , with . Then, the maximal Schur stability interval for the monoparametric polynomial is , where
Proof. It is analogous to the proof of Theorem 8.
Remark 14. As in Remark 9, we must not consider zeroes such that , since which is a contradiction due to the fact that for all , by the fact that is a Schur polynomial.
Example 15 (Phillips and Nagle (1995) ). Consider the digital system described by the difference equationThen, the change of variables and transforms the difference equation (38) in to the states variable systemWe may express these equations in state variable representation as where and . The open-loop characteristic polynomial of the system is with roots and , which indicates that the open-loop system is Schur stable. Let us design the feedbackto obtain the polynomial and the closed-loop characteristic polynomial familyThence, by evaluating , the following complex functions arise: and, consequently,Therefore, if the directly involved functions , , and are given by The change of variable in the function arises at the roots , , and . Consequently, , , and are real zeroes of . Moreover, it is not hard to see that and are also roots of . Thence, Therefore, Consequently, the discrete system (38), with the delayed time feedbackhas all of its roots inside the unit complex disk (and then, stable) Since the extremes of the maximal stability interval are so close to each other, a Nyquist diagram becomes sensible under the choice of gains. Consequently, it is hard to see that the Nyquist plot passes throught the point -1+0i. However, since the closed-loop characteristic equation is Schur stable, in Figure 5 stability is depicted by Nyquist diagram (-1+0i point not enclosed) where values of the gain belong to and in Figure 6 instability (-1+0i point enclosed) is depicted for gains not in . In Figure 7, one can see that the origin is excluded from the set values for and since is Schur stable, then the whole polynomial family is robustly stable.