Abstract
The paper develops new results on stability analysis and stabilization of linear repetitive processes. Repetitive processes are a distinct subclass of two-dimensional (2D) systems, whose origins are in the modeling for control of mining and metal rolling operations. The reported systems theory for them has been applied in other areas such iterative learning control, where, uniquely among 2D systems based designs, experimental validation results have been reported. This paper uses a version of the Kalman–Yakubovich–Popov Lemma to develop new less conservative conditions for stability in terms of linear matrix inequalities, with an extension to control law design. Differential and discrete dynamics are analysed in an unified manner, and supporting numerical examples are given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Repetitive processes have their origins in the modeling and control of long-wall coal cutting and material rolling operations, see, e.g., Rogers et al. (2007), which, in turn, cited the original work. Their characteristic is illustrated by the case of a material or workpiece, processed by a series of sweeps of a processing tool, which is of finite duration. In the literature, each sweep is often termed a pass and the finite duration is known as the pass length.
An industrial example that highlights the characteristics of repetitive processes is metal rolling operations see, e.g., Rogers et al. (2015), where, in essence, deformation of the workpiece takes place by passing the workpiece between two rolls multiple times, i.e, passes in repetitive process terminology. The objective is to reduce the thickness to a predefined value, where each pass produces a pass profile \(y_{k}(t),\; 0 \le t \le \alpha .\) In this notation y is the vector or scalar-valued variable under consideration, the non-negative integer k is the pass number and \(\alpha < \infty \) denotes the pass length. Moreover, the pass profile on any pass explicitly contributes to the profile produced on the next pass and so on.
In general, the control problem for repetitive processes is that the sequence of pass profiles \(\{y_{k}\}_{k}\) can contain oscillations that increase in amplitude from pass-to-pass, i.e., in k. Moreover, this undesirable feature cannot be removed by standard control action, e.g., joining successive passes end-to-end to convert the dynamics to those of a standard system, see Rogers et al. (2007) where the deficiencies of this approach are explained. Instead, control design has to be based on regulating the 2-D dynamics that arise from information propagation along the passes and from pass-to-pass.
A stability theory for these processes has been developed (Rogers et al. 2007) that is of the bounded-input bounded-output form based on the pass profile. In particular, a bounded initial pass profile is required to produce a bounded sequence, \(\{y_{k}\}_{k}\), of pass profiles, where boundedness is defined in terms of the norm on the underlying function space. This theory is based on a general model that includes all linear constant pass length examples as special cases. It allows specific treatment of the boundary conditions at the start of each pass, which must have a very particular and restrictive form for analysis based on the alternative above to produce correct results.
Aside from their use in the analysis and control of physical examples, the repetitive process setting has been used as a basis for solving problems in other areas of control theory, such as iterative learning control (ILC) law design, see, e.g., Rogers et al. (2015) and Paszke et al. (2016)) and iterative algorithms for solving nonlinear dynamic optimal control problems based on the maximum principle (Roberts 2002). In this latter case, a more general form of pass initial conditions is required and the alternative setting discussed above is not applicable. Moreover, in the ILC application designs based on repetitive process theory have been followed through to experimental validation, as in Paszke et al. (2016).
For linear dynamics, the stability theory has been developed the stage where the conditions for this property can be tested using well known tests from standard linear systems theory. However, these tests do not form a general basis for control law design and this has led to the development of Linear Matrix Inequality (LMI) based tests that extend naturally to control law design, where this approach is used in Paszke et al. (2016) with supporting experimental validation. These conditions are sufficient but not necessary and hence there is a level of conservativeness associated with their use.
The main objective of this paper is to develop new stability conditions in terms of LMIs by applying a frequency-discretization technique for differential and discrete linear repetitive processes, i.e., processes where the dynamics along a pass are governed, respectively, by a linear differential or difference equation. The outcome is relaxed stability conditions in terms of LMIs, which can be easily solved via standard numerical software. The main idea supporting the new result in this paper is a significant reduction of the conservatism of the resulting stability condition by dividing the entire frequency domain into sub-intervals and applying the Generalized Kalman–Yakubovich–Popov (GKYP) Lemma to each of them. As a result, some matrix variables are not required to be fixed over the entire frequency range. Also, this property enables control performance objectives to be imposed over specified finite frequency ranges. Hence a reduction in conservatism is possible by avoiding over-design using the entire frequency range. Additionally, using the Elimination Lemma, standard analysis and design criteria are extended by introducing slack matrix variables. Hence, such conditions are more suitable for stabilizing controllers as products between matrix variables and those describing the process state-space model matrices are eliminated.
Preliminary results on this approach for discrete (Rogers et al. 2016; Li et al. 2015) and differential (Boski et al. 2018; Wang et al. 2017) repetitive processes have been reported. In this paper an approach is developed that enables differential and discrete dynamics to be analysed in unified manner by applying the GKYP and Elimination (Projection) Lemmas. Moreover, the new approach allows for a reduction in conservatism by introducing additional decision variables into final stability conditions in LMI form. Next, the stability conditions are extended to allow control law design and more general cases where the process matrices contain uncertain parameters. Finally, the effectiveness and advantages of the new conditions are demonstrated by two examples.
Throughout this paper the null and identity matrices, respectively, with compatible dimensions are denoted by 0 and I. For a square matrix M, \(\text {sym}\{M\}\) denotes \(M+M^T\) and \(\rho (\cdot )\) the spectral radius of its matrix arguments. Furthermore, \(M\succ 0\) (\(M\prec 0\)) means that the symmetric matrix M is positive definite (negative definite). Also, two specific regions of the complex plane are defined: \({\mathbb {C}}_{hp}=\{\lambda \in {\mathbb {C}}|\;\text {Re}(\lambda )<0\}\) (open left half plane) and \({\mathbb {C}}_{uc}=\{\lambda \in {\mathbb {C}}|\;|\lambda |<1\}\) (an open disc centered at the origin and of unit radius). Finally, \(\otimes \) denotes the Kronecker product, \((\star )\) block entries in symmetric matrices and the superscript \(*\) denotes the complex conjugate transpose operation (for both scalars and matrices).
The new results in this paper are formulated in terms of LMIs and hence the following lemmas are useful in transforming non-LMI formulations into a problem subject to LMI constraints, where the first is the Elimination Lemma and the second is a version of the GKYP lemma.
Lemma 1
(Gahinet and Apkarian 1994) Consider compatibly dimensioned matrices \(\varGamma \), \(\varLambda \) and \(\Sigma \) , where \(\varGamma =\varGamma ^T\). Then there exists a matrix W such that
if and only if
where \(\varLambda _{\perp }\) and \(\Sigma _{\perp }\) are arbitrary matrices whose columns, respectively, form a basis for the nullspaces of \(\varLambda \) and \(\Sigma \). Hence \(\varLambda \varLambda _{\perp }=0\) and \(\Sigma \Sigma _{\perp }=0\).
Suppose that \(\varLambda (\varPhi ,\varPsi )\) is a set of complex numbers that represents a certain class of curves in the complex plane defined as
where \(\varPhi \) and \(\varPsi \) are given matrices of dimension \(2\times 2\). As detailed in Iwasaki and Hara (2005), the imaginary axis and the unit circle are the particular examples of (3) with \(\varPsi =0\) and \(\varPhi \) as
for the imaginary axis, respectively, the unit circle. Furthermore, by appropriately selecting \(\varPsi \), the frequency variable \(\lambda \in \varLambda (\varPhi ,\varPsi )\) can be restricted to a certain range of frequencies (finite or semi-finite) and the following result can be established.
Lemma 2
(Iwasaki and Hara 2005) Consider dimensioned matrices A, C, \(\varPhi \), \(\varPsi \) and \(\Xi \). Then if \(\det (\lambda I-A)\ne 0\) for all \(\lambda \in \varLambda (\varPhi ,\varPsi )\) the following conditions are equivalent:
-
(i)
The frequency domain inequality
$$\begin{aligned} \left[ \!\!\begin{array}{c} (\lambda I-A^T)^{-1}C^{T}\\ I \end{array}\!\!\right] ^{*}\Xi \left[ \!\!\begin{array}{c} (\lambda I-A^T)^{-1}C^{T}\\ I \end{array}\!\!\right] \prec 0 \end{aligned}$$(5)holds \(\forall \omega \in \varOmega \) (differential dynamics and \(\lambda =j\omega \)) or \(\forall \theta \in \varTheta \) (discrete dynamics and \(\lambda =e^{j\theta }\)) where \(\varOmega \) and \(\varTheta \) are, respectively the frequency ranges given in Tables 1 and 2.
-
(ii)
There exist matrices \(Q\succ 0\) and a symmetric matrix \(P_1\) such that
$$\begin{aligned} \left[ \!\!\begin{array}{cc} A&{}\quad I\\ C&{}\quad 0 \end{array}\!\!\right] \left( \varPsi ^*\otimes Q\!+\!\varPhi ^*\otimes P_1\right) \left[ \!\!\begin{array}{cc} A&{}\quad I\\ C&{}\quad 0 \end{array}\!\!\right] ^{T} \!+\!\Xi \!\prec \!0. \end{aligned}$$(6)
Appropriate choices for the matrix \(\Xi \) in Lemma 2 allows the analysis of the various system properties. Included in these is the bounded realness property, which is related to the stability and finite gain of a linear system. Hence, the matrix \(\Xi \) is fixed as
where \(P_2 \succ 0\), \(\Pi =\mathrm{diag}\{1, -\gamma ^2\}\) and \(\gamma \) is a given scalar satisfying \(0<\gamma \le 1\) and allows the specification of a process gain bound. Also, Lemma 2 provides a dual version of the GKYP lemma, which is exploited in the analysis that follows.
2 Stability of linear repetitive processes
The linear repetitive processes considered in this paper are of the following form
with \(\eta \) representing the differential operator (in case of differential repetitive processes) or one step forward shift operator (in case of discrete repetitive processes). When a differential repetitive process is considered then t is the continuous variable such that \(t\in [0,\alpha ]\), where \(\alpha \) is a strictly positive real number, while in case of discrete repetitive process t is a discrete variable such that \(t\in [0,\alpha -1]\) and the domain of \(\alpha \) is limited to positive integers. Also, \(x_k(t)\in \mathbb {R}^n\), \(u_k(t) \in \mathbb {R}^m\) and \(y_k(t) \in \mathbb {R}^p\) represent the process state, input and output vectors at time instant t on pass k.
The boundary conditions for these processes are the state initial vector on each pass and the initial pass profile. In the analysis of this paper, no loss of generality arises from assuming (for differential processes and with an equivalent statement for discrete processes) that \(x_{k+1}(0)=0\), \(\forall k\ge 0\), and \(y_{0}(t)=f(t)\), \(0\le t\le \alpha \), where the entries in the vector \(f(t)\in {\mathbb {R}}^p\) are known functions of t.
In repetitive processes described by (8) and the assumed boundary conditions, the influence of the previous pass profile on the dynamics of the next pass arise from the term \(B_{0}y_{k}(t)\) for the state dynamics and \(D_{0}y_{k}(t)\) for the pass profile. The stability theory can be applied over the finite and fixed pass length or for all possible pass lengths, where this last case can be analyzed mathematically by considering the case when \(\alpha \rightarrow \infty .\) The first property is termed asymptotic stability and the latter stability along the pass. Moreover, stability along the pass requires the boundedness property to hold for all possible values of the pass length. In contrast, asymptotic stability requires this property for the pass length of the process and is, therefore, a necessary condition for stability along the pass.
Asymptotic stability guarantees that the sequence of pass profiles \(\{y_{k}\}_{k}\) converges as \(k \rightarrow \infty \) to dynamics described by a standard linear systems state-space model but not that this system is stable. The reason for this fact is the finite pass length, over which duration even an unstable system can only produce a bounded output. Stability along the pass removes this difficulty but there are cases, such as the optimal control application (Roberts 2002) where asymptotic stability suffices (or is all that can be achieved).
The structure of the boundary conditions is area where critical differences exist between repetitive processes and other classes of 2D systems dynamics. In some applications for repetitive processes the initial conditions at the start of each pass are explicit functions of points along the previous pass profile and the structure of these initial conditions play a critical role in stability analysis (Rogers et al. 2007). This form of boundary conditions cannot arise in Roesser and Fornasini Marchesini state-space models for quarter plane causal 2D linear systems and hence no exchange of, say, stability tests is possible (a detailed treatment of this issue is given in Rogers et al. (2007), which also cites the references for these models). In cases where the initial state vector on each pass does not depend on the previous pass profile, the dynamics of a linear repetitive process can be written as a Roesser model. Then, the stability tests and procedures available for the design of stabilizing control laws for the Roesser model can be applied. In particular, Bachelier et al. (2019) interprets the stability along the pass property of a linear repetitive process as the structural stability of the equivalent Roesser model and develops weakly conservative stability and stabilization results based on the polynomial solution parameter dependent LMIs. However, these results are for stabilizability and do not enable design to meet performance specifications over finite frequency ranges.
Suppose that the matrix \(\varPhi \) and the region of the complex plane \({\mathbb {C}}_{A}\) are chosen as in Table 3.
Then the lemma given next establishes conditions for stability along the pass of linear repetitive processes.
Lemma 3
(Rogers et al. 2007) A linear repetitive process described by (8) is stable along the pass if and only if
-
(i)
\(\mathrm{eig}\left( D_0\right) \subset {\mathbb {C}}_{uc}\),
-
(ii)
\(\mathrm{eig}\left( A\right) \subset {\mathbb {C}}_{A}\),
-
(iii)
\(\mathrm{eig}\left( G({\lambda })\right) \subset {\mathbb {C}}_{uc}\), \(\forall \lambda \in \varLambda (\varPhi ,0)\), where \(G({\lambda })=\!C(\lambda I\!-\! A)^{-1}\!B_0\!+\!D_0\).
The first two conditions in Lemma 3 pose no computational difficulties but the third requires computations for the entire frequency range, i.e., for all points on the imaginary axis of the complex plane for differential processes and the unit circle for discrete processes. Also, the first condition is the necessary and sufficient condition for asymptotic stability. Moreover, the second condition, which governs the dynamics along a pass, is also only a necessary condition for stability along the pass and this property also requires the third condition, i.e., frequency attenuation of the previous pass profile dynamics over the complete frequency range and therefore as \(k \rightarrow \infty \)
where (in the single-input single-output case for ease of presentation)
In the remainder of this section the results of Lemmas 1 and 2 are used to develop new LMI based conditions for stability along the pass. In particular, based on the preliminary analysis in Paszke et al. (2013) and Paszke and Bachelier (2013), the following result can be established.
Theorem 1
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\) and \(\varPhi \) chosen as in Table 3. Then a linear repetitive process described by (8) is stable along the pass if there exist compatibly dimensioned \(P_1\succ 0\), \(P_2\succ 0\) such that the LMI
where \(\Pi =\mathrm{diag}\{1, -\gamma ^2\}\) is feasible.
Proof
Assume that (9) is feasible for some \(P_1\succ 0\), \(P_2\succ 0\). Applying directly the result of the KYP lemma (see Theorems 1 and 2 in Rantzer 1996) gives
where \(G(\lambda )\) is defined by iii) in Lemma 3. Moreover,the inequality (10) can be rewritten as
where the existence of \(P_2\succ 0\) directly implies that \(\rho (G(\lambda ))<1\), \(\forall \lambda \in \varLambda (\varPhi ,0)\), i.e., feasibility of (9) guarantees that condition iii) of Lemma 3 holds. Furthermore, since \(P_1\succ 0\) and \(P_2\succ 0,\) then feasibility of (9) yields
Equivalently, the conditions i) and ii) of Lemma 3, respectively, hold and the proof is complete. \(\square \)
Remark 1
In contrast to other classes of 2-D linear systems, the conditions on the matrices \(D_{0}\) and A in Lemma 3 have physical meanings. The former requires that the initial pass profile sequence \(\{y_{k}(0)\}_{k}\) does not become unbounded with k and the latter that the contribution of the current pass state vector to the pass profile vector is stable. Hence for a given numerical example they should be tested before proceeding to the LMI of (9).
2.1 New LMI-based characterization of stability along the pass
Alternative LMI characterizations of the last two results can be obtained by introducing auxiliary slack matrix variables. These in turn, can be used to overcome non-convexity arising in control law design or reduce the level of conservativeness in many control problems for repetitive processes, such as robust control. To proceed, partition the matrix \(\varPhi \) (see (4)) into scalar elements as
and introduce the following matrices of compatible dimensions
where \(F_1\), \(F_2\) and \(F_3\) are additional compatibly dimensioned slack matrix variables. Then the theorem established next gives new LMI-based conditions for stability along the pass of linear repetitive processes.
Theorem 2
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\) and \(\varPhi \) chosen as in Table 3. Then a linear repetitive process described by (8) is stable along the pass if there exist compatibly dimensioned matrices \(P_1\succ 0\), \(P_2\succ 0\), \(W_1\), \(W_{2}\), \(W_{3}\), \(F_1\), \(F_2\), \(F_3\) such that the LMI
is feasible.
Proof
Assume that the LMI defined in (12) has a feasible solution. Then this LMI can be rewritten as (1) with
Then application of Lemma 1 enables (12) to be equivalently rewritten as (2). Also since \(\varLambda _{\perp }=0\), the LMI in (12) reduces to the second inequality in (2), i.e.,
where by construction the matrix \({\Sigma _{\perp }}\) is
Furthermore, after some routine matrix manipulations the inequality (14) can be rewritten as
where
and by Lemma 1, feasibility of (15) implies that the inequality
must hold where
Finally, this last inequality is equivalent to (9) and by Theorem 1 stability along the pass is ensured. \(\square \)
Remark 2
The design conditions of Theorem 2 are LMIs that can be easily and effectively solved via numerical software. In addition, the scalar parameter \(\gamma \) can be minimized to compute the minimal process gain.
Remark 3
The LMI variables in (12) could be selected real symmetric instead of complex Hermitian without introducing conservatism, see Pipeleers and Vandenberghe (2011) for further details.
Remark 4
Revisiting the conditions in Theorem 2, it is found that Lemma 1 can again be invoked to reduce the number of slack matrix variables without adding conservatism to the solution. Specifically, the slack matrix variables can be constrained as \(W_2=\beta _1 W_1\) where \(\beta _1\) is an arbitrary positive scalar. In particular, in (13) set
Then choose \(\varLambda ^T_{\bot }=[\beta _1 I\; -I\;\; 0]\) and check if the first inequality in (2) holds. In particular, under the above choice of \(\varLambda \) and W, the first inequality in (2) becomes
Next, assign
and by Lemma 1 the inequality (16) is also equivalent to
Finally, the above inequality can be written as \(-2\beta _1 P_1\prec 0\) for differential process case and holds for any \(\beta _1 >0\) and \(P_1\succ 0\) or as \((\beta _1^2-1)P_1 \prec 0\) for discrete process case and holds for any \(|\beta _1| < 1\) and \(P_1\succ 0\).
3 State feedback based control of linear repetitive processes
In this section, the stability results of the previous section are extended to the case of controlled processes. The 2D system’s structure of these processes requires that any control law has structure of feedback action on the current pass (stabilization and/or assignment of the state matrix eigenvalues to satisfy the along the pass specifications) and feedforward action from the previous pass (convergence of the pass-to-pass dynamics). One such control law has the form
where \(K_{1}\) and \(K_{2}\) are matrices to be found. Application of this control law results in the controlled process state-space model
where the meaning of \(\eta \) is the same as in (8). Furthermore, by defining
it follows immediately that the results of the previous section can be directly used to develop a condition suitable for computing control law gains \(K_1\) and \(K_2\). In particular, the following result is obtained by applying Theorem 2 to (18).
Theorem 3
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\) and \(\varPhi \) chosen as in Table 3. Suppose also that the control law (17) is applied to a repetitive process described by (8). Then the resulting controlled process is stable along the pass if there exist matrices \(P_1\succ 0\), \(P_2\succ 0\), Y, \(W_1\), \(F_1\), \(F_2\), \(F_3\) such that the LMI
is feasible. In addition, if the above LMIs are feasible, the corresponding matrices in the control law (17) are given by
Proof
Assume that the LMI (20) holds. Also, it follows immediately that the feasibility of (20) implies that \(W_1\) is non-singular. Also setting \(Y=\mathbb {}W_1^T\) leads to the interpretation of the condition of Theorem 2 for (18) and hence stability along the pass for the controlled process. This completes the proof. \(\square \)
Remark 5
This last result requires the following constraints on the multipliers
and introduces conservativeness but still some additional freedom is introduced by the slack matrix variables \(F_1\), \(F_2\), \(F_3\). A possible way to reduce conservatism is to apply the constraints
where \(\beta _2\) and \(\beta _3\) are some scalars. Hence, line searches on these scalars are required to make the LMI less conservative (in terms of performance provided by \(\gamma \)).
4 Less conservative conditions for stability along the pass
The results of Theorems 1, 2 and 3 can introduce a significant degree of conservativeness since it has been obtained by keeping \(P_2\) (and some other matrix variables) constant and independent of frequency. This means that \(P_2\) must work for entire imaginary axis or the unit circle, i.e., \(\forall \lambda \in \varLambda (\varPhi ,0)\). One possible way to overcome this problem is to extend the results developed in previous sections of this paper to allow piecewise constant matrix variables defined over union of segments on the entire imaginary axis or the unit circle in the complex plane.
These segments must be contiguous to ensure continuity of \(\lambda \) over \(\varLambda (\varPhi ,0)\) and this can be achieved by dividing the entire frequency range into a number of finite or semi-finite ranges. Also, specific choices of a pair of \(\varPhi \) define (semi-) finite frequency ranges as shown in Tables 1 and 2 and correspond to segments of the imaginary axis (differential processes) or unit circle (discrete processes). Moreover, using such frequency partitioning enables specifications to be imposed over frequency ranges relevant to a specific application of repetitive processes. Furthermore, to allow for more flexibility in practical design, frequency specifications in different ranges can be introduced without augmenting the plant with frequency dependent scalings or weights.
To establish the main result of this section, consider the partitioning
where \(N\ge 2\). Then by different choices of \(\varPsi \) (i.e. \(\varPsi _1\) ,\(\varPsi _2\),\(\ldots \), \(\varPsi _N\)) the specific ranges of the complex curves are characterized. Moreover, both continuous-time (frequency variable \(\lambda \) on the imaginary axis) and discrete-time cases (\(\lambda \) on the unit circle) can be treated by a different choice of \(\varPhi \)—see (4).
In what follows, the partitioning (22) implies that the frequency variable \(\lambda \) is defined over unions of finite or semi-finite frequency ranges. In particular, for the continuous-time setting and \(\lambda =j\omega \), (22) imposes the following frequency partitioning
where
and \(2\le r\le N-1\). In the discrete-time case, \(\lambda =e^{j\theta }\) and the following partitioning results
where
and \(2\le r\le N-1\). \(\varOmega _i\) and \(\varTheta _i\) are the frequency ranges given below in Tables 4 and 5.
Each matrix \(\varOmega _i\) or \(\varTheta _i\) is of dimension \(2\times 2\) and consists of three different elements (scalars) which depend on the chosen frequency interval. In particular, the following partitioning of \(\varPsi \) is enforced
The values of \(\tau \), \(\upsilon \) and \(\varsigma \) for specified choices of frequency intervals are also shown in Tables 4 and 5. Also, the application of piecewise constant matrices \(P_{1i}\), \(P_{2i}\) and \(Q_{i}\) \(\forall i = 1,\ldots , N,\) is possible and hence the LMI feasibility problem of the next theorem is a novel condition for stability along the pass.
Theorem 4
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\) and \(\varPhi \) chosen as in Table 3. Also, suppose that the entire frequency range is arbitrarily divided into N different frequency intervals as given in (22)–(24) and the matrix \(\varPsi \) chosen as in Tables 4 or 5. Then a linear repetitive process described by (8) is stable along the pass if there exist \(P_{1i}\succ 0\), \(P_{2i}\succ 0\), \(Q_{i}\succ 0\), \(W_{1i}\), \(W_{2i}\), \(W_{3i}\), \(F_{1i}\), \(F_{2i}\), \(F_{3i}\) such that the LMIs
are feasible for \(i = 1,\ldots , N,\) where
Proof
Suppose that there exist matrices \(P_{1i}\succ 0\), \(P_{2i}\succ 0\) and \(Q_{i}\succ 0\) for \(i = 1,\ldots , N,\) such that the LMIs (25) hold for \(i = 1,\ldots , N\). Then by simple matrix manipulations on each LMI in (25) it follows that
Finally, the proof is completed applying Lemma 2 to each frequency interval with the choice of piecewise constant matrices \(P_{1i}\succ 0\), \(P_{2i}\succ 0\), \(Q_i\succ 0\), \(\forall i = 1,\ldots , N.\) \(\square \)
By analogy with the derivation of Theorem 3, the above result can be directly extended to the case of controlled processes (18) where the control law has the structure given in (17). Therefore, with the notation used above, the following result extends Theorem 4 to the controlled process.
Theorem 5
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\), \(\varPhi \) is as in Table 3 and \(\varPsi \) chosen as in Tables 4 or 5. Suppose also that the control law (17) is applied to a repetitive process described by (8) and the entire frequency range is arbitrarily divided into N different frequency intervals as given in (22). Then the controlled process is stable along the pass if there exist matrices \(P_{1i}\succ 0\), \(P_{2i}\succ 0\), \(Q_{i}\succ 0\), \(F_{1i}\), \(F_{2i}\), \(F_{3i}\), \(W_{1}\), Y such that the LMIs
are feasible for \(i = 1,\ldots , N\). In addition, if these LMIs are feasible, the required control law matrices \(K_1\) and \(K_2\) of (17) can be calculated using (21).
Proof
The result follows from straightforward application of the same steps as in proof of Theorem 3 where the matrix variables \(P_{1}\), \(P_{2}\), \(F_{1}\), \(F_{2}\), \(F_{3}\) are directly replaced by their frequency range dependent form \(P_{1i}\), \(P_{2i}\), \(F_{1i}\), \(F_{2i}\), \(F_{3i}\) and hence details are omitted. \(\square \)
Remark 6
These last two results enable different performance specifications to be imposed in different frequency ranges. In particular, it is reasonable from the practical point of view to impose different control performance by choosing different process gains in specified frequency ranges, e.g., to ensure that \(G(\lambda )\) meets the specification
where \(\gamma _i\in (0,1]\) \(\forall i=1,\ldots ,N\).
5 Robustness
This section further extends the results obtained so far to processes with uncertain model data, i.e., uncertain parameters are present in the process matrices. In the following, we will consider two types of parameter uncertainties: norm-bounded and polytopic uncertainties.
5.1 Norm-bounded uncertainty case
It is assumed that the deviation of the process parameters from their nominal values is norm-bounded. Specifically, the uncertainty associated with the state-space model (8) is of the form
where the matrices A, B, \(B_0\), C, D and \(D_0\) represent the nominal process dynamics of (8) and are assumed to be time and pass number invariant. The matrices \(\varDelta A(t)\), \(\varDelta B(t)\), \(\varDelta B_0(t)\), \(\varDelta C(t)\), \(\varDelta D(t)\) and \(\varDelta D_0(t)\) denote time-varying uncertainties where \(E_1\), \(E_2\), \(H_1\), \(H_2\) and \(H_3\) are given real constant matrices with appropriate dimensions and \(\delta (t)\) is an unknown and time-varying perturbation satisfying \(\delta ^{T}(t) \delta (t) \preceq I, \forall t\in [0,\alpha ]\).
The proofs of the results in this section make use of the following result.
Lemma 4
(Petersen 1987) Given matrices \({\mathscr {X}}\), \({\mathscr {Y}}\), \({\mathscr {Z}}={\mathscr {Z}}^T\), \(\delta (t)\) of compatible dimensions, then
for all \(\delta (t)\) satisfying \(\delta ^T(t)\delta (t) \preceq I\) if, and only if, there exists \(\varepsilon >0\) such that
Introduce the notation
Then, based on Theorem 4, the following results are obtained for stability along the pass in the presence of the parametric uncertainties in the state-space model matrices described by (30).
Theorem 6
Consider an uncertain linear repetitive process described by the version of (8) with uncertainty described by (30). Also, let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\), \(\varPhi \) is as in Table 3 and \(\varPsi \) chosen as in Tables 4 or 5. Also, suppose that the entire frequency range is arbitrarily divided into N different frequency intervals as given in (22)–(24). Then a linear repetitive process described by (8) and (30) is robustly stable along the pass if there exist compatibly dimensioned matrices \(P_{1i}\succ 0\), \(P_{2i}\succ 0\), \(Q_{i}\succ 0\), \(W_{1i}\), \(W_{2i}\), \(W_{3i}\), \(F_{1i}\), \(F_{2i}\), \(F_{3i}\) and a positive scalar \(\epsilon _1\) such that the following LMIs
are feasible for \(i = 1,\ldots , N,\) where
Proof
Suppose that the LMIs (31) are feasible for \(i = 1,\ldots , N\). Then application of Schur’s complement formula to (31) gives
Next, for \(i = 1,\ldots , N\), assign \({\mathscr {Z}}\leftarrow \varUpsilon _{4i},\) \({\mathscr {X}}\leftarrow {\mathscr {E}}_1,\) \({\mathscr {Y}}\leftarrow {\mathscr {E}}_1{\mathscr {H}}_1W_i^T\) and by Lemma 4 the last inequality is feasible if and only if
The last inequality is (25) applied to the uncertainty case. Moreover, the LMI of (31) can be obtained by employing the same steps used in the absence of uncertainty and hence a version of (4) applied to the plant with uncertainty is obtained. Finally, by the result of Theorem 3, feasibility of (31) ensures that a linear repetitive process of the form (8) and (30) is robustly stable along the pass. \(\square \)
The following result extends Theorem 5 to the case when norm bounded uncertainty is present. This is achieved by applying the result of Lemma 4 to Theorem 5 for uncertain processes.
Theorem 7
Consider an uncertain linear repetitive process described by the version of (8) with uncertainty of the form (30) present and with the control law (17) applied. Also, let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\), \(\varPhi \) is as in Table 3 and \(\varPsi \) chosen as in Tables 4 or 5. Suppose that the entire frequency range is arbitrarily divided into N different frequency intervals as given in (22)–(24). Then, the controlled process is robustly stable along the pass if there exist \(P_{1i}\succ 0\), \(P_{2i}\succ 0\), \(Q_{i}\succ 0\), \(F_{1i}\), \(F_{2i}\), \(F_{3i}\), Y and a positive scalar \(\epsilon _2\) such that the following LMIs
are feasible for \(i = 1,\ldots , N,\) where \({\mathscr {E}}_1\) and \({\mathscr {H}}_1\) are as in (31) and
If these LMIs are feasible, the corresponding matrices in the control law (17) can be computed using (21).
Proof
The result follows from a straightforward application the same steps as in proof of Theorem 6 for a controlled process and hence the details are omitted. \(\square \)
5.2 Polytopic uncertainty case
An alternative way of dealing with uncertain processes is to assume that the repetitive process matrices are not exactly known but reside within a given polytope. Specifically, this means that all process matrices are actually dependent on a real parameter vector \(\xi \) with a polytopic dependency:
where
It means that the various matrices \(A_j\), \(B_{0j}\), \(B_j\), \(C_j\), \(D_{0j}\), \(D_j\) define the vertices of the polytope \({\mathscr {P}}\) in which the actual process matrices A, \(B_{0}\), B, C, \(D_{0}\) and D lie. As known, this clearly removes the requirement for keeping the same matrix variables over the entire parametric uncertainty domain and given frequency range. In particular, some matrix variables can be made parameter-dependent (linearly dependent on \(\xi \)) due to their appearance free from products with the repetitive process matrices. Simply, we assume that matrix functions \(P_{1i}(\xi )\), \(P_{2i}(\xi )\), \(Q_{i}(\xi )\), \(F_{1i}(\xi )\), \(F_{2i}(\xi )\), \(F_{3i}(\xi )\), which are to be determined, are expected to have the following forms
According to the linear parameter-dependence of the above matrix variables, matrices \(\varUpsilon _{1i}\), \(\varUpsilon _{2i}\), \(\varUpsilon _{3i}\), \(F_{12i}\) and \(F_{30i}\) defined in (26) have the affine form
Also, based on (33) the process matrices are parameter dependent and hence the block matrices \({\mathbb {A}}\) and \({\mathbb {B}}\) defined in (11) and (19) respectively have the affine form
Along the above notation, we have the following linearly parameter-dependent approach to stability along the pass for processes with polytopic uncertainty.
Theorem 8
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\) and \(\varPhi \) chosen as in Table 3. Also, suppose that the entire frequency range is arbitrarily divided into N different frequency intervals as given in (22)–(24) and the matrix \(\varPsi \) chosen as in Tables 4 or 5. Then an uncertain linear repetitive process with process model matrices described by (33) and (34) is robustly stable along the pass if there exist \(P_{1ij}\succ 0\), \(P_{2ij}\succ 0\), \(Q_{ij}\succ 0\), \(F_{1ij}\), \(F_{2ij}\), \(F_{3ij}\), \(W_{1i}\), \(W_{2i}\) and \(W_{3i}\), such that, the LMIs
are feasible for \(i = 1,\ldots , N,\) and \(j = 1,\ldots , M.\)
Proof
Assume that the LMIs (38) are feasible for \(i = 1,\ldots , N,\) and \(j = 1,\ldots , M\). Then multiply LMIs in (38) by the uncertain parameter \(\xi \) and sum the result to obtain a version of (25) where the affine parameter dependent matrices of (35)–(37) are used. Then application of Theorem 4 implies that the LMIs (38) are feasible for \(j=1,\dots , M\) and the proof is complete. \(\square \)
The following result is a linearly parameter-dependent approach to controller design for processes with polytopic uncertainty.
Theorem 9
Let \(\gamma \) be a positive scalar satisfying \(0<\gamma \le 1\), \(\varPhi \) is as in Table 3 and \(\varPsi \) chosen as in Tables 4 or 5. Suppose also that the control law (17) is applied to an uncertain linear repetitive process (33) and the entire frequency range is arbitrarily divided into N different frequency intervals as given in (22). Then the controlled process is robustly stable along the pass if there exist matrices \(P_{1ij}\succ 0\), \(P_{2ij}\succ 0\), \(Q_{ij}\succ 0\), \(F_{1ij}\), \(F_{2ij}\), \(F_{3ij}\), \(W_{1}\), Y such that the LMIs
are feasible for \(i = 1,\ldots , N\) and \(j = 1,\ldots , M.\) In addition, if these LMIs are feasible, the required control law matrices \(K_1\) and \(K_2\) of (17) can be calculated using (21).
Proof
The proof can be carried out by employing similar lines to that of the proofs of Theorem 5 and 8. Hence the details are omitted. \(\square \)
6 Simulation based case study
To justify the effectiveness and feasibility of the formulated results, two numerical examples are presented. The first example is formulated to show the reduced conservatism compared with Li et al. (2015) for stability along the pass of discrete repetitive processes. Next, the second example illustrates the results of controller design procedure for differential repetitive processes compared with Rogers et al. (2007) and its extended form in Maniarski et al. (2020).
6.1 Example 1
Let the process matrices in (8) be give as follows (as noted, the below example is adopted from Li et al. (2015))
Solving the LMI condition proposed in Theorem 2 by applying Matlab LMI Toolbox routines, gives that the LMI (12) is feasible and the minimum \(\gamma \) is 0.9758.
By testing the stability condition in Li et al. (2015) (formulated in Theorem 1 of Li et al. 2015) over entire frequency range, it follows that the result in Li et al. (2015) does not support feasibility for \(\gamma \le 1\) and hence fails to decide the stability along the pass of the considered process. Thus, the effectiveness of the proposed condition is clearly demonstrated since our result is less restrictive compared with Li et al. (2015) for entire frequency range. The stability along the pass for the process in Example 1 can be confirmed with Li et al. (2015) only in the cases when the entire frequency range is partitioned uniformly into 4 subintervals or partitioned non-uniformly into 2 subintervals (\([0,0.5]\cup [0.5,\pi ]\)). See also Fig. 1.
6.2 Example 2
As an illustrative example of the new results in this paper consider the linearized differential linear repetitive process model that represents the metal rolling process given in Bochniak et al. (2008) and where the state-space model matrices are
and
Here \(\lambda _{1}= 600[N/m]\) is the stiffness of the adjustment mechanism spring, \(\lambda _{2}= 2000\,[\hbox {N/m}]\) is the hardness of the metal strip and \(M=100\,[\hbox {kg}]\) denotes the lumped mass of the roll-gap adjusting mechanism. In this case, the nominal state-space model matrices in (8) are
Suppose that the parameter M is uncertain and possibly time-varying, and its values are assumed to be within the interval [90, 112.5]. Then this case corresponds to the scenario when the matrices \(E_1\), \(E_2\), \(H_1\), \(H_2\) and \(H_3\) are
The plots of \(\rho ({G}(j\omega ))\) given in Fig. 2 show that the nominal and uncertain repetitive processes (for the extremes of the uncertain element ranges, i.e. \(\delta (t)=1\)) are unstable along the pass. Clearly, the condition iii) of Lemma 3 is not satisfied for these processes and hence the LMIs in (12) (in case of the nominal process) and (31) (in case of the uncertain process) are not feasible for any frequency partitioning.
Consider the case when the entire frequency range \([0,\infty )\) is arbitrarily non-uniformly divided into 4 frequency sub-intervals (given in [rad/s]), which are shown by dashed lines in Figs. 2, 3 and 4
Hence \(\omega _1=1.7\)[rad/s], \(\omega _2=2.29\)[rad/s] and \(\omega _3=3\)[rad/s]. However, there is no systematic way to determine what is the best choice of the frequency sub-intervals but our intention is to keep resonance and antiresonance frequencies within separate sub-intervals since different performance (provided by \(\gamma _i\)—see Remark 6) may be achieved in specified frequency ranges (sub-intervals).
Solving the LMI condition obtained in Theorem 7 for \(\gamma =1\) and using (21) we obtain the following control law matrices
The controlled uncertain process is stable along the pass as seen in Fig. 3 where the spectral radius of the controlled process is below 1 for the entire frequency range, i.e., \(\rho (G_C(j\omega ))\), \(\omega \in [0,\infty )\) where
Note that the existing results on control law design for uncertain differential linear repetitive process in Rogers et al. (2007) and its extended form Maniarski et al. (2020) are feasible for this example as demonstrated in Fig. 4. However, new design procedure provides better performance for low frequencies.
In addition, the controlled dynamics were simulated over 20 passes where the initial pass profile is chosen as \(y_0(t)=\sin (2\pi t/{0})+0.5\sin (4\pi t/{0})\, [\hbox {mm}]\) for \(0\le t\le 20\). Also, it was hypothetically assumed that the sheet metal thickness should be finally close to zero, hence the quality of the control over each pass profile can be measured by the RMSE (Root Mean Squared Error — computed along each pass) and shown in Fig. 5. This also confirms robust stability along the pass of the controlled process and better performance obtained by the new stabilization design since the convergence rate is higher than the alternatives.
7 Conclusions and future works
This paper has developed new results on the stability and stabilization for linear repetitive processes. Both discrete and differential dynamics of a given repetitive process have been considered and novel conditions for stability along the pass and control law design have been obtained. The major benefit of these new results is that stability along the pass tests can be directly extended to the control law design algorithms for nominal and uncertain models. Also, the advantage over current results in this last aspect is the avoidance of product terms between the state-space model matrices and some Lyapunov/LMI decision matrices. This decoupling has been achieved through the use of slack matrix variables and therefore a reduction in the conservatism of the analysis and design tests is possible. Finally, the numerical examples to demonstrate the effectiveness of the new results have been given.
Future research should include a detailed investigation into the \({\mathscr {H}}_{\infty }\) robust performance in the presence of external bounded non-repetitive disturbances in both the state and pass profile vectors. Another area is design of the more complex controller structures, e.g. a dynamic controller, and their experimental validation. Moreover, it is worth noting that reducing the conservatism of conditions for stability along the pass recently gained increasing attention, and significant progress has been made based on interpreting the stability along the pass of a linear repetitive process as structural stability of 2D Roesser model. Therefore, it is also promising to develop robust control results by extending the methods of Bachelier et al. (2019).
References
Bachelier, O., Cluzeau, T., & Yeganefar, N. (2019). On the stability and the stabilization of linear discrete repetitive processes. Multidimensional Systems and Signal Processing, 30, 963–987. https://doi.org/10.1007/s11045-018-0583-3.
Bochniak, J., Gałkowski, K., & Rogers, E. (2008). Multi-machine operations modelled and controlled as switched linear repetitive processes. International Journal of Control, 81(10), 1549–1567.
Boski, M., Paszke, W., & Rogers, E. (2018). Application of a frequency-discretization technique for stability and control of uncertain differential linear repetitive processes. In 2018 23rd international conference on Methods Models in Automation Robotics (MMAR) (pp. 658–663). https://doi.org/10.1109/MMAR.2018.8486034
Gahinet, P., & Apkarian, P. (1994). A linear matrix inequality approach to \(\mathscr {H}_{\infty }\) control. International Journal of Robust and Nonlinear Control, 4, 421–448.
Iwasaki, T., & Hara, S. (2005). Generalized KYP lemma: Unified frequency domain inequalities with design applications. IEEE Transactions on Automatic Control, 50(1), 41–59.
Li, X., Lam, J., Gao, H., & Gu, Y. (2015). A frequency-partitioning approach to stability analysis of two-dimensional discrete systems. Multidimensional Systems and Signal Processing, 26(1), 67–93.
Maniarski, R., Paszke, W., & Rogers, E. (2020). A new LMI-based controller design method for uncertain differential repetitive processes. In Advanced contemporary control (pp. 184–196). Springer.
Paszke, W., & Bachelier, O. (2013). Robust control with finite frequency specification for uncertain discrete linear repetitive processes. Multidimensional Systems and Signal Processing, 24(4), 727–745.
Paszke, W., Rogers, E., & Gałkowski, K. (2013). KYP lemma based stability and control law design for differential linear repetitive processes with applications. Systems and Control Letters, 62, 560–566.
Paszke, W., Rogers, E., & Gałkowski, K. (2016). Experimentally verified generalized KYP lemma based iterative learning control design. Control Engineering Practice, 53(10), 57–67.
Petersen, I. R. (1987). A stabilization algorithm for a class of uncertain systems. System & Control Letters, 8, 351–357.
Pipeleers, G., & Vandenberghe, L. (2011). Generalized KYP lemma with real data. IEEE Transactions on Automatic Control, 56(12), 2942–2946.
Rantzer, A. (1996). On the Kalman–Yakubovich–Popov lemma. Systems & Control Letters, 28(1), 7–10.
Roberts, P. D. (2002). Two-dimensional analysis of an iterative nonlinear optimal control algorithm. IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, 49(6), 872–878.
Rogers, E., Gałkowski, K., & Owens, D. H. (2007). Control systems theory and applications for linear repetitive processes. Lecture notes in control and information sciences (Vol. 349). Springer.
Rogers, E., Gałkowski, K., Paszke, W., Moore, K. L., Bauer, P. H., Hładowski, L., & Dabkowski, P. (2015). Multidimensional control systems: Case studies in design and evaluation. Multidimensional Systems and Signal Processing, 26(4), 895–939. https://doi.org/10.1007/s11045-015-0341-8.
Rogers, E., Paszke, W., & Boski, M. (2016). A frequency-partitioning approach to robust output control of uncertain discrete linear repetitive processes. In 2016 UKACC 11th International Conference on Control (CONTROL) (pp. 1–6). https://doi.org/10.1109/CONTROL.2016.7737561.
Wang, L. N., Wang, W. Q., Gao, J. B., & Chen, W. W. (2017). Stability and robust stabilization of 2-D continuous-discrete systems in Roesser model based on KYP lemma. Multidimensional Systems and Signal Processing, 28(1), 251–264.
Acknowledgements
This work is partially supported by National Science Centre in Poland, Grant No. 2017/27/B/ST7/01874.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Boski, M., Maniarski, R., Paszke, W. et al. New relaxed stability and stabilization conditions for both discrete and differential linear repetitive processes. Multidim Syst Sign Process 33, 223–245 (2022). https://doi.org/10.1007/s11045-021-00791-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11045-021-00791-y