 Research
 Open access
 Published:
Robustness of proper dynamic output feedback for discretetime singularly perturbed systems
Advances in Difference Equations volume 2017, Article number: 384 (2017)
Abstract
In this paper, the dynamic output feedback control problem of discretetime singularly perturbed systems is considered based on the reducedorder technique. We first show that a proper but not strictly proper dynamic output feedback controller designed for the reducedorder model generally is not a stabilizing compensator for the original system, even though the fast subsystem is stable. To obtain the robustness of the dynamic output feedback controller, an auxiliary system is designed. Based on this, the design of the dynamic output feedback for the reducedorder subsystem is reduced to the simultaneous design of a static output feedback controller for the fast subsystem and a strictly proper dynamic output feedback controller for the auxiliary system, respectively. Based on the obtained results, we confirm that it is possible to generate the robustness for the proposed dynamic output feedback control. Thus, the restriction on the strict properness can be alleviated. Finally, a realistic practical example for the nuclear reactor model is provided to show the effectiveness of the obtained theoretical results.
1 Introduction
The problem of controller design for singularly perturbed systems has attracted the attention of many researchers for many years [1–4]. A common method adopted to deal with such systems is based on the twotimescale decomposition technique, which can effectively alleviate the ill condition and high dimensionality resulting from the interaction of slow and fast subsystems [1]. Due to the great development of information technique, the design of the feedback controller for discretetime singularly perturbed systems has been investigated by many studies, and some important results have also been obtained despite being in much fewer numbers than the continuous case [5–15].
In the past years, the linear matrix inequality (LMI) technique has been widely proposed to solve control problems [16]. In contrast to the Riccati approach, the LMIs that arise in a system and control theory can be formulated as convex optimization problems that are amenable to compute a solution and can be solved effectively. Another advantage of the LMI is the ability to add constraints to the parametrical optimization problem provided they are linear with respect to unknowns. Recently, many important results for discretetime singularly perturbed systems have been obtained by using the LMI technique [17–22]. It is shown in [19] and [20] that an LMI approach has been proposed to solve the \(H _{\infty }\) control problems for the discretetime singularly perturbed systems. However, some inequalities were used in the derivation of solvability conditions, which would lead to some conservatism. For this, references [21] and [22] present new LMI sufficient conditions to improve the results.
On the other hand, it can be seen that most of the above results are based on the state feedback. However, in most practical control systems, not all the state variables are directly measurable. In this case, it is necessary to design an output feedback controller. In general, the output feedback control is addressed by the following ways: static output feedback, observerbased output feedback and dynamic output feedback. Compared with the first two cases, the dynamic output feedback is more effective to improve the closedloop transient response. However, in exchange, the design of the dynamic output feedback controller is more complex and difficult. Thus, there are few works reported on this topic [23–27]. It is shown in [27] that the dynamic output feedback controller designed for the slow subsystems and the fast subsystems must be strictly proper. Otherwise, a proper dynamic output feedback may destabilize the stable boundary system unless the system has a particular structure. Moreover, only the theoretical results are given in [23–26], how to search an effective approach to solve the gain matrices of the dynamic output feedback controller has not been discussed. Therefore, when revisiting this problem, we find that there is still much room left for improvement, which motivates the present study.
In this paper, we focus on the problem of designing a proper but not strictly proper dynamic output feedback controller for a class of fast sampling discretetime singularly perturbed systems using the reducedorder model. By constructing an auxiliary system for the slow subsystem, the design of the dynamic output feedback controller for the slow subsystem is reduced to the simultaneous design of the static output feedback controller for the fast subsystem and the strictly proper dynamic output feedback controller for the auxiliary system, respectively. Thus, asymptotic stability of the resulting closedloop system is guaranteed when the perturbation parameter is sufficiently small. Finally, a realistic practical example for the nuclear reactor model is provided to illustrate the derived results. Compared with the existing results, the developed method in this paper has the following advantages: (1) the proposed method links the reduced technique and the LMI together, which not only alleviates the high dimensionality and ill condition resulting from the interaction of slow and fast dynamics models, but also avoids the regularity restrictions attached to the Riccatibased solutions; (2) the developed results show that the proposed sufficient condition has alleviated the requirement on the strict properness; (3) the presented condition can be easily verified because it only depends on the solution of a linear matrix inequality.
Notation: Throughout this paper the superscripts ‘T’ and ‘−1’ stand for the transpose of a matrix and the inverse of a matrix, respectively; the notation \(P > 0\) (or \(P \ge 0\)) means that P is symmetric and positive definite (or semipositive definite); \(\lambda (A)\) stands for the eigenvalues of the matrix A; I denotes the identity matrix with appropriate dimensions; \(\operatorname{Re} ( \cdot )\) denotes the real part of a complex number.
2 Problem formulation
In this paper, we are concerned with the dynamic output feedback problem for the following discretetime singularly perturbed system:
where \(x_{1} \in R^{n_{1}} \) and \(x_{2} \in R^{n_{2}}\) (\(n_{1} + n _{2} = n\)) denote the state vectors of the slow and fast dynamics, respectively; \(u \in R^{q}\) is the control input; \(y \in R^{p}\) is the output; the small parameter \(\varepsilon > 0\) is positive; all matrices in system (1)(2) are constant matrices with appropriate dimensions. It is shown in [6] that this model can be obtained by the discretetime analogue for a continuous system under the fast sampling rate.
As a precondition for implementing the twotimescale technique, we first give the following assumption for system (1)(2).
Assumption 1
\(I  A_{22}\) is invertible.
Noticing the twotimescale property of (1), the slow and fast subsystems for (1) can be decomposed by the reduced technique in [6]:
and
where
Remark 1
This hybrid state arises from the definition of the slow and fast subsystems, where the evolution of continuoustime slow subsystems is justified although there is little else which is surprising in the theory. A more detailed description can be found in [5] and [6].
Since (3) is only an approximate model of system (1), can a dynamic output feedback designed for the reducedorder subsystem stabilize the original fullorder system? Next, we will address this problem.
We consider the following dynamic output feedback controller for reducedorder subsystem (3):
where \(\zeta (t) \in R^{n_{1}}\) is the controller state. M, N, G and H are unknown constant matrices to be determined. Because (3b) has a direct transmission item, it is required that \(I  D_{s}H\) is invertible. Thus, this guarantees that \(y_{s}\) can be determined uniquely. Submitting this controller to the reducedorder subsystem (3) gives the following closedloop system:
where
By applying a discrete version of the dynamic output feedback (6)
where \(\xi (k) \in R^{n_{1}}\), the controller state is defined by
the actual closedloop system of (1) can be obtained as
where
In order to show the relation between systems (7) and (10), using the nonsingular transformation [8], the slow and fast parts of closedloop system (10) can be separated by defining
where
This results in
where
It can be seen from (11) that the nonsingularity of the matrix \(I  \Gamma_{22}\) is needed. Next, let us verify that \(I  \Gamma_{22}\) is nonsingular. Use of the identity
yields
Rearranging (15), we have
so that
Premultiplication of both sides of (16) by \((I  D_{s}H)^{  1}\) results in
Hence, substituting (17) into (15), we have
Thus, (13) is well defined.
Similarly, for \(E_{s}\), it can be shown after lengthy manipulation that
Then the asymptotic stability of closedloop system (10) requires that the following conditions hold:
From inequality (18), it is easy to see that condition (1) can be satisfied if closedloop system (7) is asymptotically stable. However, condition (2) cannot be generally guaranteed even if the matrix \(A_{22}\) is stable, unless one of the following conditions is satisfied:

i.
\(\vert \lambda (A_{22})\vert < 1\), \(B_{2} = 0\) or \(\vert \lambda (A_{22})\vert < 1\), \(C_{2} = 0\), i.e., the asymptotically stable fast subsystem is either not directly fed from the input or not directly sensed at the output.

ii.
\(\vert \lambda (A_{22})\vert < 1\), \(H = 0\), i.e., the output feedback control (8)(9) does not have a static output feedback.

iii.
(\(A_{22}\), \(B_{2}\)) is controllable and \(C_{2}\) is fullrank.
For the first two cases, the results show that the dynamic output feedback designed for the reducedorder system is strictly proper or the system has a particular structure. For the third case, the proposed condition is general; however, only the theoretical result is given, the design of gain matrices has not been discussed in [23–26]. How to design these parameters is very important. Next, we will investigate a nonstrictly proper dynamic output feedback controller for system (1)(2).
3 Main results
Consider the following auxiliary system:
where
It is easy to see that the design of the proper dynamic output feedback controller for reducedorder system (3)(4) is equivalent to the strictly proper one for auxiliary system (19) with the following form:
where M, N and G are defined in (6).
Combining (19) and (20), we can see that the robustness problem considered here is to find some sufficient conditions such that the static output feedback gain matrix H and the strictly proper dynamic output feedback gain matrices M, N and G can assign the desired stable poles to the auxiliary systems and fast subsystem (5)(6), respectively.
For the static output feedback of fast subsystem (5)(6), using the poleassignment technique, the gain matrix H can be designed to place \(\min (n_{ 1},p)\) eigenvalues arbitrarily close to their desired locations [10]. In fact, there are a lot of existing works addressing this problem, and various methods have been proposed, e.g., Riccati equation approach, rankconstrained condition, approach based on structural properties, bilinear matrix inequality (BMI) approaches, minmax optimization techniques, and linear matrix inequality approaches [28, 29]. Among them, the LMI approaches are much more efficient in dealing with synthesis problems [30–32], thus many results have also been obtained. In addition, the survey on the development of static output feedback can be found in [33].
For the strictly proper dynamic output feedback design of auxiliary system (20), a sufficient and necessary condition in terms of LMIs is given in the following theorem.
Theorem 1
Consider auxiliary system (20). There exists a strictly proper dynamic output feedback in the form of (21) such that the resulting closed system is asymptotically stable if and only if there exist matrices \(X > 0\), \(Y > 0\), Φ and Ψ satisfying the following LMIs:
If (22)(24) hold, then the dynamic output feedback controller gain matrices in (21) can be chosen as
Proof
(Sufficiency) When (22)(24) is satisfied, we first show that there exist matrices X, Y, Φ and Ψ such that \(Y^{  1}  X\) is nonsingular. In fact, if \(Y^{  1}  X\) is singular, then we can choose any positive definite matrix X̄ and let \(\theta \in (0,1)\) satisfying that θ is not an eigenvalue of \((Y^{  1}  X)\bar{X}^{  1}\) and is small enough such that X is replaced by \(X + \theta \bar{X}\), the inequality in (22)(24) still holds. Then it is not difficult to see that \(X + \theta \bar{X}  Y ^{  1}\) is nonsingular. Applying the dynamic output feedback controller with the parameters given in (25), we obtain the following closedloop system:
where \(\Xi = (X  Y^{  1})^{  T}(\tilde{A}_{s}^{T}Y^{  1} + X^{T} \tilde{A}_{s}  X^{T}\tilde{B}_{s}\Psi Y^{  1} + \Phi \tilde{C}_{s})\). Set
Considering that \(X  (Y^{  1}  X)(X  Y^{  1})^{  1}(Y^{  1}  X) = X + Y^{  1}  X > 0\). According to the Schur complement lemma, one has \(P_{s} > 0\). Furthermore, after some algebraic operations, it can be verified
where
Pre and postmultiplying both sides of (24) with \(Y^{  T}\) and \(Y^{  1}\), we get
It follows from (23) that \(\Delta_{22} < 0\). Noticing \(\Delta_{11} < 0\), \(\Delta_{22}  \Delta_{11} < 0\), and using the Schur complement lemma again, we obtain
Thus, \(\Lambda_{s}^{T}P_{s} + P_{s}^{T}\Lambda_{s} < 0\). That is, closedloop system (20) is asymptotically stable.
(Necessity) Suppose that there exists a dynamic output feedback controller in (21) such that closedloop system (20) is asymptotically stable. Then there exists a positive definite matrix \(Q_{s} > 0\) such that
Denote
Then it is easy to see that \(Q_{s1} > 0\), \(Q_{s2} > 0\) and \(\Pi = Q _{s1}  Q_{s2}Q_{s4}^{  1}Q_{s3} > 0\). By the 11 block of (27), we have
Set \(X = Q_{s1}\), \(\Phi = Q_{s3}^{T}N\). Then it can be seen that (23) holds. Now, let
Pre and postmultiplying (27) by \(\Upsilon^{T}\) and ϒ, respectively, we have
Set \(Y = \Pi^{  1}\), \(\Psi = GQ_{s4}^{  1}Q_{s3}Y\), and pre and postmultiplying the above inequality by \(Y^{T}\) and Y, respectively, one has that (24) holds.
Observe that \(X > 0\) and \(X  Y^{  1} = Q_{s2}Q_{s4}^{  1}Q_{s3} \ge 0\). By the Schur complement, we have that (22) is satisfied. This completes the proof. □
Remark 2
Theorem 1 presents a sufficient and necessary condition for the existence of the dynamic output feedback controller of the reducedorder subsystem. Furthermore, a workable way for solving the gain matrices M, N and G is also given. It is worth mentioning that, under this condition, there is no other restriction for the dynamic output feedback controller design, except the system itself.
Remark 3
The proposed method in this paper guarantees that the proper dynamic output feedback controller designed for the reducedorder subsystem is a stabilizing one for the fullorder system. In particular, it is not difficult to see that the stability of the limit case (i.e., slow subsystems and fast subsystems) of the resulting closedloop systems is still preserved as \(\varepsilon \to 0\). It is worth pointing out that the singular perturbation approach is not yet fully adopted in many literature works. Instead, the singular system approach is adopted, in which the singular perturbation parameter \(\varepsilon > 0\) is viewed as a static scalar. This brings some simplification to system analysis and synthesis. However, the performance of the limit case of the closedloop systems may not be guaranteed as \(\varepsilon \to 0\), and even more, the basic requirement for poles placement cannot be satisfied.
4 A numerical example
Consider a nuclear reactor model whose physical model can be found in [20], which can be described by the following state equations:
where \(x_{1}\) and \(x_{2}\) represent the normalized precursors’ concentration and neutron density, respectively. The parameters ρ, λ, β and ν represent the reactivity, precursors’ decay constant, delayedneutron yield and neutron generationtime, respectively, where \(\lambda = 0.001\), \(\beta = 0.0064\) and \(\nu = 0.08\). By discretizing the model with a sampling period \(T = 0.05s\) and a zeroorder holder, we can obtain the discrete model with a controlled output considered in the following form:
From (30)(31), the slow and fast subsystems are obtained as
and
We first give the following controller for the slow subsystem:
which locates the poles at \(\{  0.5548 + 2.3812\mathrm{i},  0.5548  2.3812\mathrm{i} \} \), thus system (32) with the above dynamic output feedback control is stable. When this controller is applied to the fullorder system, it results in the following closedloop system:
We find that the closedloop system is unstable for sufficiently small parameter ε because \(\Gamma_{22} = A_{22} + B_{2}HC_{2} = 2.8667 > 1\). In order to guarantee that a nonstrictly dynamic output feedback with the gain matrices M, N, G and H designed for reducedorder subsystem (32) can stabilize system (30), the proposed method in this paper is considered.
First, by resorting to Theorem 1 in [32], the static output feedback controller gain matrix for the fast subsystem is obtained as \(H =  0.017\).
Using Theorem 1 with the aid of LMI toolbox, the following solutions for the auxiliary system can be obtained from (22)(24):
Thus, one has
From Theorem 1, we can conclude that the dynamic output feedback controller designed for the reducedorder subsystem stabilizes the original fullorder system (30) for a sufficiently small ε. For the small parameter ε, Li et al. in [14] proposed the latest result to compute the upper bound. Applying the method to system (30)(31), we obtain the exact ε upper bound as \(\varepsilon^{*} = 1.1906\). Given the initial condition \(( x_{1}(0) \ \xi (0) \ x_{2}(0) )^{T} = ( {} 1.5 \ {} 1.5 \ 1.5 )^{T}\), the simulation results for the response of closedloop system (5) are shown in Figures 12, from which it can be seen that the presented proper but not strictly proper dynamic output feedback control scheme can effectively guarantee the stability of the closedloop system. Thus, the requirement for the strict properness can be alleviated.
5 Conclusion
In this paper, the proper dynamic output feedback controller for the fast sampling discretetime singularly perturbed system is addressed using the reducedorder model. The design of a proper but not strictly proper dynamic output feedback controller is reduced to the simultaneous design of the static output feedback controller for the fast subsystem and the strictly proper dynamic output feedback controller for the auxiliary system, respectively. Thus, the requirement for the strict properness of the dynamic output feedback controller has been removed successfully. This is the main difference from the existing works. Finally, the given example has illustrated the effectiveness of the obtained method.
References
Kokotovic, PV, Khalil, HK, O’Reilly, J: Singular Perturbation Methods in Control: Analysis and Design. Academic Press, London (1986)
O’Malley, RE: Introduction to Singular Perturbations. Academic Press, New York (1974)
Zhang, Y, Naidu, DS, Cai, C, Zou, Y: Singular perturbations and time scales in control theory and applications: an overview 20022012. Int. J. Inf. Syst. Sci. 9, 136 (2014)
Sun, FQ, Yang, CY, Zhang, QL, Shen, YX: Stability bound analysis of singularly perturbed system with timedelay. Chem. Ind. Chem. Eng. Q. 19(4), 505511 (2013)
Blankenship, G: Singularly perturbed difference equations in optimal control problems. IEEE Trans. Autom. Control 26, 911917 (1981)
Litkouhi, B, Khalil, HK: Multirate and composite control of twotimescale discretetime systems. IEEE Trans. Autom. Control 30, 645651 (1985)
Naidu, DS, Rao, AK: Singular Perturbation Analysis of Discrete Control Systems. Lecture Notes in Mathematics, vol. 1154. Springer, New York (1985)
Oloomi, H, Sawan, ME: Combined filtering and stochastic control of discretetime linear singularly perturbed systems. In: Proc. 29th Midwest Symp. Circuits Systems, Lincoln, NE (1986)
Mahmoud, MS: Structural properties of discrete systems with slow and fast modes. Large Scale Syst. 3, 227236 (1982)
Mahmoud, MS, Chen, Y, Singh, MG: A twostage output feedback design. IEE Proc. Part D, Control Theory Appl. 133(6), 279284 (1986)
Mahmoud, MS: Design of observerbased controllers for a class of discrete systems. Automatica 18, 323328 (1982)
Oloomi, H, Sawan, ME: The observerbased controller design of discretetime singularly perturbed systems. IEEE Trans. Autom. Control 32(3), 246248 (1987)
Abdelrahman, MA, Naidu, DS, Charalambous, C, Moore, KL: Finitetime disturbance attenuation control problem for singularly perturbed discretetime systems. Optim. Control Appl. Methods 19(2), 137145 (1998)
Li, THS, Chiou, JS, Kung, FC: Stability bounds of singularly perturbed discrete systems. IEEE Trans. Autom. Control 44(10), 19341938 (1999)
Zhang, Y, Naidu, DS, Cai, CX, Zou, Y: Composite control of a class of nonlinear singularly perturbed discretetime systems via DSDRE. Int. J. Syst. Sci. 47(11), 26322641 (2016)
Boyd, S, Ghaoui, LE, Feron, E, Balakrishnan, V: Linear Matrix Inequalities in System and Control Theory. Studies in Applied Mathematics. SIAM, Philadelphia (1994)
Chen, JX, Yin, YX, Sun, FC: A new result on state feedback robust stabilization for discretetime fuzzy singularly perturbed systems. Asian J. Control 14(3), 784794 (2012)
Xu, J, Cai, CX, Zou, Y: Composite state feedback of the finite frequency Hinfinity control for discretetime singularly perturbed systems. Asian J. Control 17(6), 21882205 (2015)
Dong, J, Yang, GH: Robust \(H _{\infty }\) control for standard discretetime singularly perturbed systems. IET Control Theory Appl. 1, 11411148 (2007)
Dong, J, Yang, GH: \(H _{\infty }\) control for fast sampling discretetime singularly perturbed systems. Automatica 44, 13851393 (2008)
Yang, CY, Zhou, LN: \(H _{\infty }\) control and εbound estimation of discretetime singularly perturbed systems. Circuits Syst. Signal Process. 35, 26402654 (2016)
Xu, S, Feng, G: New results on \(H _{\infty }\) control of discrete singularly perturbed systems. Automatica 45, 23392343 (2009)
Mahmoud, MS, Singh, MG: On the use of reducedorder models in output feedback design of discrete systems. Automatica 21, 485489 (1985)
Glielmo, L, Corless, M: On output feedback control of singularly perturbed systems. Appl. Math. Comput. 217, 10531070 (2010)
Li, THS, Wang, MS, Sun, YY: Dynamic output feedback design for singularly perturbed discrete systems. IMA J. Math. Control Inf. 13, 105115 (1996)
Pan, ST, Hsiao, FH, Teng, CC: Dynamic output feedback control of nonlinear singularly perturbed systems. J. Franklin Inst. 333(6), 947973 (1996)
Liu, W, Wang, ZM, Dai, HH, Naz, M: Dynamic output feedback control for fast sampling discretetime singularly perturbed systems. IET Control Theory Appl. 10(15), 17821788 (2016)
Bara, GI, Boutayeb, M: Static output feedback stabilization with \(H _{\infty }\) performance for linear discretetime systems. IEEE Trans. Autom. Control 50(2), 250254 (2005)
Garcia, G, Pradin, B, Zeng, F: Stabilization of discrete time linear systems by static output feedback. IEEE Trans. Autom. Control 46(12), 19541958 (2001)
Cao, Y, Sun, Y: Static output feedback simultaneous stabilization: ILMI approach. Int. J. Control 70(5), 803814 (1998)
Crusius, CAR, Trofino, A: Sufficient LMI conditions for output feedback control problems. IEEE Trans. Autom. Control 44(5), 10531057 (1999)
Xu, J: Output Feedback Control of DiscreteTime LTI Systems: Scaling LMI Approaches. Intech (2011)
Syrmos, VL, Abdallah, CT, Dorato, P, Grigoriadis, K: Static output feedback: a survey. Automatica 33(2), 125137 (1997)
Acknowledgements
This paper is supported by the National Natural Science Foundation of China (61703447), the Research Foundation of the Henan Higher Education Institutions of China (18A110039) and also supported by the Science Foundation of Zhoukou Normal University (ZKNUC2017020, ZKNUB2201806).
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Liu, W., Wang, Y. Robustness of proper dynamic output feedback for discretetime singularly perturbed systems. Adv Differ Equ 2017, 384 (2017). https://doi.org/10.1186/s1366201714372
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366201714372