Improvement of the Asymptotic Properties of Zero Dynamics for Sampled-Data Systems in the Case of a Time Delay
It is well known that the existence of unstable zero dynamics is recognized as a major barrier in many control systems, and deeply limits the achievable control performance. When a continuous-time system with relative degree greater than or equal to three is discretized using a zero-order hold (ZOH), at least one of the zero dynamics of the resulting sampled-data model is obviously unstable for sufficiently small sampling periods, irrespective of whether they involve time delay or not. Thus, attention is here focused on continuous-time systems with time delay and relative degree two. This paper analyzes the asymptotic behavior of zero dynamics for the sampled-data models corresponding to the continuous-time systems mentioned above, and further gives an approximate expression of the zero dynamics in the form of a power series expansion up to the third order term of sampling period. Meanwhile, the stability of the zero dynamics is discussed for sufficiently small sampling periods and a new stability condition is also derived. The ideas presented here generalize well-known results from the delay-free control system to time-delay case.
It is well known that unstable zero dynamics limit the control performance that can be achieved. Some techniques based on zero dynamics cancellation for control system design are hard to be applied when a plant has unstable zero dynamics [1, 2]. When a continuous-time system is discretized by a sampler and a zero-order hold (ZOH), stable poles are transformed into the unit circle. The transformations of zero dynamics, however, are much more complicated and the stability of zero dynamics is not preserved in the discretization process in some cases . It is generally impossible to derive a closed-form expression that relates the continuous-time zero dynamics with the discrete-time ones because the zero dynamics of discrete-time systems depend on sampling period . Therefore, the analysis of zero dynamics has a great deal of interest [1–7].
Perhaps the first attempt to study discrete system zero dynamics was given by Åström and coworkers , who described the asymptotic behavior of the discrete-time zero dynamics for fast sampling rate when the original continuous-time plant is discretized with ZOH. More research for discrete zero dynamics has been shown in the past decade, and these known results present the asymptotic characterization of zero dynamics for the discretized systems without time delay [8–15]. However, time delay of controlled systems inherently exists in many mechanical engineering applications and therefore must be integrated into system models. In fact, it is inevitable that the influence of time delay on digital control system must be considered because it also occurs frequently in information transmission between elements or systems, transport of controls and sensors, data computation, and so forth. Hence, it is important to investigate the asymptotic properties of zero dynamics in the sampled-data models corresponding to the continuous-time plants with time delay for the digital control system design.
Anyway, one would reasonably expect similar results in the case of delay-free systems to hold for time-delay plants. However, the situation for the time-delay case is more complex than for delay-free models. Indeed, to the best of our knowledge, an explicit characterization of the zero dynamics for time-delay systems has previously remained unresolved, although an implicit characterization has been given in [16–18].
On the other hand, from the view point of the stability of the discrete zero dynamics, attention is here focused on continuous-time systems with relative degree equal to two. Furthermore, when the relative degree of a continuous-time transfer function with time delay is two, discrete zero dynamics, especially sampling zero dynamics, are located just on the unit circle, that is, in the marginal case of the stability when the sampling period tends to zero. Thus, the asymptotic behavior of the sampling zero dynamics is an interesting issue because it is stable for sufficiently small sampling periods if it approaches the unit circle from inside as the sampling period tends to zero.
Nevertheless, many problems remain unsolved in spite of the constant efforts. It is still interesting to find out the asymptotic properties on the zero dynamics of the sampled-data models with time delay and to derive new stability criteria of the zero dynamics though the impact of the stability of zero dynamics in sampled-data time-delay models may not have been strong in control engineering applications. In this paper, we present an approximate sampled-data model for a continuous-time-delay system, which is accurate to some order in the sampling period. We also show how a particular strategy can be used to approximate the system output and state variable and their derivatives in such a way as to obtain an approximate expression of discrete zero dynamics by Taylor expansion with respect to a sampling period up to the third order term. An insightful interpretation of the proposed results can be made in terms of an explicit characterization of these zero dynamics. Moreover, the zero dynamics turn out to be identical to those found in the delay-free case. Thus, the current paper extends the well-known notion of zero dynamics from the delay-free case to time-delay system.
The layout of the paper is structured as follows. In Section 2, we review the results of time delay and basic concepts. Section 3 presents the main result of this paper, namely, the asymptotic behavior of zero dynamics in the case of time delay and relative degree two. The numerical simulation is represented in Section 4. Finally, conclusions are presented in Section 5.
In the present study, we consider a class of the following single-input single-output th-order continuous-time control systems with time delay and state-space representations of the form where is the vector of the states evolving in an open subset , is the input variable, and is the system constant time delay that directly affects the input. It is assumed that the vector fields and and the output function are analytic.
We are interested in the sampled-data model for the linear systems when the input is a piecewise constant signal generated by a ZOH. Thus, for a sampling period ,
Furthermore, we suppose the time delay and mesh are related as follows: where and . Equivalently, the time delay is customarily represented as an integer multiple of the sampling period plus a fractional part of [19, 20]. Under the ZOH assumption and the above notation, it is rather straightforward to verify that the “delayed” input variable attains the following two distinct values within the sampling interval :
When the relative degree of a continuous-time system with time delay is two, we consider the continuous-time transfer function of a control system (1): where , and , are real coefficients and is the time delay. As it can be easily inferred from (5), the input variable remains constant within the two subintervals: , . One readily obtains from which in which the final equation of (7) is supported from the Appendix, and notice here that and and further, where
Remark 1. Expression (7) represents the sampled-data representation of the original continuous-time system (5) with time delay . Note that the value of the state vector at is a linear combination of the states evaluated at and the past values of the input variable at and .
The paper treats systems with relative degree two because at least one of the zero dynamics is unstable when the relative degree is greater than or equal to three though it is slightly a limitation.
First, the following assumptions are introduced.
Assumption 1. The unique equilibrium point lies on the origin.
Assumption 2. The continuous-time linear system (1) has the uniform relative degree and is minimum phase in the open subset , where the state evolves.
These assumptions ensure that there is a coordinate transformation such that we express the system in its normal form. The normal form of (5) with relative degree two, , is represented with an input and an output as [22, 23] where and the scalars and are obtained from where
When a ZOH is used and the relations are taken notice of input-output relations, the normal form (9) yields the derivatives of the output Further, the derivatives of are also represented as Hence, substitute (13)–(14) into the right hand side of and define the state variables , then discrete-time state equations are obtained.
Now, the zero dynamics of the discrete-time system (15) are analyzed using the explicit expressions of and as follows:
3. Main Results
In this section, an approximate expression of zero dynamics of a discrete-time system with time delay and relative degree two is obtained from (15). The main result is given by Theorem 2.
Theorem 2. The zero dynamics of a discrete-time system with time delay and relative degree two for a continuous-time transfer function (5) are approximately given for by the roots of where
Proof. Zero dynamics of a discrete-time system with time delay and relative degree two (15), equivalently (16), are given by substituting into (16) as follows:
where , , , and are the -transforms of , , , and , respectively, and the matrix is defined by
Thus, the zero dynamics are derived from
Here, consider matrices , , and which are defined by neglecting the higher-order terms with respect to in the block matrices , and because the interests lie in the case of .
Multiplying and by from the right hand side and by where from the left hand side and further multiplying the result by where from the left hand side yield where
Noting here that , leads to Hence, the approximate values of the zero dynamics of the discrete-time system with time delay and relative degree two are obtained as the roots of (17).
As a result, the proof is complete.
Remark 3. The approximate values of the sampling zero dynamics are expressed as and the approximate values of the intrinsic zero dynamics are derived from
Remark 4. An insightful observation in Theorem 2 is that it clearly gives the approximate values with higher order of accuracy than the previous result [16, 17] in the form of a power term of .
Remark 5. When the ZOH signal reconstruction device is used, notice here that the delay-free discrete-time systems can be considered as a particular case of the discretized plants with time delay when and .
In particular, consider the simplest possible system of relative degree two, namely, . Then we have the corresponding sampling zero dynamics in the case of a time delay
It is easy to obtain the following corollary and theorem from Theorem 2. The following corollary shows the asymptotic behavior of the sampling zero dynamics when a continuous-time system has a time delay and relative degree two, and the sum of the zero dynamics of a continuous-time system is equal to the sum of the poles; that is, . A new stability condition of the zero dynamics, which is shown in the following theorem, for discrete-time system with time delay and relative degree two (5) is also presented by analyzing (32).
Corollary 6. Assume that the relative degree of a continuous-time system is two, and . The sampling zero dynamics of a discrete-time system corresponding to a continuous-time transfer function with time delay (5) are expressed as
Theorem 7. Consider a transfer function with time delay in the case of relative degree two (5). Then, for sufficiently small sampling periods, all the zero dynamics of the corresponding sampled-data model (15) are stable if all the zero dynamics of (5) are stable and
Proof. First, we have
Next, it is obvious that all of the zero dynamics are stable, that is, located strictly inside the unit circle when satisfying by selecting the suitable parameters , , sampling period , and time delay . Simple straightforward calculation can verify that all the discretized zero dynamics are stable if (36) holds.
As a result, the proof is complete.
Remark 8. When a continuous-time system with time delay reduces to a delay-free model, stability of the corresponding discrete-time zero dynamics can be decided by , that is, the difference between the sum of the zero dynamics and that of the poles for a continuous-time plant. In particular, when , then the corresponding discretized system has the stable zero dynamics if .
Remark 9. A key interpretation is given in terms of an explicit characterization of the discretized zero dynamics of the obtained model. Of particular interest is that the contribution of this paper on the linear single-input single-output cases with time delay can be extended the multivariable time-delay systems and further will be generalized the nonlinear plants in the case of a time delay.
4. Numerical Simulation
In this section, we present an interesting example to show the stability of discrete zero dynamics with time delay and relative degree two. It has been also shown that the stability of zero dynamics, in the case of a time delay and relative degree two, will be improved by comparing with the previous results. Both kinds of the zero dynamics are calculated by applying MATLAB, and in the simulation figures, the solid line (blue) and dotted line (red) indicate the exact values and approximate values, respectively.
Consider a transfer function with time delay and relative degree two, and the sum of the zero dynamics is equal to the sum of the poles as follows: It is obvious that The intrinsic zero dynamics and the sampling zero dynamics , are expressed approximately as, respectively,
We can easily determine that the stability of the sampling zero dynamics can be satisfied by choosing design parameters , , , and of (36). Without loss of generality, let the time delay for a sufficiently small sampling period and select the suitable design parameters and ; then the approximate values (17) and the exact values of zero dynamics of the discrete-time system with time delay and relative degree two for the transfer function (39) are shown in Table 1 and corresponding figures, where the sampling zero dynamics and intrinsic zero dynamics are, respectively, shown in Figures 1 and 2.
As you can see in these table and figures, (17) gives good approximation and the sampling zero dynamics can lie inside the unit circle for a sufficiently small sampling period by satisfying condition (36).
This paper analyzes the asymptotic behavior of zero dynamics for a discrete-time system when a continuous-time system with a time delay is explicitly discretized in the case of a ZOH and relative degree two. Moreover, we also give an approximate expression of the zero dynamics for the discrete systems with time delay as power series expansions up to the third order term with respect to sampling periods. Further, in this case, the stability of discrete zero dynamics is discussed for sufficiently small sampling periods and a new stability condition is also derived. The idea of this paper is a further extension from the delay-free cases to the time-delay systems.
Assumptions 1 and 2 ensure the existence of the normal form for the linear time-delay system. When the input signal is generated by a ZOH, we first apply the Taylor formula with remainder to the system output and its derivatives with respect to a sampling period up to the order term at any point . However, owing to the existence of time delay, it is difficult to derive directly the corresponding discrete-time models. Therefore, we present an approximate sampled-data model for linear system with time delay by means of multiple step approach. Namely, apply the higher-order Taylor expansion formula in the sampling periods such as
Without loss of generality, assume that and ; then (, is an integer). In the time interval , when the input is a , one can obtain for sufficiently small sampling periods that where
Denote then where
Similarly, in the other time interval , we can also give approximate asymptotic expressions of the outputs as power series expansions with respect to a sufficiently small sampling period when the input is the constant value . Deleting leads to the approximate expressions of : where in which
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors gratefully acknowledge the financial support of the National Basic Research Program of China (“973” Grant no. 2013CB328903), the National Natural Science Foundation of China under Grant no. 60574003, and Natural Science Foundation Project of CQ CSTC under Project no. cstc2012jjA40026 and Project no. CDJXS12170006 supported by the Fundamental Research Funds for the Central Universities. And the authors also gratefully acknowledge the helpful comments and suggestions of the viewers, which have improved the presentation.
K. J. Åström, P. Hagander, and J. Sternby, “Zeros of sampled systems,” Automatica, vol. 20, no. 1, pp. 31–38, 1984.View at: Publisher Site | Google Scholar | MathSciNet
C. Zeng, S. Liang, H. Li, and Y. Su, “Current development and future challenges for zero dynamics of discrete-time systems,” Control Theory & Applications, vol. 30, no. 10, pp. 1213–1230, 2013 (Chinese).View at: Google Scholar
T. Hagiwara, T. Yuasa, and M. Araki, “Stability of the limiting zeros of sampled-data systems with zero- and first-order holds,” International Journal of Control, vol. 58, no. 6, pp. 1325–1346, 1993.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
T. Hagiwara, “Analytic study on the intrinsic zeros of sampled-data systems,” IEEE Transactions on Automatic Control, vol. 41, no. 2, pp. 261–263, 1996.View at: Publisher Site | Google Scholar | MathSciNet
M. J. Blachut, “On zeros of pulse transfer functions,” IEEE Transactions on Automatic Control, vol. 44, no. 6, pp. 1229–1234, 1999.View at: Publisher Site | Google Scholar | MathSciNet
S. R. Weller, “Limiting zeros of decouplable MIMO systems,” IEEE Transactions on Automatic Control, vol. 44, no. 1, pp. 129–134, 1999.View at: Publisher Site | Google Scholar | MathSciNet
M. Ishitobi, “A stability condition of zeros of sampled multivariable systems,” IEEE Transactions on Automatic Control, vol. 45, no. 2, pp. 295–299, 2000.View at: Publisher Site | Google Scholar | MathSciNet
A. Isidori, “The zero dynamics of a nonlinear system: from the origin to the latest progresses of a long successful story,” European Journal of Control, vol. 19, no. 5, pp. 369–378, 2013.View at: Publisher Site | Google Scholar
S. Liang and M. Ishitobi, “Properties of zeros of discretised system using multirate input and hold,” IEE Proceedings: Control Theory and Applications, vol. 151, no. 2, pp. 180–184, 2004.View at: Publisher Site | Google Scholar
S. Liang, M. Ishitobi, and Q. Zhu, “Improvement of stability of zeros in discrete-time multivariable systems using fractional-order hold,” International Journal of Control, vol. 76, no. 17, pp. 1699–1711, 2003.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
J. I. Yuz and G. C. Goodwin, “On sampled-data models for nonlinear systems,” IEEE Transactions on Automatic Control, vol. 50, no. 10, pp. 1477–1489, 2005.View at: Publisher Site | Google Scholar | MathSciNet
S. Liang, X. Xian, M. Ishitobi, and K. Xie, “Stability of zeros of discrete-time multivariable systems with gshf,” International Journal of Innovative Computing, Information and Control, vol. 6, no. 7, pp. 2917–2926, 2010.View at: Google Scholar
S. Liang, M. Ishitobi, W. R. Shi, and X. D. Xian, “On stability of the limiting zeros of discrete-time MIMO systems,” Acta Automatica Sinica, vol. 33, no. 4, pp. 439–442, 2007.View at: Publisher Site | Google Scholar | MathSciNet
U. Ugalde, R. Bárcena, and K. Basterretxea, “Generalized sampled-data hold functions with asymptotic zero-order hold behavior and polynomic reconstruction,” Automatica, vol. 48, no. 6, pp. 1171–1176, 2012.View at: Publisher Site | Google Scholar | MathSciNet
M. Ishitobi, T. Koga, M. Nishi, and S. Kunimatsu, “Asymptotic properties of zeros of sampled-data systems,” in Proceedings of the 49th IEEE Conference on Decision and Control (CDC '10), pp. 4952–4957, Atlanta, Ga, USA, December 2010.View at: Publisher Site | Google Scholar
S. Hara, “Properties of zeros in digital control systems with computational time delay,” International Journal of Control, vol. 49, no. 2, pp. 493–511, 1989.View at: Publisher Site | Google Scholar | MathSciNet
M. Ishitobi, “Stable zeros of a discrete system obtained by sampling a continuous-time plant with a time delay,” International Journal of Control, vol. 59, no. 4, pp. 1053–1062, 1994.View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
S. Liang and M. Ishitobi, “The stability properties of the zeros of sampled models for time delay systems in fractional order hold case,” Dynamics of Continuous, Discrete & Impulsive Systems B: Applications & Algorithms, vol. 11, no. 3, pp. 299–312, 2004.View at: Google Scholar | MathSciNet
K. J. Astrom and B. Wittenmark, Computer Controlled Systems: Theory and Design, Prentice-Hall, Englewood Cliffs, NJ, USA, 2nd edition, 1990.
G. F. Franklin, J. D. Powell, and M. L. Workman, Digital Control of Dynamic Systems, Addison-Wesley, New York, NY, USA, 1998.
R. J. Vaccaro, Digital Control, McGraw-Hill, New York, NY, USA, 1995.
H. Khalil, Nonlinear Systems, Prentice Hall, Upper Saddle River, NJ, USA, 3rd edition, 2002.
A. Isidori, Nonlinear Control Systems, Berlin, Germany, Springer, 3rd edition, 1995.