Article Contents
Ravindra Munje, Wei-Dong Zhang. Observer-based Multirate Feedback Control Design for Two-time-scale System. International Journal of Automation and Computing. doi: 10.1007/s11633-020-1268-6
Cite as: Ravindra Munje, Wei-Dong Zhang. Observer-based Multirate Feedback Control Design for Two-time-scale System. International Journal of Automation and Computing. doi: 10.1007/s11633-020-1268-6

Observer-based Multirate Feedback Control Design for Two-time-scale System

Author Biography:
  • Ravindra Munje received the B. Eng. degree in electrical from Mumbai University, India in 2005, the M. Eng. degree in control systems from Pune University, India in 2009, and the Ph. D. degree in electrical engineering from Swami Ramanand Teerth Marathwada University, India in 2015. He was a post-doctoral fellow with Shanghai Jiao Tong University, China from June 2017 to May 2019. Currently, he is a professor at Electrical Engineering Department, K. K. Wagh Institute of Engineering Education and Research, India. He has written a book and about 40 refereed papers. He received the Promising Engineer Award in 2016, Outstanding Researcher Award in 2018 and Best Faculty Award in 2019.His research interests include modeling and control of large-scale systems using sliding mode and multirate output feedback.E-mail: ravimunje@yahoo.co.cn ORCID iD: 0000-0003-4290-684X

    Wei-Dong Zhang received the B. Sc. degree in instrument & measurement, the M. Sc. in instrument & measurement and the Ph. D. degree in industrial automation from Zhejiang University, China in 1990, 1993 and 1996, respectively, and then worked as a postdoctoral fellow at Shanghai Jiao Tong University, China. He joined Shanghai Jiao Tong University as an associate professor in 1998 and has been a full professor since 1999. From 2003 to 2004, he worked at University of Stuttgart, Germany, as an Alexander von Humboldt Fellow. He is a recipient of the National Science Fund for Distinguished Young Scholars of China and Cheung Kong Scholars Program. In 2011, he was appointed Chair Professor at Shanghai Jiao Tong University. He is currently the director of the Engineering Research Center of Marine Automation, Municipal Education Commission. He is the author of more than 300 refereed papers and 1 book and holds 51 patents.His research interests include control theory and information processing theory and their applications in several fields, including power/chemical processes, USV/ROV and aerocraft.E-mail: wdzhang@sjtu.edu.cn (Corresponding author) ORCID iD: 0000-0002-4700-1276

  • Corresponding author: Weidong Zhang (Corresponding author) Department of Automation, Shanghai Jiao Tong University, Shanghai 200240, P. R. China. E-mail: wdzhang@sjtu.edu.cn
  • Received: 2020-04-16
  • Accepted: 2020-11-12
  • Published Online: 2021-01-30
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Figures (6)

Metrics

Abstract Views (9) PDF downloads (5) Citations (0)

Observer-based Multirate Feedback Control Design for Two-time-scale System

  • Corresponding author: Weidong Zhang (Corresponding author) Department of Automation, Shanghai Jiao Tong University, Shanghai 200240, P. R. China. E-mail: wdzhang@sjtu.edu.cn

Abstract: The use of a lower sampling rate for designing a discrete-time state feedback-based controller fails to capture information of fast states in a two-time-scale system, while the use of a higher sampling rate increases the amount of computation considerably. Thus, the use of single-rate sampling for systems with slow and fast states has evident limitations. In this paper, multirate state feedback (MRSF) control for a linear time-invariant two-time-scale system is proposed. Here, multirate sampling refers to the sampling of slow and fast states at different sampling rates. Firstly, a block-triangular form of the original continuous two-time-scale system is constructed. Then, it is discretized with a smaller sampling period and feedback control is designed for the fast subsystem. Later, the system is block-diagonalized and equivalently represented into a system with a higher sampling period. Subsequently, feedback control is designed for the slow subsystem and overall MRSF control is derived. It is proved that the derived MRSF control stabilizes the full-order system. Being the transformed states of the original system, slow and fast states need to be estimated for the MRSF control realization. Hence, a sequential two-stage observer is formulated to estimate these states. Finally, the applicability of the design method is demonstrated with a numerical example and simulation results are compared with the single-rate sampling method. It is found that the proposed MRSF control and observer designs reduce computations without compromising closed-loop performance.

Ravindra Munje, Wei-Dong Zhang. Observer-based Multirate Feedback Control Design for Two-time-scale System. International Journal of Automation and Computing. doi: 10.1007/s11633-020-1268-6
Citation: Ravindra Munje, Wei-Dong Zhang. Observer-based Multirate Feedback Control Design for Two-time-scale System. International Journal of Automation and Computing. doi: 10.1007/s11633-020-1268-6
    • A fundamental problem in control engineering, i.e., designing a feedback controller for a linear system has gained much importance since an appropriately designed feedback control improves system stability and closed-loop performance. Owing to the recent advances in microelectronics and computing technology, feedback controls are invariably implemented digitally. Early developments in this area assumed uniform sampling rates for converting signals from analog to digital format and vice-versa. Later, it was realized that there is a need to include multirate sampling[1], due to an increase in computational load in large-scale digital control systems. Within the last few decades, several techniques have been proposed on the eigenvalue assignment of discrete-time systems using multirate sampling[2-4]. In [3], outputs are sampled at $ 1/T_s $ Hz by applying the inputs sampled at $ \mu/T_s $ Hz, where $ \mu $ is greater than or equal to the controllability index. Further, in [2], it is shown that the inputs in [3] can be sampled at a rate slower than $ \mu/T_s $ Hz. While, in [4], the inputs are sampled at $ 1/T_s $ Hz and the outputs are sampled at $ \nu/T_s $ Hz, where $ \nu $ is the observability index. Very recently, an optimal controller is designed in [5] for a linear system using a multirate approach, in which states and inputs are sampled at different rates. However, in this method, all the states are sampled at the same sampling rate and it also requires an observer for implementation. Whereas, techniques in [2-4] provide sufficient freedom for eigenvalue assignment and obviate the need for the deployment of an observer by sampling inputs and outputs at different rates.

      The techniques in [2-4] are also applied to the singularly perturbed systems[6-9], in which eigenvalues of the system are grouped as dominant (slow) eigenvalues and non-dominant (fast) eigenvalues[10]. As these techniques are based on the feedback of outputs, rather than states, they lack robustness. Further, in [7], the input changes from a large positive value to a large negative value several times at the early stage of transient response to regulate the state, making it less suitable for industrial applications. Also, in the case of systems with a smaller value for the singular perturbation parameter, they result in feedback gains with larger values due to ill-conditioned system matrices arising because of the eigenvalue groupings. In such a situation, two-stage feedback control designs[11-13], employing single-rate sampling are found to be more useful. Nevertheless, it is worth noting that, the response of fast states is crucial during a short transient period. After that, the behavior of the system is mostly decided by the slow states. The use of a larger sampling period for feedback control design for such systems causes loss of information in fast varying states. On the other hand, a smaller sampling period increases online computations considerably. Hence, the design of feedback control at a single sampling rate is not advisable. Conversely, using a multirate sampling strategy, the designer can accommodate multiple sampling rates for the group of states, rather than a single sampling rate. Consequently, the closed-loop control performance can be enhanced.

      The conceptual background for investigating multirate state feedback (MRSF) control for the systems with slow and fast varying modes is established in [14], in which two multirate sampling schemes have been suggested with their theoretical differences. In contrast to [2-4], where inputs and outputs are sampled at different rates, in [14] slow and fast varying states are sampled at different rates. Furthermore, Kando and Iwazwumt[15] recommended the design of optimal regulators via multirate sampling. Lennarston[16] demonstrated that the disturbances, not considered in [14,15], can be efficiently handled by adding immeasurable states in the existing model, which are determined by an estimator. State estimation problems are further solved by reporting multi-stage continuous-time observers[17-19] and multirate observers[20-24]. In multirate observers, the two-time-scale system is considered with quasi-steady-state modeling which is accompanied by approximation. This approximation can be avoided by using similarity transformations for the exact separation of subsystems[17-19]. However, more algebraic equations need to be solved which increases computation time.

      In this paper, multirate state feedback control is proposed for a two-time-scale system using block-diagonalization, in which slow and fast subsystem states are sampled at different rates. Firstly, the continuous-time system is transformed into an upper triangular form and then feedback controls are designed for two subsystems with different sampling periods. Then, a feedback control input with slow and fast states, sampled at different rates, is derived. Lastly, for control realization, slow and fast subsystem states are estimated by a sequential two-stage observer. The presented method reduces design complexity, computations, and signal processing time significantly and also improves system performance. The usefulness of the reported design is verified by simulating a numerical example.

      The paper is organized as follows. In Section 2, the main results of this paper are presented. The application of the controller to the numerical example is illustrated in Section 3. Finally, the paper is concluded in Section 4.

    • Consider a linear time-invariant continuous-time system

      $ \dot{{z}}= {{A}}{{z}}+{{B}}{{u}} $

      (1)

      $ {{y}}= {{C}}{{z}} $

      (2)

      where ${{z}} \in {\bf{R}}^{n}$, ${{u}} \in {\bf{R^m}}$ and ${{y}} \in {\bf{R}}^p$ are states, inputs and outputs, respectively. If system (1)−(2) is assumed to have a two-time-scale structure, i.e., $ n $ eigenvalues have $ n_1 $ slow and $ n_2 $ fast eigenvalues, then it can be written as

      $ \left[ \begin{array}{*{20}{l}} \dot{{z}}_1 \\ \dot{{z}}_2 \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{11} & {{A}}_{12} \\ \dfrac{{{A}}_{21}}{\varepsilon} & \dfrac{{{A}}_{22}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_1 \\ {{z}}_{2} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{B}}_1 \\ \dfrac{{{B}}_2}{\varepsilon} \\ \end{array} \right]{{u}} $

      (3)

      $ {{y}} = \left[ \begin{array}{@{}cc@{}} {{C}}_1 & {{C}}_2 \\ \end{array} \right]\left[ \begin{array}{@{}cc@{}} {{z}}_{1}^{\rm{T}} & {{z}}_{2}^{\rm{T}} \\ \end{array} \right]^{\rm{T}} $

      (4)

      where ${{z}}_1 \in {\bf{R}}^{n_1}$ and ${{z}}_2 \in {\bf{R}}^{n_2}$, such that $ n_1+n_2 = n $. Submatrices ${{A}}_{ij}$, ${{B}}_{i}$ and ${{C}}_{i}$ are of compatible dimensions. Parameter $ \varepsilon $ is the speed ratio of the slow versus fast states.

      Assumption 1. The pairs $({A,B})$ and $({A,C})$ are respectively controllable and observable[25].

      Assumption 2. Matrix ${{A}}_{22}$ is invertible[26].

      Assumption 1 ensures state stabilization and estimation of (3)−(4) by the state feedback control and observer respectively. It also helps to fulfill the controllability and observability properties of the lower order continuous-time subsystems obtained in the next subsections by the application of similarity transformations. Assumption 2 is necessary to get solutions of algebraic equations deliberated on later in the design procedure.

      As the states of the slow subsystem remain almost constant over a time duration of $ 1/\varepsilon $, it is reasonable to measure them at a slower sampling rate compared to the fast subsystem states. Therefore, if the fast states are sampled at the $ \varDelta $ sampling interval, slow states can be sampled at $ \tau $ sampling interval, where $ \varDelta = \tau/N $ with $ N $ as the largest integer smaller or equal to $ 1/\varepsilon $ [16]. Interestingly, for a suitably selected value of a sampling interval, the discrete-time system equivalent to the continuous two-time-scale system (3)−(4), would also possess the two-time-scale property[17,27]. Thus, the designer has to select $ N $, $ \tau $ and $ \varDelta $. Out of these, $ N $ is selected, such that, it is $ \leq 1/\varepsilon $. Now, if $ \tau $ is selected, one can acquire $ \varDelta $. Sampling period $ \tau $ can be carefully chosen using sampling theorem[28] and Condition 1.

      Condition 1. If Assumption 1 is satisfied and system (3) has only real eigenvalues, then any $ T_s>0 $ can be taken, otherwise, if $|{\rm{Re}}(\lambda_i-\lambda_j)| = 0$, then

      $ T_s \neq \frac{2\pi m}{ |\Im m(\lambda_i-\lambda_j)|},\;\;\;\; {\rm{for}}\;m = 1,2,\cdots $

      (5)

      where $ \lambda_i $ and $ \lambda_j $ are any two eigenvalues[25,29].

      Condition 1 is required to satisfy the controllability property of the discrete-time systems received by sampling the corresponding continuous-time system. It must be noted that, if $ \tau $ meets the sampling theorem and Condition 1, $ \varDelta $ also meets both.

      Suppose the sampling begins at a $ k\tau $ instant. Here, slow states are measured at every $ k\tau $, where $k = 0, 1,2,\cdots$, while the fast states are measured at every $ \varDelta = k\tau/N $. In other words, in the $ \tau $ sampling interval of slow states, fast states are sampled $ N $ times at every $ l\varDelta $, where $ l = 0,1,2,\cdots,(N-1). $ The overall feedback control input is the combination of slow and fast controls, such that

      $ {{u}}(t)= {{u}}_s(k\tau)+{{u}}_f(k\tau+l\varDelta) $

      (6)

      where $ {{u}}_s(k\tau) $ and $ {{u}}_f(k\tau+l\varDelta) $ are piece-wise constant during $ k\tau \leq t < (k+1)\tau $ and $k\tau+l\Delta \leq t < k\tau + (l+1) \Delta$, respectively.

      Even if the singular perturbation parameter $ \varepsilon $ does not need to appear explicitly in the system, the system can still have slow and fast eigenvalues. Hence, the use of similarity transformation matrices to derive decoupled subsystems could be a more promising and accurate method instead of singular perturbation methods[30]. The proposed observed-based multirate feedback control design uses similarity transformations. In the following subsections, the complete design scheme of MRSF control and state estimation by the sequential observer are presented.

    • First of all, an upper triangular form of (3) is constructed and then its discrete-time forms are acquired sequentially, starting from a lower to higher sampling periods, i.e., $ \varDelta \rightarrow \tau $. Just after achieving a particular discrete-time form, feedback control for the corresponding uncoupled subsystem is designed. The block-triangular form of (3) is given by

      $ \left[ \begin{array}{*{20}{l}} \dot{{z}}_{1} \\ \dot{{z}}_{f} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{s} & {{A}}_{12} \\ {0} & \dfrac{{{A}}_{f}}{\varepsilon}\\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{1} \\ {{z}}_{f} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{B}}_{1} \\ \dfrac{{{B}}_{f}}{\varepsilon} \\ \end{array} \right]{{u}}. $

      (7)

      In (7), ${\rm{max}}\;|{\rm{Re}}\;\{\lambda({{A}}_{s})\}| << {\rm{min}}\; \left|{\rm{Re}}\;\left\{\lambda\left(\dfrac{{\bf{A}}_{f}}{\varepsilon}\right)\right\}\right|$, where $ \lambda(\cdot) $ is the eigenvalue. System in (7) is obtained by applying the state variable transformation given below:

      $ \left[ \begin{array}{*{20}{l}} {{z}}_1 \\ {{z}}_{f} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{I}}_{n1} & \!\!\!{0} \\ {{P}} & {{I}}_{n2} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_1 \\ {{z}}_{2} \\ \end{array} \right] $

      (8)

      to the system in (3), in which $ {{I}}_{n} $ is an identity matrix of order $ n $ and matrix $ {{P}} $ satisfies

      $ \varepsilon {{P}}( {{A}}_{11}- {{A}}_{12}{{P}})+{{A}}_{21} -{{A}}_{22}{{P}}= 0 $

      (9)

      where $ {{A}}_{s} = {{A}}_{11}-{{A}}_{12}{{P}} $, $ {{A}}_{f} = \varepsilon {{P}}{{A}}_{12}+{{A}}_{22} $ and ${{B}}_{f} = \varepsilon {{P}}{{B}}_{1}+{{B}}_{2}$. The solution of (9) exists for a sufficiently small value of $ \varepsilon $ and under Assumption 2. Setting $ \varepsilon = 0 $ in (9) gives $ {{A}}_{21} -{{A}}_{22}{{P}}^{(0)} = 0 $, i.e., ${{P}}^{(0)} = {{A}}_{22}^{-1}{{A}}_{21} \Longrightarrow {{P}}^{(0)} = {{A}}_{22}^{-1}{{A}}_{21}$ and $ {{P}}^{(0)} = O(1) $ and $ {{P}} = {{P}}^{(0)}+O(\varepsilon) $. Having found $ {{P}}^{(0)} $, the algebraic equation (9) can be solved by the fixed point iteration method[31]. Assumption 1 implies system (7) is controllable. In (7), the fast subsystem is entirely isolated from the slow subsystems. At this point, according to Assumption 1, controllability of $\left(\dfrac{{{A}}_{f}}{\varepsilon},\dfrac{{{B}}_{f}}{\varepsilon}\right)$ is preserved. Now, the system (7) is discretized with the $ \varDelta $ sampling interval as

      $ \left[ \begin{array}{*{20}{l}} {{z}}_{1,l+1} \\ {{z}}_{f,l+1} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{\varPhi}}_{\varDelta s} & {{\varPhi}}_{\varDelta 12} \\ \bf{0} & {{\varPhi}}_{\varDelta f}\\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{1,l} \\ {{z}}_{f,l} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{\Gamma}}_{\varDelta 1} \\ {{\Gamma}}_{\varDelta f} \\ \end{array} \right]{{u}}_{l} $

      (10)

      where

      $ \begin{split} &\left[ \begin{array}{@{}cc@{}} {{\varPhi}}_{\varDelta s} & {{\varPhi}}_{\varDelta 12} \\ {\bf{0}} & {{\varPhi}}_{\varDelta f}\\ \end{array} \right] = \bar{{{\varPhi}}}_\varDelta = {\rm{e}}^{\bar{{A}} \varDelta} \\ &\left[ \begin{array}{*{20}{l}} {{\varGamma}}_{\varDelta 1} \\ {{\varGamma}}_{\varDelta f} \\ \end{array} \right] = \bar{{{\varGamma}}}_\varDelta = \int_0^\varDelta {\rm{e}}^{\bar{{A}} \eta}{\bar{{B}}}{\rm d}\eta \end{split} $

      in which

      $ \begin{array}{l} \bar{{A}}= \left[ \begin{array}{@{}ccc@{}} {{A}}_{s} & {{A}}_{12} \\ {0} & \dfrac{{{A}}_{f}}{\varepsilon}\\ \end{array} \right], \qquad \bar{{B}} = \left[ \begin{array}{*{20}{l}} {{B}}_{1} \\ \dfrac{{{B}}_{f}}{\varepsilon} \\ \end{array} \right]. \end{array} $

      Feedback control design for (10) requires the following Assumption 3.

      Assumption 3. System ($\bar{{{\varPhi}}}_\varDelta, \bar{{{\varGamma}}}_\varDelta$) is controllable.

      If sampling periods ($ \tau $ and $\varDelta$) meet the sampling theorem[28] and Condition 1, Assumption 3 is fulfilled. As a result, the controllability of ($\bar{{{\varPhi}}}_{\varDelta}, \bar{{{\varGamma}}}_{\varDelta}$) infers the controllability of (${{\varPhi}}_{\varDelta f}, {{\varGamma}}_{\varDelta f}$). And so, in the first stage, feedback control

      $ {{u}}_l= -{{F}}_{f}{{z}}_{f,l}+{{u}}_{s,l} $

      (11)

      is designed and applied to (10) as

      $\begin{split} &\left[ \begin{array}{*{20}{l}} {{z}}_{1,l+1} \\ {{z}}_{f,l+1} \\ \end{array} \right] = \\ &\;\;\;\;\;\left[ \begin{array}{@{}ccc@{}} {{\varPhi}}_{\varDelta s} & {{\varPhi}}_{\varDelta 12}-{{\varGamma}}_{\varDelta 1}{{F}}_{f}\\ \bf{0} & {{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f}\\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{1,l} \\ {{z}}_{f,l} \\ \end{array} \right] +\left[ \begin{array}{*{20}{l}} {{\varGamma}}_{\varDelta 1} \\ {{\varGamma}}_{\varDelta f} \\ \end{array} \right]{{u}}_{s,l}. \end{split}$

      (12)

      The feedback gain $ {{F}}_{f} $ is chosen, such that $\lambda({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f}) = \lambda_{\varDelta f}^{desired}$ and is positioned near the origin. After that, system (12) is modified to

      $\begin{split} &\left[ \begin{array}{*{20}{l}} {{z}}_{s,l+1} \\ {{z}}_{f,l+1} \\ \end{array} \right] = \\ &\;\;\;\;\;\left[ \begin{array}{@{}cc@{}} {{\varPhi}}_{\varDelta s} & \bf{0} \\ \bf{0} & {{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f}\\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{s,l} \\ {{z}}_{f,l} \\ \end{array} \right] +\left[ \begin{array}{*{20}{l}} {{\varGamma}}_{\varDelta s} \\ {{\varGamma}}_{\varDelta f} \\ \end{array} \right]{{u}}_{s,l}\end{split}$

      (13)

      to separate fast subsystems. This is achieved by applying

      $ \left[ \begin{array}{*{20}{l}} {{z}}_{s,l} \\ {{z}}_{f,l} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{I}}_{n1} & -{{M}} \\ \bf{0} & {{I}}_{n2} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{1,l} \\ {{z}}_{f,l} \\ \end{array} \right] $

      (14)

      to (12). In this, matrix ${{M}}$ is evaluated by setting

      $ {{\varPhi}}_{\varDelta 12}-{{\varGamma}}_{\varDelta 1}{{F}}_{f}+{{\varPhi}}_{\varDelta s}{{M}}-{{M}}({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})= 0. $

      (15)

      Equation (15) can be solved using the “lyap” command of Matlab[32] as a linear algebraic Sylvester equation[25] with Assumption 4 given below.

      Assumption 4. $\lambda({{\varPhi}}_{\varDelta s})\neq \lambda({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})$.

      Assumption 4 is fulfilled because subsystem $({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})$ is user designed with the eigenvalues close to the origin, whereas the subsystem ${{\varPhi}}_{\varDelta s}$ has the original system's slow eigenvalues. Manipulating (12) and (14) gives ${{\varGamma}}_{\varDelta s} = {{\varGamma}}_{\varDelta 1}-{{M}} {{\varGamma}}_{\varDelta f}$. System (13) has a sampling period of $ \varDelta $ seconds. If $ \tau = N/\varDelta $, the system corresponding to the $ \tau $ sampling interval can be built from (13) as

      $ \left[ \begin{array}{*{20}{l}} {{z}}_{s,k+1} \\ {{z}}_{f,k+1} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{\varPhi}}_{\tau s} & \bf{0} \\ \bf{0} & {{\varPhi}}_{\tau f}\\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{s,k} \\ {{z}}_{f,k} \\ \end{array} \right] +\left[ \begin{array}{*{20}{l}} {{\varGamma}}_{\tau s} \\ {{\varGamma}}_{\tau f} \\ \end{array} \right]{{u}}_{s,k}. $

      (16)

      The state and input matrices of the $ \varDelta $ system (13) and $ \tau $ system (16) are related as ${{\varPhi}}_{\tau} = {{\varPhi}}_{\varDelta}^{N}$ and ${{\varGamma}}_{\tau} = \displaystyle\sum\nolimits_{i = 0}^{N-1}{{\varPhi}}_{\varDelta}^i{{\varGamma}}_{\varDelta}$. As a result, submatrices in (16) are obtained as

      $ \begin{aligned} \left\{\begin{array}{l} {{\varPhi}}_{\tau s} ={{\varPhi}}_{\varDelta s}^{N},\; {{\varGamma}}_{\tau s} = \displaystyle\sum\nolimits_{i = 0}^{N-1}{{\varPhi}}_{\varDelta s}^{i}{{\varGamma}}_{\varDelta s}\\ {{\varPhi}}_{\tau f} =({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})^{N},\\ {{\varGamma}}_{\tau f} = \displaystyle\sum\nolimits_{i = 0}^{N-1}({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})^{i}{{\varGamma}}_{\varDelta f}. \end{array} \right. \end{aligned}$

      (17)

      As the controllability of the slow subsystem $( {{\varPhi}}_{\tau s}, {{\varGamma}}_{\tau s})$ is confirmed by Assumption 3, in the second stage,

      $ {{u}}_{s,k} = -{{F}}_{s}{{z}}_{s,k} $

      (18)

      is designed and applied to (16) to have a closed-loop system

      $ \left[ \begin{array}{*{20}{l}} {{z}}_{s,k+1} \\ {{z}}_{f,k+1} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{\varPhi}}_{\tau s}-{{\varGamma}}_{\tau s}{{F}}_{s} & \bf{0} \\ -{{\varGamma}}_{\tau f}{{F}}_{s} & {{\varPhi}}_{\tau f}\\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{z}}_{s,k} \\ {{z}}_{f,k} \\ \end{array} \right]. $

      (19)

      In (19), the feedback gain $ {{F}}_s $ is selected, such that $\lambda({{\varPhi}}_{\tau s}-{{\varGamma}}_{\tau s}{{F}}_{s}) = \lambda_{\tau s}^{desired}$ and are placed near the unit circle. Thus, the overall MRSF control is

      $ {{u}}(t)= -{{F}}_{f}{{z}}_{f,l}-{{F}}_{s}{{z}}_{s,k} $

      (20)

      where

      $ \begin{array}{l} {{u}}_{f,l}= -{{F}}_{f}{{z}}_{f,l},\; k\tau+l\varDelta \leq t< k\tau+(l+1)\varDelta\\ {{u}}_{s,k}= -{{F}}_{s}{{z}}_{s,k},\; k\tau \leq t < (k+1)\tau. \end{array} $

      Lemma 1. Input (20), received by sampling fast and slow subsystem states respectively at $ \varDelta $ and $ \tau $ intervals, stabilizes system (19).

      Proof. In a block-triangular system (19), eigenvalues are the disjoint sum of eigenvalues of diagonal matrices ${{\varPhi}}_{\tau s}-{{\varGamma}}_{\tau s}{{F}}_{s}$ and ${{\varPhi}}_{\tau f}$. The subsystem $({{\varPhi}}_{\tau s}-{{\varGamma}}_{\tau s}{{F}}_{s})$ is stabilized with $ {{F}}_{s} $, so that the eigenvalues stay within the unit circle near the perimeter. On the other hand, subsystem ${{\varPhi}}_{\tau f}$ is given by (17), in which the eigenvalues of ${{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f}$ are stabilized by the feedback gain $ {{F}}_{f} $. At this instant, if $|\lambda({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})| < 1,$ then

      $ |\lambda(({{\varPhi}}_{\varDelta f}-{{\varGamma}}_{\varDelta f}{{F}}_{f})^{N})|<1 $

      (21)

      making $|\lambda({{\varPhi}}_{\tau f})| < 1$. As a deduction, input (20) stabilizes system (19). □

      The control input (20) is obtained by designing feedback controls for the completely decoupled fast ($ {{z}}_{f} $) and slow ($ {{z}}_{s} $) subsystem states at different sampling rates. Being internal and decoupled states, they cannot be measured and sampled directly for implementing (20). For that reason, an observer is desired to estimate them separately, so that they can be sampled at different rates. As a result, control (20) becomes

      $ {{u}}(t)= -{{F}}_{f}{\hat{z}}_{f,l}-{{F}}_{s}{\hat{z}}_{s,k} $

      (22)

      where ${\hat{z}}_{f}$ and $ {\hat{z}}_{s} $ are estimates of the continuous-time fast and slow subsystem states respectively. These are then sampled with the $ \varDelta $ and $ \tau $ sampling intervals to get the corresponding $ {\hat{z}}_{f,l} $ and $ {\hat{z}}_{s,k} $. In the next subsection, estimation of these states is discussed.

    • The full-order observer for (3)−(4) can be constructed[25] as

      $\begin{split} & \left[ \begin{array}{*{20}{l}} \dot{\hat{{z}}}_1 \\ \dot{\hat{{z}}}_2 \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{11} & {{A}}_{12} \\ \dfrac{{{A}}_{21}}{\varepsilon} & \dfrac{{{A}}_{22}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} \hat{{z}}_1 \\ \hat{{z}}_{2} \\ \end{array} \right]+\\ &\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\left[ \begin{array}{*{20}{l}} {{B}}_1 \\ \dfrac{{{B}}_2}{\varepsilon} \\ \end{array} \right]{{u}}+\left[ \begin{array}{*{20}{l}} {{L}}_{1}\\ \dfrac{{{L}}_{2}}{\varepsilon} \\ \end{array} \right]({{y}}-\hat{{y}}) \\ &\hat{{z}} = {{A}}\hat{{z}}+{{B}}{{u}}+{{L}}({{y}}-\hat{{y}}) = ({A-LC})\hat{{z}}+{{B}}{{u}}+{{L}}{{y}} \end{split}$

      (23)

      $ \hat{{y}}= \left[ \begin{array}{@{}cc@{}} {{C}}_1 & {{C}}_2 \\ \end{array} \right]\left[ \begin{array}{@{}cc@{}} \hat{{z}}_{1}^{\rm{T}} & \hat{{z}}_{2}^{\rm{T}} \\ \end{array} \right]^{\rm{T}} = {{C}}\hat{{z}} $

      (24)

      where $ \hat{{z}}_{1} $ and $ \hat{{z}}_{2} $ are estimates of $ {{z}}_{1} $ and $ {{z}}_{2} $, respectively. As transpose of the observer feedback matrix ${{A}}^{\rm{T}}- {{C}}^{\rm{T}}{{L}}^{\rm{T}}$ generates the dual representation to the system feedback matrix ${A-BK}$, a similar approach[17, 19] can be adapted to design $ {A-BK} $ and $ {A-LC} $. For this, consider a hypothetical system corresponding to (3)−(4) as

      $ \left[ \begin{array}{*{20}{l}} \dot{{x}}_1 \\ \dot{{x}}_2 \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{11}^{\rm{T}} & \dfrac{{{A}}_{21}^{\rm{T}}}{\varepsilon} \\ {{A}}_{12}^{\rm{T}} & \dfrac{{{A}}_{22}^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{x}}_1 \\ {{x}}_{2} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{C}}_{1}^{\rm{T}} \\ {{C}}_{2}^{\rm{T}} \\ \end{array} \right]\upsilon $

      (25)

      where $ {{x}}_1\in {\bf{R}}^{n_1} $ and $ {{x}}_2\in{\bf{ R}}^{n_2} $. Introducing the state variable transformation:

      $ \left[ \begin{array}{*{20}{l}} {{q}}_1 \\ {{q}}_2 \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{I}}_{n1} & \bf{0} \\ \bf{0} & \dfrac{{{I}}_{n2}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{x}}_1 \\ {{x}}_{2} \\ \end{array} \right] = {{T}}_1^{\rm{T}}\left[ \begin{array}{*{20}{l}} {{x}}_1 \\ {{x}}_{2} \\ \end{array} \right] $

      (26)

      system (25) is changed to standard singular perturbation form:

      $ \left[ \begin{array}{*{20}{l}} \dot{{q}}_1 \\ \dot{{q}}_2 \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{11}^{\rm{T}} & {{A}}_{21}^{\rm{T}} \\ \dfrac{{{A}}_{12}^{\rm{T}}}{\varepsilon} & \dfrac{{{A}}_{22}^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_1 \\ {{q}}_{2} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{C}}_{1}^{\rm{T}} \\ \dfrac{{{C}}_{2}^{\rm{T}}}{\varepsilon} \\ \end{array} \right]\upsilon. $

      (27)

      Later, system (27) is structured to a lower triangular form:

      $ \left[ \begin{array}{*{20}{l}} \dot{{q}}_s \\ \dot{{q}}_{2} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{s}^{\rm{T}} & \bf{0} \\ \dfrac{{{A}}_{12}^{\rm{T}}}{\varepsilon} & \dfrac{{{A}}_{f}^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{2} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{C}}_s^{\rm{T}} \\ \dfrac{{{C}}_{2}^{\rm{T}}}{\varepsilon} \\ \end{array} \right]\upsilon $

      (28)

      by applying state transformation

      $ \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{2} \\ \end{array} \right] = \left[ \begin{array}{@{}ccc@{}} {{I}}_{n1} & -\varepsilon {{P}}^{{{\rm{T}}}} \\ {0} & {{I}}_{n2} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_1 \\ {{q}}_{2} \\ \end{array} \right] = {{T}}_2^{{{\rm{T}}}}\left[ \begin{array}{*{20}{l}} {{q}}_1 \\ {{q}}_{2} \\ \end{array} \right] $

      (29)

      to (27). Herein, the matrix ${{P}}^{\rm{T}}$ is reckoned by solving

      $ \varepsilon({{A}}_{11}^{\rm{T}}-{{P}}^{\rm{T}}{{A}}_{12}^{\rm{T}}){{P}}^{\rm{T}}+ {{A}}_{21}^{\rm{T}}-{{P}}^{\rm{T}}{{A}}_{22}^{\rm{T}}= 0 $

      (30)

      iteratively, in the same way as that of (9). After that, one can gain ${{A}}_{s}^{\rm{T}} = {{A}}_{11}^{\rm{T}}-{{P}}^{{{\rm{T}}}}{{A}}_{12}^{\rm{T}}$, ${{A}}_{f}^{\rm{T}} = \varepsilon {{A}}_{12}^{\rm{T}}{{P}}^{\rm{T}}+ {{A}}_{22}$ and ${{C}}_{s}^{\rm{T}} = {{C}}_{1}^{\rm{T}}-{{P}}^{\rm{T}}{{C}}_{2}^{\rm{T}}$. Since $\lambda({{A}}) = \lambda({{A}}^{\rm{T}})$, system (28) also conforms to the eigenvalue grouping property of system (7). It is interesting to note that, the design of the feedback controller presented in Section 2.2 starts by decoupling the fast subsystem, as given by (12). Whereas the design of observer discussed in Section 2.2 is initiated by decoupling the slow subsystem, as shown by (28). This is due to the duality property, i.e., in designing the observer, the eigenvalue-assignment problem is solved for the dual system. For two-stage observer design, in the first stage, applying

      $ \qquad\qquad \upsilon = -{{L}}_{s}^{\rm{T}}{{q}}_{s}+\upsilon_{f} $

      (31)

      to system (28) leads to

      $ \left[ \begin{array}{*{20}{l}} \dot{{q}}_s \\ \dot{{q}}_{2} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{s}^{\rm{T}}-{{C}}_s^{\rm{T}}{{L}}_{s}^{\rm{T}} & \bf{0} \\ \dfrac{{{A}}_{12}^{\rm{T}}-{{C}}_{2}^{\rm{T}}{{L}}_{s}^{\rm{T}}}{\varepsilon} & \dfrac{{{A}}_{f}^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{2} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{C}}_s^{\rm{T}} \\ \dfrac{{{C}}_{2}^{\rm{T}}}{\varepsilon} \\ \end{array} \right]{\upsilon}_{f}. $

      (32)

      The slow subsystem observer gain ${{L}}_s^{\rm{T}}$ is selected, such that $\lambda({{A}}_{s}^{\rm{T}}-{{C}}_{s}^{\rm{T}}{{L}}_{s}^{\rm{T}}) = \lambda^{desired}_{s}$. As the transformations (26) and (29) transmute the original system from (25) to (28) without losing controllability (or observability), the pair $({{A}}_{s}^{\rm{T}},{{C}}_{s}^{\rm{T}})$ is controllable (or the pair $ ({{A}}_{s},{{C}}_{s}) $ is observable), due to which an arbitrary eigenvalue assignment is possible under Assumption 1 for slow subsystem. Next, system (32) is restructured as

      $ \left[ \begin{array}{*{20}{l}} \dot{{q}}_s \\ \dot{{q}}_{f} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {\bf{A}}_{s}^{\rm{T}}-{{C}}_s^{\rm{T}}{{L}}_{s}^{\rm{T}} & \bf{0} \\ \bf{0} & \dfrac{{{A}}_{f}^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{f} \\ \end{array} \right]+\left[ \begin{array}{*{20}{l}} {{C}}_s^{\rm{T}} \\ \dfrac{{{C}}_{f}^{\rm{T}}}{\varepsilon} \\ \end{array} \right]\upsilon_{f} $

      (33)

      by applying state variable transformation

      $ \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{f} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{I}}_{n1} & \bf{0} \\ {{H}}^{\rm{T}} & {{I}}_{n2} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{2} \\ \end{array} \right] = {{T}}_3^{\rm{T}}\left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{2} \\ \end{array} \right] $

      (34)

      to system (32), in which ${{C}}_{f}^{\rm{T}} = {{C}}_{2}^{\rm{T}}+\varepsilon{{{H}}}^{\rm{T}}{{C}}_{s}^{\rm{T}}$ and

      $ \varepsilon {{H}}^{\rm{T}}({{A}}_{s}^{\rm{T}}-{{C}}_{s}^{\rm{T}}{{L}}_{s}^{\rm{T}})+{{A}}_{12}^{\rm{T}}-{{C}}_{2}^{\rm{T}}{{L}}_{s}^{\rm{T}}-{{A}}_{f}^{\rm{T}}{{H}}^{\rm{T}} = 0. $

      (35)

      Just like (15), (35) can be solved to get ${{{H}}}^{\rm{T}}$ with Assumption 5 given below.

      Assumption 5. $\lambda({{A}}_{s}^{\rm{T}}-{{C}}_{s}^{\rm{T}}{{L}}_{s}^{\rm{T}}) \neq\lambda\left(\frac{{{A}}_{f}^{\rm{T}}}{\varepsilon} \right)$.

      Subsystem $({{A}}_{s}^{\rm{T}}-{{C}}_{s}^{\rm{T}}{{L}}_{s}^{\rm{T}})$ is user designed with asymptotically stable dominant eigenvalues and $\left(\dfrac{{{A}}_{f}^{\rm{T}}}{\varepsilon} \right)$ has the original system's non-dominant eigenvalues. That being so, Assumption 5 is satisfied. Thereupon, in the second stage, passing input

      $ \qquad\qquad \upsilon_{f} = -{{L}}_{f}^{\rm{T}}{{q}}_{f} $

      (36)

      to the system (33) provides

      $ \left[ \begin{array}{*{20}{l}} \dot{{q}}_s \\ \dot{{q}}_{f} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} {{A}}_{s}^{\rm{T}}-{{C}}_s^{\rm{T}}{\bf{L}}_{s}^{\rm{T}} & -{{C}}_s^{\rm{T}}{{L}}_{f}^{\rm{T}} \\ {0} & \dfrac{{{A}}_{f}^{\rm{T}}-{{C}}_{f}^{\rm{T}}{{L}}_{f}^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{q}}_s \\ {{q}}_{f} \\ \end{array} \right]. $

      (37)

      The fast subsystem observer gain ${{L}}_f^{\rm{T}}$ is designed so as to place $\lambda ({{{A}}_{f}^{\rm{T}}-{{C}}_{f}^{\rm{T}}{{L}}_{f}^{\rm{T}}})/{\varepsilon} = \lambda^{desired}_{f}$. Controllability of the fast subsystem $\left(({{{A}}_{f}^{\rm{T}}})/{\varepsilon},({{{C}}_{f}^{\rm{T}}})/{\varepsilon}\right)$ is preserved due to Assumption 1. Using inputs (31), (36) and transformations (26), (29) and (34), the overall observer gain is obtained as

      $ \upsilon = {{L}}^{\rm{T}}{{x}} = \left[ \begin{array}{@{}cc@{}} {{L}}_1^{\rm{T}} & \dfrac{1}{\varepsilon}{{L}}_2^{\rm{T}} \\ \end{array} \right]\left[ \begin{array}{@{}ccc@{}} {{x}}_1^{\rm{T}} & {{x}}_2^{\rm{T}} \\ \end{array} \right]^{\rm{T}} $

      (38)

      where ${{L}}_1^{\rm{T}} = -{{L}}_s^{\rm{T}}-{{L}}_f^{\rm{T}}{{H}}^{\rm{T}}$ and ${{L}}_{2}^{\rm{T}} = \varepsilon{{L}}_s^{\rm{T}}{{P}}^{\rm{T}}+ \varepsilon{{L}}_f^{\rm{T}}{{H}}^{\rm{T}} {{P}}^{\rm{T}} - {{L}}_{f}^{\rm{T}}.$ Once again, applying change of states

      $ \left[ \begin{array}{@{}cc@{}} {{x}}_s^{\rm{T}} & {{x}}_{f}^{\rm{T}} \\ \end{array} \right]^{\rm{T}} = {{T}}_1^{-{\rm{T}}}\left[ \begin{array}{@{}cc@{}} {{q}}_s^{\rm{T}} & {{q}}_{f}^{\rm{T}} \\ \end{array} \right]^{\rm{T}} $

      (39)

      to the system (37) results in

      $ \left[ \begin{array}{*{20}{l}} \dot{{x}}_s \\ \dot{{x}}_{f} \\ \end{array} \right] = \left[ \begin{array}{@{}cc@{}} ({{A}}_{s}-{{L}}_{s}{{C}}_s)^{\rm{T}} & \dfrac{-({{L}}_{f}{{C}}_s)^{\rm{T}}}{\varepsilon} \\ \bf{0} & \dfrac{({{A}}_{f}-{{L}}_{f}{{C}}_{f})^{\rm{T}}}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} {{x}}_s \\ {{x}}_{f} \\ \end{array} \right]. $

      (40)

      The hypothetical system (25) and system (40) are related by linear transformations (26), (29), (34) and (39) as

      $ \left[ \begin{array}{*{20}{l}} {{x}}_s\\ {{x}}_{f} \\ \end{array} \right] = {{T}}^{{\rm{T}}}\left[ \begin{array}{*{20}{l}} {{x}}_1 \\ {{x}}_{2} \\ \end{array} \right] \Longrightarrow \left[ \begin{array}{*{20}{l}} {{x}}_1\\ {{x}}_{2} \\ \end{array} \right] = {{T}}^{-{\rm{T}}}\left[ \begin{array}{*{20}{l}} {{x}}_s \\ {{x}}_{f} \\ \end{array} \right] $

      (41)

      where

      $ {{T}}^{\rm{T}} = {{T}}_1^{-{\rm{T}}}{{T}}_3^{\rm{T}}{{T}}_2^{\rm{T}}{{T}}_1^{\rm{T}} = \left[ \begin{array}{@{}cc@{}} {{I}}_{n_1} & -{{P}}^{\rm{T}} \\ \varepsilon {{H}}^{\rm{T}} & -\varepsilon {{H}}^{\rm{T}}{{P}}^{\rm{T}}+{{I}}_{n_2} \\ \end{array} \right]. $

      (42)

      Using (40) and the duality principle[19,25], the observer can be configured as

      $\begin{split} \left[ \begin{array}{*{20}{l}} \dot{\hat{{z}}}_s \\ \dot{\hat{{z}}}_{f} \\ \end{array} \right] =& \left[ \begin{array}{@{}cc@{}} ({{A}}_{s}-{{L}}_{s}{{C}}_s) & \bf{0} \\ \dfrac{-({{L}}_{f}{{C}}_s)}{\varepsilon} & \dfrac{({{A}}_{f}-{{L}}_{f}{{C}}_{f})}{\varepsilon} \\ \end{array} \right] \left[ \begin{array}{*{20}{l}} \hat{{z}}_s \\ \hat{{z}}_{f} \\ \end{array} \right] +\\ &\left[ \begin{array}{*{20}{l}} {{B}}_{os} \\ \dfrac{{{B}}_{of}}{\varepsilon} \\ \end{array} \right]{{u}}+\left[ \begin{array}{*{20}{l}} {{L}}_{s}\\ \dfrac{{{L}}_{f}}{\varepsilon} \\ \end{array} \right]{{y}}. \end{split}$

      (43)

      The intriguing aspect is that the observer configuration (43) is matched with system (19) for state estimation. This is attainable only when feedback control and observer designs start with decoupling fast and slow subsystems respectively. Employing (41) for a two-time-scale system (23)−(24) gives

      $ \left[ \begin{array}{@{}cc@{}} \hat{{z}}_1^{\rm{T}} & \hat{{z}}_{2}^{\rm{T}} \\ \end{array} \right]^{\rm{T}} = {{T}}\left[ \begin{array}{@{}cc@{}} \hat{{z}}_s^{\rm{T}} & \hat{{z}}_{f}^{\rm{T}} \\ \end{array} \right]^{\rm{T}} $

      (44)

      resulting in an observer that estimates slow and fast subsystem states as

      $ \left[ \begin{array}{*{20}{l}} \dot{\hat{{z}}}_s \\ \dot{\hat{{z}}}_{f} \\ \end{array} \right] = {{T}}^{-1} ({A-LC}) {{T}} \left[ \begin{array}{*{20}{l}} \hat{{z}}_s \\ \hat{{z}}_{f} \\ \end{array} \right] +{{T}}^{-1}{{B}} {{u}}+{{T}}^{-1}{{L}}{{y}}. $

      (45)

      Systems (43) and (45) are equivalent, in which case

      $ \begin{array}{l} {{T}}^{-1}{{L}} = \left[ \begin{array}{*{20}{l}} {{L}}_s \\ \dfrac{{{L}}_{f}}{\varepsilon} \\ \end{array} \right] \Longrightarrow {{L}} = {{T}}\left[ \begin{array}{*{20}{l}} {{L}}_s \\ \dfrac{{{L}}_{f}}{\varepsilon} \\ \end{array} \right] \end{array} $

      can be verified using (38) and (42). Similarly, using $ {{T}}^{-1}{{B}} $, one can get

      $ {{B}}_{os}= {{B}}_1-\varepsilon{HPB}_1-{HB}_2 $

      (46)

      $ \;\;\;\;\;\;\;\;\;\;\;\;\;\;{{B}}_{of}= \varepsilon{PB}_1+{{B}}_2. $

      (47)

      In observer (43), the slow and fast states are estimated sequentially, in which case slow states are independent of the fast states and are used to estimate fast states. State estimation and its use in implementation of feedback control is illustrated in Fig. 1.

      Figure 1.  Block diagram of observer-based controller design

      Novelty and benefits of the proposed sequential observer-based MRSF control design are listed below.

      1) The MRSF control design is completed using two state variable transformations, compared to three state variable transformations in [11]. Also, in contrast to four state variable transformations in [19], only three state variable transformations are required to complete the two-stage design of sequential observer. As a result, manual design complexity is reduced significantly.

      2) The offered design requires solutions of two algebraic equations for both MRSF control design and sequential observer design, i.e., solutions of four algebraic equations in all. Perversely, using straightforward designs in [11] and [19], solutions of six algebraic equations are required. As a lower number of algebraic equations need to be solved, the online computations are minimized.

      3) The presented control design method uses the multirate sampling concept, due to which the online computations are reduced compared to the fast single-rate sampling[12], and the closed-loop performance is greatly improved compared to slower single-rate sampling[13].

      4) In MRSF control, the on-line computations are reduced by around $ n_1(N-1) $ in one $ \tau $ sampling interval, compared to single-rate sampling control when designed with $ \varDelta $ seconds.

      5) Since both designs (MRSF control and sequential observer) are done in two independent stages by the application of similarity transformations, eventual inaccuracies made in the second stage will not affect the first stage design accuracy.

      The step-by-step design procedure is given below.

      Step 1. Solve the algebraic (9) to get $ {{P}} $.

      Step 2. Determine ${{A}}_{s}$, ${{A}}_{f}$, ${{B}}_{f}$ and construct system (7).

      Step 3. Discretize (7) with $ \varDelta $ interval to get (10).

      Step 4. Obtain $ {{F}}_{f} $, so that $\lambda({{\varPhi}}_{\varDelta f}- {{\varGamma}}_{\varDelta f}{{F}}_{f}) = \lambda^{desired}_{\varDelta f}.$

      Step 5. Compute $ {{M}} $ by solving (15) and determine ${{\varGamma}}_{\varDelta s}$.

      Step 6. Build (16) with $ \tau $ interval using (17).

      Step 7. Find out $ {{F}}_{s} $, so that $\lambda({{\varPhi}}_{\tau s}- {{\varGamma}}_{\tau s}{{F}}_{s}) = \lambda^{desired}_{\tau s}$.

      Step 8. Sample $ {{z}}_s $ and $ {{z}}_f $, obtained in Step 14, with $ \tau $ and $ \varDelta $ intervals respectively and construct (20).

      Step 9. Evaluate the algebraic equation (30) for ${{P}}^{\rm{T}}$.

      Step 10. Calculate $ {{A}}_{s}^{\rm{T}} $, $ {{A}}_{f}^{\rm{T}} $, $ {{C}}_{s}^{\rm{T}} $ and achieve system (28).

      Step 11. Find out $ {{L}}_{s}^{\rm{T}} $, so that $\lambda({{A}}_{s}^{\rm{T}}- {{C}}_{s}^{\rm{T}}{{L}}_{s}^{\rm{T}}) = \lambda^{desired}_{s}$.

      Step 12. Estimate $ {{H}}^{\rm{T}} $ by exercising (35) and get $ {{C}}_{f}^{\rm{T}} $.

      Step 13. Obtain ${{L}}_{f}^{\rm{T}}$, with $\lambda(({{A}}_{f}^{\rm{T}}-{{C}}_{f}^{\rm{T}}{{L}}_{f}^{\rm{T}})/\varepsilon) = \lambda^{desired}_{f}$.

      Step 14. Determine $ {{B}}_{os} $ and $ {{B}}_{of} $ in (46), (47) and formulate (43) for estimating $ {{z}}_s $ and $ {{z}}_f $.

    • Let us consider a fifth order steam power system[12], having two slow and three fast eigenvalues with the state, input and output matrices as

      $ {\begin{split} &{{A}}\;= \!\left[ \begin{array}{@{}rrrrr@{}} -0.112\,5 & 0.046\,8 & 0.104\,9 & 0.000\,1 & 0.187\,6\\ -0.000\,1 & -0.166\,9 & -0.000\,0 & -0.000\,2 & 0.626\,4\\ -0.000\,0 & 1.333\,3 & -2.000\,1 & -0.000\,0 & -0.000\,4\\ -2.000\,0 & 0.000\,1 & -0.000\,1 & -2.000\,1 & 0.000\,1\\ 0.000\,6 & -0.000\,1 & 0.000\,7 & 1.267\,7 & -5.001\,4\\ \end{array} \right] \\ &{{B}} = \left[ \begin{array}{@{}r@{}} 0.000\,1\\ 0.149\,9\\ 0.000\,3\\ 1.500\,3\\ -0.002\,2\\ \end{array} \right], \;\;\;{{C}}= \left[ \begin{array}{@{}rrrrr@{}} 1 & 1 & 0 & 0 & 0\\ 0 & 0 & 1 & 1 & 1\\ \end{array} \right]. \end{split} }$

      Eigenvalues are located at ($-5.033\,2$, $-1.969\,7\pm 0.142\,8{\rm i}$, $-0.154\,2 \pm 0.149\,4{\rm i}$) with the ratio of slow versus fast states as $\varepsilon = \dfrac{{\rm{max}}|\lambda_s|}{{\rm{min}}|\lambda_f|} = 0.108\,7.$ Thus, $ N $ is taken as 9 $\left( < \dfrac{1}{\varepsilon}\right)$. If the sampling duration for the slow subsystem is selected as $ \tau = 1.8 $ s, then the fast subsystem states are sampled at every $ \varDelta = 0.2 $ s. Suppose the desired eigenvalues of the continuous-time system are $ (-0.20, -0.35,-3.10,-4.30,-5.50) $. Consequently, the desired eigenvalues in z-domain for the slow and fast subsystems for $ \tau $ and $ \varDelta $ sampling intervals respectively, can be obtained by ${\rm{e}}^{\lambda_i T_s}$, where $ \lambda_i $ is the i-th eigenvalue of the continuous-time system and $ T_s $ is the sampling period. Accordingly, $\lambda^{desired}_{\varDelta f} = (0.537\,9, 0.423\,2, 0.332\,9)$ and $\lambda^{desired}_{\tau s} = (0.697\,7, 0.532\,6).$ Now, solution of (9) is found by the fixed point iteration method[31] to get ${{P}}$ and an upper triangular form (7) is reached with

      $ \begin{split} &{{A}}_s= \left[ \begin{array}{@{}rr@{}} -0.158\,2 & 0.126\,9\\ -0.176\,1 & -0.150\,2\\ \end{array} \right], \;{{B}}_f = \left[ \begin{array}{@{}r@{}} -0.011\,6 \\ 0.161\,9 \\ -0.000\,7\\ \end{array} \right] \\ &{{A}}_f = \left[ \begin{array}{@{}rrr@{}} -0.218\,3 & 0.000\,0 & -0.050\,2\\ 0.012\,3 & -0.217\,5 & 0.017\,0\\ 0.003\,3 & 0.137\,8 & -0.539\,9\\ \end{array} \right]. \end{split} $

      This system is then discretized with a sampling period of 0.2 s. Later, to place $ \lambda^{desired}_{\varDelta f} $, the feedback gain is determined as ${{F}}_{f} = \left[ \begin{array}{@{}rrr@{}} -5.727\,7 & 1.195\,9 & 0.898\,6\\ \end{array} \right].$ Next, $ {{M}} $ is estimated to get (13) and subsequently system (16) with $ \tau $ sampling interval is derived using (17), in which case

      $ \begin{split} &{{\varPhi}}_{\tau s}= \left[ \begin{array}{@{}rr@{}} 0.725\,0 & 0.171\,0\\ -0.237\,3 & 0.735\,8\\ \end{array} \right], \;{{\varGamma}}_{\tau s} = \left[ \begin{array}{@{}r@{}} 0.045\,8\\ 0.540\,1\\ \end{array} \right]\\ &{{\varPhi}}_{\tau f}= \left[ \begin{array}{@{}rrr@{}} 0.007\,1 & 0.000\,0 & -0.001\,1\\ 0.034\,8 & 0.000\,2 & -0.005\,4\\ 0.020\,5 & 0.000\,4 & -0.003\,0\\ \end{array} \right],\; {{\varGamma}}_{\tau f} = \left[ \begin{array}{@{}r@{}} -0.036\,6\\ 0.288\,4\\ 0.073\,4\\ \end{array} \right]. \end{split} $

      The slow subsystem eigenvalues are placed at $ \lambda^{desired}_{\tau s} $ by computing ${{F}}_{s} = \left[ { - 0.330\,7\;\;0.454\,8} \right]$. Utilizing obtained feedback gains, control input (20) is formulated. The system initial conditions are taken as (−0.2, 0.1, 0.1, −0.2, 0.4). States $ {{z}}_s $ and $ {{z}}_{f} $ are estimated using the sequential observer and are sampled at $ \tau $ and $ \varDelta $ sampling intervals respectively, with desired observer eigenvalues as (−1.6, −1.8, −9.8, −11.2, −13.1). For this, the solution of (30) is determined and system (28) is obtained. ${{P}}^{\rm{T}}$ in (30) and ${{A}}_s^{\rm{T}}$ and ${{A}}_f^{\rm{T}}$ in (28) are the exact transpose matrices of $ {{P}} $ in (9) and $ {{A}}_s $ and $ {{A}}_f $ in (7) respectively. After that, ${{C}}_s^{\rm{T}}$ in (28) is obtained and then, to position $ \lambda^{desired}_{s} $, the observer gain ${{L}}_{s}^{\rm{T}}$ is determined. These are given below:

      $ \begin{array}{l} {{C}}_s^{\rm{T}} = \left[ \begin{array}{@{}rr@{}} 1.000\,0 & -1.291\,5\\ 1.000\,0 & 0.816\,8\\ \end{array} \right], \;{{L}}_{s}^{\rm{T}} = \left[ \begin{array}{@{}rr@{}} 0.636\,3 & 0.942\,4\\ -0.623\,6 & 0.866\,0\\ \end{array} \right]. \end{array} $

      Then, ${{H}}^{\rm{T}}$ is calculated to gain (33) with

      $ \begin{array}{l} {{C}}_f^{\rm{T}}= \left[ \begin{array}{@{}rr@{}} 2.337\,5 & 7.611\,7\\ -0.729\,3 & 3.751\,6\\ -0.557\,0 & 0.563\,4\\ \end{array} \right]. \end{array} $

      The fast subsystem eigenvalues are placed at $ \lambda^{desired}_{f} $ by determining

      $ \begin{array}{l} {{L}}_{f}^{\rm{T}}= \left[ \begin{array}{@{}rrr@{}} 0.427\,4 & -1.471\,0 & 1.477\,5\\ -0.004\,3 & 0.478\,5 & -0.494\,7\\ \end{array} \right]. \end{array} $

      Finally, $ {{B}}_{os} $ and $ {{B}}_{of} $ are calculated using (46) and (47), respectively as

      $ \begin{array}{l} {{B}}_{os}= \left[ \begin{array}{@{}r@{}} 2.125\,7\\ -0.642\,8\\ \end{array} \right], \;{{B}}_{of} = \left[ \begin{array}{@{}r@{}} -0.011\,6\\ 0.161\,9\\ -0.000\,7\\ \end{array} \right]. \end{array} $

      Initial conditions for the estimated states of the original system (23) are obtained as given in [19] and initial conditions for the decoupled states are obtained from the relation (44). Using all these feedback and observer gains, initial conditions and other submatrices, the overall system is simulated. The simulation results are compared with the single-rate sampling videlicet $ \varDelta $ and $ \tau $ seconds. Figs. 2 and 3 depict estimation errors of the decoupled and sampled slow and fast subsystem states, respectively. Fig. 4 shows the evolution of the control input and outputs. Evolutions of the states of the original system are represented in Figs. 5 and 6. From the simulation results, a significant improvement in the overall system performance can be observed with the MRSF control compared to single-rate sampling $ (\tau) $. Moreover, the online computations are reduced compared to single-rate sampling $ (\varDelta) $ with nearly matching performance.

      Figure 2.  Estimation errors for the decoupled slow subsystem states

      Figure 3.  Estimation errors for the decoupled fast subsystem states

      Figure 4.  Evolution of control input and system outputs

      Figure 5.  Evolution of ${{z}}_1$ and ${{z}}_2$ states of the original system

      Figure 6.  Evolution of $ {{z}}_3 $, $ {{z}}_4 $ and $ {{z}}_5 $ states of the original system

    • In this paper, a multirate state feedback control scheme is presented for a two-time-scale system using the exact separation of the fast and slow subsystems. The fast subsystem states are sampled at a higher rate than the slow subsystem states. Two steps of subsystem separation and two stages of MRSF control are merged. For control implementation, the decoupled states are computed by a sequential two-stage observer, designed for a continuous two-time-scale system. The proposed control is then applied to an illustrative example and simulations are presented. Simulations are compared with the single-rate sampling and it is observed that the multirate sampling improves system performance. Although the observer is designed in a continuous-time domain in this paper, the multirate state estimation problem may be considered in future.

    • This work was supported by National Natural Science Foundation of China (No. 61750110524) and National Key R&D Program of China (No. 2017YFE0128500).

Reference (32)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return