-
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.
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. -
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).
-
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.
-
Key words:
- Feedback control /
- multirate sampling /
- sequential observer /
- two-stage design /
- two-time-scale system
-
[1] D. P. Glasson. Development and applications of multirate digital control [25 Years Ago]. IEEE Control Systems Magazine, vol. 28, no. 5, pp. 13–15, 2008. DOI: 10.1109/MCS.2008.927958. [2] M. Araki, T. Hagiwara. Pole assignment by multirate sampled-data output feedback. International Journal of Control, vol. 44, no. 6, pp. 1661–1673, 1986. DOI: 10.1080/00207178608933692. [3] A. B. Chammas, C. T. Leondes. Pole assignment by piecewise constant output feedback. International Journal of Control, vol. 29, no. 1, pp. 31–38, 1979. DOI: 10.1080/00207177908922677. [4] T. Hagiwara, M. Araki. Design of a stable state feedback controller based on the multirate sampling of the plant output. IEEE Transactions on Automatic Control, vol. 33, no. 9, pp. 812–819, 1988. DOI: 10.1109/9.1309. [5] Z. Li, S. R. Xue, X. H. Yu, H. J. Gao. Controller optimization for multirate systems based on reinforcement learning. International Journal of Automation and Computing, vol. 17, no. 3, pp. 417–427, 2020. DOI: 10.1007/s11633-020-1229-0. [6] R. K. Munje, B. M. Patre. Fast output sampling controller for three time scale systems. In Proceedings of Indian Control Conference,IEEE,Hyderabad,India, pp. 456–460, 2016. DOI: 10.1109/INDIANCC.2016.7441174. [7] R. K. Munje, B. M. Patre, A. P. Tiwari. Periodic output feedback for spatial control of AHWR: A three-time-scale approach. IEEE Transactions on Nuclear Science, vol. 61, no. 4, pp. 2373–2382, 2014. DOI: 10.1109/TNS.2014.2327691. [8] A. P. Tiwari, G. D. Reddy, B. Bandyopadhyay. Design of periodic output feedback and fast output sampling based controllers for systems with slow and fast modes. Asian Journal of Control, vol. 14, no. 1, pp. 271–277, 2012. DOI: 10.1002/asjc.357. [9] Y. Zhang, D. S. Naidu, C. X. Cai, A. Y. Zou. Singular perturbations and time scales in control theories and applications: An overview 2002–2012. International Journal of Informaton and Systems Sciences, vol. 9, no. 1, pp. 1–36, 2014. [10] A. Tellili, N. Abdelkrim, A. Challouf, M. N. Abdelkrim. Adaptive fault tolerant control of multi-time-scale singularly perturbed systems. International Journal of Automation and Computing, vol. 15, no. 1, pp. 736–746, 2018. DOI: 10.1007/s11633-016-0971-9. [11] R. G. Phillips. Reduced order modelling and control of two-time-scale discrete systems. International Journal of Control, vol. 31, no. 4, pp. 765–780, 1980. DOI: 10.1080/00207178008961081. [12] V. Radisavljevic-Gajic. A simplified two-stage design of linear discrete-time feedback controllers. Journal of Dynamic Systems,Measurement,and Control, vol. 137, no. 1, Article number 014506, 2015. DOI: 10.1115/1.4028153. [13] V. Radisavljevic-Gajic. Two-stage feedback control design for a class of linear discrete-time systems with slow and fast modes. Journal of Dynamic Systems,Measurement,and Control, vol. 137, no. 8, Article number 084502, 2015. DOI: 10.1115/1.4030088. [14] B. Litkouhi, H. Khalil. Multirate and composite control of two-time-scale discrete-time systems. IEEE Transactions on Automatic Control, vol. 30, no. 7, pp. 645–651, 1985. DOI: 10.1109/TAC.1985.1104024. [15] H. Kando, T. Iwazumt. Multirate digital control design of an optimal regulator via singular perturbation theory. International Journal of Control, vol. 44, no. 6, pp. 1555–1578, 1986. DOI: 10.1080/00207178608933686. [16] B. Lennarston. Multirate sampled-data control of two-time-scale systems. IEEE Transactions on Automatic Control, vol. 34, no. 6, pp. 642–644, 1989. DOI: 10.1109/9.24238. [17] R. Munje, D. Y. Gu, R. Desai, B. Patre, W. D. Zhang. Observer-based spatial control of advanced heavy water reactor using time-scale decoupling. IEEE Transactions on Nuclear Science, vol. 65, no. 11, pp. 2756–2766, 2018. DOI: 10.1109/TNS.2018.2873803. [18] H. Yoo, Z. Gajic. New designs of reduced-order observer-based controllers for singularly perturbed linear systems. Mathematical Problems in Engineering, vol. 2017, Article number 2859548, 2017. DOI: 10.1155/2017/2859548. [19] H. Yoo, Z. Gajic. New designs of linear observers and observer-based controllers for singularly perturbed linear systems. IEEE Transactions on Automatic Control, vol. 63, no. 11, pp. 3904–3911, 2018. DOI: 10.1109/TAC.2018.2814920. [20] M. Bidani, M. Djemai. A multirate digital control via a discrete-time observer for non-linear singularly perturbed continuous-time systems. International Journal of Control, vol. 75, no. 8, pp. 591–613, 2002. DOI: 10.1080/00207170210132978. [21] H. Kando, H. Ukai, Y. Morita. Design of multirate observers and multirate control systems. International Journal of Systems Science, vol. 31, no. 8, pp. 1021–1030, 2000. DOI: 10.1080/002077200412168. [22] H. Kando, H. Ukai. Design of reduced-order multirate observers and stabilizing multirate controllers via singular perturbation theory. Optimal Control Applications and Methods, vol. 19, no. 6, pp. 435–445, 1998. [23] K. Kumari, B. Bandyopadhyay, K. S. Kim, H. Shim. Output feedback based event-triggered sliding mode control for delta operator systems. Automatica, vol. 103, pp. 1–10, 2019. DOI: 10.1016/j.automatica.2019.01.015. [24] J. A. Isaza, H. A. Botero, H. Alvarez. State estimation using non-uniform and delayed information: A review. International Journal of Automation and Computing,vol.15, vol. 2, pp. 125–141, 2018. DOI: 10.1007/s11633-017-1106-7. [25] C. T. Chen, Linear System Theory and Design, New York, USA: Oxford University Press, 1999. [26] P. Kokotovic, H. K. Khalil, J. O′Reilly. Singular Perturbation Methods in Control: Analysis and Design, Philadelphia, USA: SIAM Publishers, 1999. [27] D. S. Naidu, A. K. Rao, Singular Perturbation Analysis of Discrete Control Systems, Berlin, Germany: Springer-Verlag, 1985. [28] A. J. Jerri. The Shannon sampling theorem-its various extensions and applications: A tutorial review. Proceedings of the IEEE, vol. 65, no. 11, pp. 1565–1596, 1977. DOI: 10.1109/PROC.1977.10771. [29] F. Ding, L. Qiu, T. W. Chen. Reconstruction of continuous-time systems from their non-uniformly sampled discrete-time systems. Automatica, vol. 45, no. 2, pp. 324–332, 2009. DOI: 10.1016/j.automatica.2008.08.007. [30] G. S. Ladde, S. G. Rajalakshmi. Diagonalization and stability of multi-time-scale singularly perturbed linear systems. Applied Mathematics and Computation, vol. 16, no. 2, pp. 115–140, 1985. DOI: 10.1016/0096-3003(85)90003-7. [31] D. S. Naidu. Singular Perturbation Methodology in Control Systems, London, UK: Peter Peregrinus Ltd., 1988. DOI: 10.1049/PBCE034E. [32] MATLAB. Simulink Control Design Toolbox User Manual, Math Works, Version 4.5, [Online], Available: https://in.mathworks.com/help/slcontrol/, 2017. -