Abstract
This paper investigates the problem of feedback control for a class of affine T–S fuzzy models using piece-wise Lyapunov functions. Although a large number of works on the issue have been published, several crucial problems still remain open. First, the paper shows what problems arise when using the affine T–S fuzzy model to design a controller, and in turn by employing the S-procedure, what kind of quadratic inequalities are required to help solve the resulting LMIs. It turns out that by partitioning the state space into certain cells based on the information of the antecedents of fuzzy rules, the required quadratic inequalities can be formularised. Taking advantage of the cell partition, a fuzzy controller is proposed using piece-wise Lyapunov functions, in which ensuing problems such as continuity functions used in the piece-wise Lyapunov functions and control input chattering also are addressed. Finally, examples are provided to illustrate the effectiveness of the proposed approach.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
With the stability of the system in mind, the Takagi–Sugeno (T–S) model is widely employed in fuzzy control systems. The model describes system dynamics in the manner of state space equations with fuzzy rules. On the basis of the model, a rule-based feedback controller can be designed; and all parameters pertinent to the controller are obtained by solving certain linear matrix inequalities (LMIs) [1].
Alternatively, as an extension of the T–S fuzzy model, the so-called affine T–S fuzzy model, which possesses additional affine terms, is known to be more capable of describing the plant of the system [2, 3]. The more precision a model has the better it is in terms of control performance to be expected, therefore, instead of the regular T–S fuzzy model, we focus on the affine T–S fuzzy model in this paper.
One of the main reasons why we focus on this model is because the traditional control design approach for the T–S fuzzy model, which involves solving certain LMIs to determine the relevant parameters, cannot be applied to this case due to the presence of additional affine terms in the model. This has been demonstrated in earlier works such as [2, 3], where system stability conditions are formulated as bilinear matrix inequalities (BMIs) that are eventually converted into iterative LMIs (ILMIs). However, in some cases, this process can be highly conservative. In recent years, a large number of theoretical results have appeared for control designs based on the affine T–S fuzzy model [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21]. All the recent works give the system stability conditions in the manner of LMIs. Although at first glance, the works dress different issues in the context of the affine T–S fuzzy model with uncertainties, such as output feedback control [5,6,7,8, 10,11,12,13,14,15,16, 18,19,20], filtering design [4, 9, 14, 17, 21], time-varying delay [8,9,10, 12], the way to treat the affine terms is the same. That is, after augmenting the system states where 1 is viewed as one of the states so that the affine terms can be involved in the system matrices of the state space equations just like the regular T–S fuzzy model, the control design approach based on the T–S fuzzy model is applied, where the S-procedure [22] with some inequalities is used to relax the conservativeness of the resulting LMIs. It is worth noting that when viewing 1 as one of the system states, because the derivative of 1 is zero and it is not influenced at any rate by whatever control input, the structure of the augmented state space equations is kind of special, though it looks like the regular one. As a result, when using the control design approach based on the regular T–S fuzzy model to design controllers for this augmented system, the resulting LMIs, as we will make it clear in this paper, are innately infeasible unless we introduce some quadratic inequalities with certain properties by using the S-procedure. Therefore, the aforementioned reason when introducing S-procedure in the existing works should be a necessity for the feasibility of the resulting LMIs rather than relaxing their conservativeness. It is crucial to note that in the case of affine T–S fuzzy models, not all quadratic inequalities can help us solve the final LMIs when using the S-procedure. The inequalities involved must possess certain properties. Despite this requirement, we found that all of the existing works barely manage to meet it. This means that some quadratic inequalities involved in the S-procedure fail to overcome the necessary requirements.
Recently, some works such as [23, 24], by locating the position of the local sub-system in state space through checking the information of the antecedent part of each fuzzy rule, the resulting region away from the origin could yield a quadratic inequality possessing the properties we need; however, the one-size-fits-all quadratic inequality worked at cost of a stringent assumption. Our previous works [25, 26], partitioned the state space in accordance with the corner points of the membership functions of the fuzzy rules into cells, and found that the cells away from the origin possess certain attributes that could be taken advantage of to guarantee preferable quadratic inequalities. However, the controller design was based on a common quadratic Lyapunov function (CQLF), which tends to be conservative in many cases, particularly when it comes to highly nonlinear complex systems.
The conservativeness in CQLF can be reduced by considering continuous piecewise quadratic Lyapunov functions (PQLF) [27, 28]. Among existing works, by employing the Filippov solutions a (possibly discontinuous) PQLF is introduced [29, 30], in which certain conditions for the partition boundaries must be satisfied. In [31], a PQLF was proposed on the basis of iteratively refining partitions. The work [32] constructs system stability conditions through PQLFs in form of BMIs. In view of the affine T–S fuzzy model in which the local system information is stipulated in the antecedent part of the corresponding fuzzy rule, the approach [33, 34] to PQLFs, as the works in [4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21], is widely used. Based on the information provided by the antecedent parts of the the affine T–S fuzzy model, the whole state space is partitioned into certain cells. Then cell-wise Lyapunov functions, that is a kind of PQLFs, are introduced to synthesize the controller with certain LMIs to guarantee the asymptotic stability of the closed-loop system. In doing so, the so-called continuity functions that are involved in the PQLFs must be found in advance to ensure the continuity of the PQLFs when the system state traverses between cells. Among the continuous functions, the ones of cells containing the origin are different from the others of the cells away from the origin. Although the work [34] provides a general way of obtaining the continuity functions for the latter, how to obtain the ones for the former simultaneously remains an open question, which is the reason why in the mentioned existing works they are just slightly citing the work [34] and not elaborating any further when it comes to the continuity functions.
Encouraged by the issues mentioned above, in this paper, without any extra terms such as uncertainties and time-varying delay et cetera, a pure affine T–S fuzzy model is considered in order to provide a clear methodology of controller design based on the PQLFs in the context of the model.
In this paper, first, we show what problems are behind there when using the affine T–S fuzzy model to design a controller and what kind of quadratic inequalities we need when using the S-procedure to help us solve the resulting LMIs. Then, after partitioning the state space into cells, we find that cells away from the origin possess certain attributes that can be used to form the required quadratic inequalities when using the S-procedure. In a controller based on the PQLFs, a way of obtaining the necessary two kinds of continuity functions is also provided. This is because the controller based on the PQLFs eventually leads to a cell-based controller, which implies that when the state traverse between cells, the chattering phenomenon in control input occurs. It is clear that such a chattering phenomenon in control input is undesirable in a control system, though the works mentioned above pay no attention to it. Therefore, the smoothing of control input between cells is also discussed after controller design.
Finally, the effectiveness of the controller and the smoothing method are demonstrated in simulations.
Therefore, besides the approach of controller design, the main contributions of this paper are threefold. The first contribution of the paper is the method of how to find and form the required quadratic inequalities when using the S-procedure to help solve the resulting LMIs by partitioning the state space into certain cells. The second one is to provide a way of obtaining the two kinds of continuity functions used in the piece-wise Lyapunov functions simultaneously. The way to prevent the chattering phenomenon in control input is the third contribution of this paper.
Throughout the paper \(*\) is used to denote either the symmetrical elements of a matrix, or the transpose of the sum of the previous terms in an expression.
2 Problem Statement
Consider a continuous non-linear system that can be expressed by the following affine T–S fuzzy model:
where \(x = [x_1,x_2,\ldots , x_n]^T \in {{{\mathcal {R}}}}^n\) denotes the state, and \({\Xi }_j^i~ (l = 1,2,\ldots ,n_r)\), denotes the fuzzy sets corresponding to \(x_j\) of the i-th fuzzy rule, \(u \in {{{\mathcal {R}}}}^m\), denotes the control input, \((A_i, a_i, B_i)\), denote the local system and \(a_i\) is the affine term, Accordingly, the overall affine T–S fuzzy model is given below:
where \(\alpha _i(x) = \frac{\omega _i (x)}{\sum _{i=1}^{n_r} \omega _i (x)} \ge 0\) that is called firing level of i-th rule in this paper, \(\omega _i (x) = \prod _{j=1}^n\Xi _j^i(x)\).
Compared to the regular T–S fuzzy model, in the model above there are extra affine terms \(a_i\), and such a model is referred to as affine T–S fuzzy model in this paper. It has been shown that the inclusion of the affine terms increases the approximation capabilities of the model [3].
To see what problem arises when using such an affine T–S fuzzy model to design a controller, let us consider the following PDC controller:
where \(F_i \in R^{n\times m}\) are the control gains to be determined. Then, the closed-loop control system becomes
The system stability can be investigated by using Lyapunov stability theory. Defining following Lyapunov function candidate:
where \(P=P^T>0\), the system (4) will be asymptotically stable so long as \(\dot{V}<0\).
Computing the time derivative V along the trajectory of (4), we have
from which a condition maintaining \(\dot{V}<0\) can be obtained:
Defining
where \(p>0\), thus (7) is rewritten as
which will hold as long as
Pre- and post-multiplying above inequality by \({{\bar{Q}}}={{\bar{P}}}^{-1}\) where
we obtain its equivalent form in the form of LMIs:
where \(\Theta _{ij}={{\bar{A}}}_i {{\bar{Q}}} + {{\bar{B}}}_i {{\bar{M}}}_j + (*)\), \({{\bar{M}}}_j = {{\bar{F}}}_j {{\bar{Q}}}\). Looking into the details of \(\Theta _{ij}\), we have
It is known that for an LMI to be feasible all its principle minors must be less than zero. However, as shown in (12), due to the existence of the 0 on the diagonal, the LMI in (11) is definitely infeasible.
On the other hand, (11) is eventually a condition for maintaining
Therefore to this end, if we can manage to find a quadratic inequality such as
where \(X=X^T\),
then, by using the S-procedure, the inequality in (13) is transferred to
where \(\forall \tau >0\), which leads to
specifically,
At this stage, it is easy to verify that the 0 on the diagonal in (12) is replaced by \(-\tau X_3\) that is negative definite owing to \(X_3=X_3^T>0\).
However, how to find such quadratic inequalities is still an open question, which will be discussed in the next section.
3 Fuzzy Partition
In this paper the state space is split into certain cells based on the antecedents of the fuzzy rules [33]. Let \(\{{{{\mathcal {S}}}}_i\}_{i=1}^{I_s}\) be a cell denoting a polyhedral partition of \(R^n\) with \(I_s=\Pi _{i=1}^n n_{x_i}\) being the finite number of the cells, where \(n_{x_i}\) is the number of partitions on \(x_i\). Let K(i) be the set of indexes (rule numbers) of the subsystems within the cell of \({{{\mathcal {S}}}}_i\) such that such \(\sum _{j=1}^{K(i)} \alpha _j = 1\), where \(\alpha _j\) is the firing level of j-th rule. Let \({{{\mathcal {I}}}}=\{1, 2, \ldots I_s\}\), and divide it further into two categories: one is \({{{\mathcal {I}}}}_0\), that includes cells that do not have affine terms, and the other is \({{{\mathcal {I}}}}_1\), that includes the remaining cells. It is evident that the origin is in a cell in \({{{\mathcal {I}}}}_0\), and all cells in \({{{\mathcal {I}}}}_1\) are away from the origin.
Therefore, based on the partition, the system (2) can be rewritten as
where \(\sum _{i=1}^{K(k)}\alpha _i = 1\), and
To begin with, let us consider an affine T–S fuzzy model, in which there is only one variable, \(x_1\) in its antecedents. Focusing on the cell \({{{\mathcal {S}}}}_k\) where \(k \in {{{\mathcal {I}}}}_1\), let the cell be defined by the section \((l_{1k}, r_{1k})\), that is, \(l_{1k}< x_1 < r_{1k}\). As \(k \in {{{\mathcal {I}}}}_1\), the signs of both \(l_{1k}\) and \(r_{1k}\) are the same, which means that \(l_{1k} \cdot r_{1k} > 0\) all of the time. In addition, we have
which leads to
equivalently
where
We see that the bottom right corner is always positive, this makes it a favourable inequality as we guarantee a negative value on the diagonal of the LMI whenever \(k \in {{{\mathcal {I}}}}_1\).
Next, let us consider the case, where, besides \(x_1\), there is another variable \(x_2\) in the antecedents of the fuzzy rules, and the support is \(x_2 \in (l_{2k}, ~r_{2k})\), then we have
Therefore, inequalities (21) and (25) yield
with
where the bottom right corner, is positive again owing to \(l_{2k} \cdot r_{2k} > 0\).
Generalizing the inequality for an arbitrary number of variables in the antecedents of the fuzzy rules, and for any cell \({{{\mathcal {S}}}}_k\) where \(k \in {{{\mathcal {I}}}}_1\) we can always obtain the following quadratic inequality:
with
and \(\sum _{i=l}^{n} l_{ik} r_{ik}>0\). It can be noted that the inequality (28) only holds if \(x \in {{{\mathcal {S}}}}_k\), which will be used in the control designs in the next section.
As long as a cell is away from the origin, there is one inequality like (21) for each variable in the antecedent of the fuzzy rules. However, it is not necessary to involve all the inequalities in the final \(\Psi _{k}\) in (29) in the case of \(\sum _{i=1}^{n} l_{ik} r_{ik}\le 0\). For example, let us consider cell \({{{\mathcal {S}}}}_2\) in Fig. 1. We have two inequalities:
where \(l_{12}=-2, r_{12}=-1, l_{22}=-2\), and \(r_{22}=2\). If we involve both the two inequalities in \(\Psi _{2}\), then \(\sum _{i=1}^{2} l_{i2} r_{i2}\) would be \((-2)\cdot (-1)+(-2)\cdot 2=-2\) which is not positive as required. Therefore, in this case only the first inequality will be involved in the final \(\Psi _{2}\):
In summary, the procedure of the partition and obtaining the required quadratic inequalities are given as follows.
-
Step 1:
On the basis of the antecedents of the fuzzy rules, partition the state space into certain cells such that the sum of the related firing levels is 1 at each cell;
-
Step 2:
Using \((x_p - l_{pk})(x_p - r_{pk}) < 0\) where \(x_p\) is one of variables to form the k-th cell and \(x_p \in (l_{pk}, ~r_{pk})\) to establish the quadratic inequality (28) for the k-th cell;
-
Step 3:
Check if the term at the bottom right corner of \(\Psi _k\) is greater than zero; if not, remove pertinent contents in \(\Psi _k\) related to variables \(x_p\) such that \(l_{pk}r_{pk}<0\) to guarantee the term at the bottom right corner of \(\Psi _k\) is greater than zero.
4 Control System Design
Under the fuzzy partition described above, the system (2) is equal to (19), which means the system behaviour in each cell \({{{\mathcal {S}}}}_k\) is irrelevant to the rest of the cells. In other words, a controller working in a cell \({{{\mathcal {S}}}}_k\) will not have influence over any of the others, which encourages us to design cell-based controllers. First, let us provide the following lemma.
Lemma 1
Given compatible matrices \({{{\mathcal {A}}}}\), \({{{\mathcal {Q}}}}\), LMI
where \({{{\mathcal {Q}}}}={{{\mathcal {Q}}}}^T>0\), is equivalent to LMI
where \({{{\mathcal {X}}}}_1\) and \({{{\mathcal {X}}}}_2\) are free parameters with compatible dimensions.
Proof
By the elimination procedure for matrix variables [22], for a given G, X and V with compatible dimensions, the following inequalities are equivalent:
where \({{\tilde{V}}}\) is the orthogonal complement of V, that is, \(V{{\tilde{V}}}=0\). Setting
it follows that
Furthermore, substituting G, X and V in (34) and (35) into (33), it leads to (31). This completes the proof. \(\square\)
Then, with the asymptotic stability of the origin in mind, the following assumption is made:
Assumption 1
The affine terms \(a_i = 0\) in cells \({{{\mathcal {S}}}}_k\) where \(k \in {{{\mathcal {I}}}}_0\).
Therefore, we have
For the convenience of description, we provide the following definition:
4.1 Controller Design
On the basis of the partition, we design controllers for cells \({{{\mathcal {S}}}}_k\):
where \({{\bar{G}}}_{k}=[G_{k}~~g_{k}]\in R^{m\times n_k}\) is to be determined, \(G_{k}\in R^{m\times n}\), which means \({{\bar{G}}}_{k}=G_{k}\) for \(k \in {{{\mathcal {I}}}}_0\). Therefore the closed-loop system becomes:
which is reduced to \(\dot{x} = \sum _{i=1}^{n_r} \alpha _i ( A_i + B_i G_k) x\) for \(k \in {{{\mathcal {I}}}}_0\).
Now, a piecewise Lyapunov function candidate is then given as:
where
\(P=P^T\in R^{p\times p}\) is positive definite with \(p=\sum _{i=1}^n\left( n_{x_i}+1\right) +n\), and \({{\bar{F}}}_k=[F_k~~f_k]\in R^{p\times n_k}\) with \(F_k\in R^{p\times n}\) satisfying
which is called the continuity function. It is constructed in order to guarantee the Lyapunov functions (41) are continuous across the cell boundaries [33]. It is clear that the Lyapunov function (41) becomes \(V_k(x) =x^T P_k x\), where \(P_k= F_k^TPF_k\), for \(k\in {{{\mathcal {I}}}}_0\).
As for the continuity functions \({{\bar{F}}}_k\), it is clear that they are not unique for cells \({{{\mathcal {S}}}}_k\), which means \({{\bar{F}}}_k\), if constructed in a different way can have different forms including the dimension of p, where \(p\ge n+1\). Some works [33, 34] provides a systematic way to construct \({{\bar{F}}}_k\) satisfying (43) in accordance with the corner points of the membership functions in the antecedents of the fuzzy rules. However, this method does not guarantee that \(f_k=0\) for \(k\in {{{\mathcal {I}}}}_0\); and a practical extension is given in Appendix A.
Although \({{\bar{P}}}_k\), as a whole, is square and can be made invertible, it is of no use solving the whole \({{\bar{P}}}_k\) in the final LMIs, as in doing so we cannot maintain the relation in (43); in other words, the structure in (43) must be retained in the final LMIs; to meet this end, apart from P, \({{\bar{F}}}_k\) is necessary to be square and invertible:
where \(F_{0k}\in R^{p\times (p-n_k)}\) are free parameters such that rank(\(\bar{{{\bar{F}}}}_k)=p\). Then we have
where \(x_0\in R^{p-n_k}\) is a newly added auxiliary state vector chosen by
From (40) and (46), we have an augmented system:
where
in which \({{\bar{A}}}_i, {{\bar{B}}}_i\) and \({{\bar{G}}}_k\) become \(A_i, B_i\) and \(G_k\), respectively for \(k \in {{{\mathcal {I}}}}_0\). It is clear that the system (40) is stable as long as the system (47) is. Therefore, now we focus on this augmented system.
Thus, by using (45), the Lyapunov function (41) becomes:
where
Taking the derivative on the trajectory of (47), we get the asymptotic stability condition:
which is equivalent to
where
It is worth noting that not only \(\bar{{{\bar{P}}}}_{k}\) as a whole is invertible but also each of the elements within such as \(\bar{{{\bar{F}}}}_k\) is also invertible.
Now by applying Lemma 1 to (51), we have
Defining \({\mathcal {X}}_{1k}\in R^{p\times p}\) and \({\mathcal {X}}_{2k}\in R^{p\times p}\) as follows [5]:
where \({X}_{1k}^{(1)}\in R^{(p-n_k) \times (p-n_k)}\), \({X}_{1k}^{(2)}\in R^{(p-n_k) \times n_k}\), \({X}_{1k}^{(3)} \in R^{n_k \times n_k}\), \({X}_{2k}^{(1)}\in R^{(p-n_k) \times (p-n_k)}\), \({X}_{2k}^{(2)}\in R^{(p-n_k) \times n_k}\) and \(\delta\) is scalar, (53) becomes following LMIs:
where
and \({{\bar{M}}}_k={{\bar{G}}}_k X_{1k}^{(3)}\).
However, the LMIs (55) are still structurally infeasible for \(k\in {{{\mathcal {I}}}}_1\), because certain diagonal block of the bottom right corner of \({{\mathcal {A}}}_{ik}^{(1)}\), which is on the diagonal of the LMIs, is zero. As shown in the preceding section, each of cells for \(k\in {{{\mathcal {I}}}}_1\) contains a favourable quadratic inequality (28) that helps us solve the LMIs (55). As a result, by using S-procedure as in (17), \({{\mathcal {A}}}_{ik}^{(1)}\) of (55) is replaced as:
where \(\forall \tau >0\).
To summarise, we have the following theorem.
Theorem 1
Given the affine T–S fuzzy model (2), the state space is partitioned to be a collection of cells \(\{{{{\mathcal {S}}}}_i\}_{i \in {{\mathcal {I}}}}\), where \(\sum _{m=1}^{K(i)}\alpha _m=1\) with K(i) being the set of the rule numbers associated with the cell. Further dividing \({{{\mathcal {I}}}}\) into \({{{\mathcal {I}}}}_0\) and \({{{\mathcal {I}}}}_1\), where \({{{\mathcal {I}}}}_0\) denotes the index set of cell indexes that contain the origin and \({{{\mathcal {I}}}}_1\) does not, each of cells \({{{\mathcal {S}}}}_k\) for \(k\in {{{\mathcal {I}}}}_1\) contains a quadratic inequality (28). For all of the cells, with continuity functions \({{\bar{F}}}_k=[F_k~~f_k]\in R^{p\times n_k}\) with \(F_k\in R^{p\times n}\) subject to (43), and some given scalars \(\lambda >0\) and \(\delta\), if there exists matrix \(Q =Q^T\in R^{p\times p}\), matrices \({{\bar{G}}}_{k}=[G_{k}~~g_{k}]\in R^{m\times n_k}\) with \(G_{k}\in R^{m\times n}\) in each of the cells, \({X}_{1k}^{(1)},~~{X}_{2k}^{(1)}\in R^{(p-n_k) \times (p-n_k)}\), \({X}_{1k}^{(2)},~~{X}_{2k}^{(2)}\in R^{(p-n_k) \times n_k}\), \({X}_{1k}^{(3)} \in R^{n_k \times n_k}\), and \(M_k\in R^{m\times n_k}\), such that LMI \(\tau >0\), LMIs (52), where matrices \(L_k\) are the inverses of \(\bar{{{\bar{F}}}}_k\) defined in (45), along with LMIs (55) with (57) and
are held, then controller given in (39) with \({{\bar{G}}}_k={{\bar{M}}}_k(X_{1k}^{(3)})^{-1}\) guarantees the closed-loop system (40) under Assumption 1, is to be asymptotically stable. \(\square\)
Remark 1
Although the piecewise Lyapunov functions (cell-wise precisely) \({{\bar{P}}}_k\) are used, they depend on the common matrix P. Nevertheless, \({{\bar{P}}}_k\) is to be expected to be found easier than in the regular case such as P in (7).
Remark 2
In order to expand \({{\bar{F}}}_k\) to square matrices \(\bar{{{\bar{F}}}}_k\) in (44), it is necessary to insert some prescribed matrices \(F_{0k}\), which may have much influence over the feasibility of LMIs in Theorem 1.
4.2 Preventing Chattering Phenomenon
Whilst the piece-wise Lyapunov function is continuous when the state travels from one cell to another thanks to the continuity functions, the cell-based controller may cause chattering between cells. It is clear that the chattering phenomenon in a control system should be best avoided. Therefore, in this section we consider how to transfer the proposed controller to one that such a phenomenon does not occur.
To convey the idea clearly, let us consider a simple case where there is only one antecedent variable \(x_1\) in the affine T–S fuzzy model. Now, we suppose that, as shown in (a) of Fig. 2, the triangular membership function \(\Xi _i\) is used to define the fuzzy set in the antecedent part of the i-th fuzzy rule. At the corner point \(d_i\) at which \(\Xi _i(x_1)=1\), the space is divided into two cells \({{{\mathcal {S}}}}_{i-1}\) on the left side and \({{{\mathcal {S}}}}_i\) on the other side, which means
-
(Fact 1:) both controllers \({{\bar{G}}}_{i-1}{{\bar{x}}}\), and \({{\bar{G}}}_{i}{{\bar{x}}}\) can stabilise all sub-systems corresponding with the fuzzy rules with indexes defined in \(K(i-1)\), and K(i), respectively.
Furthermore, as long as the fuzzy partition is performed at such a corner point like \(d_i\), the rule index i is definitely included in both \(K(i-1)\) and K(i); therefore,
-
(Fact 2:) both controllers \({{\bar{G}}}_{i-1}{{\bar{x}}}\), and \({{\bar{G}}}_{i}{{\bar{x}}}\) can stabilise the sub-system corresponding with i-th rule. For simplicity, let us say the system is \(\dot{{{\bar{x}}}}={{\bar{A}}}_i{{\bar{x}}}+{{\bar{B}}}_iu\).
Now let us approximate the fuzzy set \(\Xi _{i+1}\), as shown in Fig. 2, by moving its left corner point from \(d_i\) to \(d_i+\varepsilon\) where \(\varepsilon >0\) is to make small neighbourhood such that in which only the firing level of i-th rule is not zero. Therefore, considering the facts 1 and 2, in the neighbourhood \([d_{i}~d_i+\varepsilon ]\) the whole system behaviour is determined by \(\dot{{{\bar{x}}}}={{\bar{A}}}_i{{\bar{x}}}+{{\bar{B}}}_iu\), which can be stabilised by either controller \({{\bar{G}}}_{i-1}{{\bar{x}}}\) or \({{\bar{G}}}_{i}{{\bar{x}}}\).
On the other hand, the discontinuity between the two controllers, \(({{\bar{G}}}_{i-1} -{{\bar{G}}}_{i}) {{\bar{x}}}\), can be prevented by introducing a controller \(u=(\alpha _{i-1} {{\bar{G}}}_{i-1}+\alpha _i {{\bar{G}}}_{i}){{\bar{x}}}\) where \(\alpha _{i-1}+\alpha _i=1\), which means the closed-loop system
must be stable. A condition of the asymptotic stability is that there exists a compatible symmetric \(P>0\) such that \(P{{\bar{A}}}_i+P{{\bar{B}}}_i{{\bar{G}}}_j<0\) where \(j=i-1, i\).
Consequently, the discontinuity of the controllers between cells \({{{\mathcal {S}}}}_{i-1}\) and \({{{\mathcal {S}}}}_{i}\) can be prevented by introducing a controller in the neighbourhood as follows:
where the fuzzy sets \(\Theta _{i-1}\) and \(\Theta _{i}\) are defined as in Fig. 3, subject to that there is a \(P=P^T>0\) such that
where \(j=i-1, i\), \(\forall \tau >0\), and
When it comes to the trapezoidal membership functions as shown in (a) of Fig. 4, a similar neighbourhood of \(d_i\) inside \({{{\mathcal {S}}}}_i\) can be established. As a result, by using the fuzzy sets \(\Theta _{i-1}\) and \(\Theta _{i}\) shown in (b) of Fig. 4, the two rules in (60) are able to smooth the control input between the two cells.
5 Simulation Examples
In order to demonstrate the effectiveness of our proposed controller, we apply it to two systems. The first one is the inverted pendulum system, in which the approach of obtaining an affine T–S fuzzy model by using the Taylor series expansion is shown. The second one is an affine T–S fuzzy model with two antecedent variables of fuzzy rules.
5.1 Inverted Pendulum on a Cart
A pendulum is mounted on top of a vehicle, where the bottom of the pendulum is connected via a pivot and a mass is attached to the top. The goal is to keep the pendulum from falling over by moving the vehicle below.
The dynamics of the system can be described by the following non-linear equations:
where \(\theta\) is the angular position of the pendulum in relation to the equilibrium point, 2l the length of the pendulum, m the mass of the pendulum, y the position of the vehicle, M the mass of the vehicle, \(F_v\) the vertical force at the pivot, \(F_h\) the horizontal force, \(I_m = \frac{1}{m} l^2\) is the moment of inertia of the pendulum, \(g = 9.81m/s^2\) the gravity constant, and finally the control input u is the driving force of the vehicle.
Defining \(x^T = [\theta ~~ {{\dot{\theta }}}]\) we can obtain the following dynamic equations:
where
and \(a = \frac{1}{m + M}\). In order to linearize the system and obtain an affine T–S fuzzy model, we employ the Taylor series expansion. Expanding f into the Taylor series around the equilibrium points \((x_e, u_e)\)
where
and \((x_e, u_e)\) is an operating point chosen so that \(f(x_e, u_e) = 0\), and the higher-order terms in the Taylor series expansion are ignored. Therefore, the system can be linearized around \((x_e, u_e)\)
Using the operating points listed in Table 1 we obtain the following affine T–S fuzzy model:
where \(\Xi _i\) (\(i=1\sim 5\)) are fuzzy sets whose membership functions are shown in Fig. 5,
With the range of \(x_1 = [-88,~~+88] \cdot \pi /180\), we can partition the state space into the following cells
Therefore we also have
for which, it can be verified that \(\sum _{m=1}^{K(l)} \alpha _m = 1\).
By a similar approach as in the works [33, 34], we can obtain continuity matrices \({{\bar{F}}}_k\in R^{18\times 3}\) (\(k=1 \sim 5\)), which are not all shown here for the sake of space but \({{\bar{F}}}_1\sim {{\bar{F}}}_3\) just for example. It is easy to confirm that \({{\bar{F}}}_1{{\bar{x}}}={{\bar{F}}}_2{{\bar{x}}}\), and \({{\bar{F}}}_2{{\bar{x}}}={{\bar{F}}}_3{{\bar{x}}}\).
In addition, \(F_{0k}\) in (44) are made by random numbers as long as rank(\(\bar{{{\bar{F}}}}_k)=8\). Consequently, the control gains \({{\bar{G}}}_k\) for each cell are obtained:
Setting the initial state \(x_0 =[-70~~0]^T\cdot \pi /180\), \(\lambda = 0.1\), and \(\delta =2\) we obtain the simulation results shown in Figs. 14 and 15. We can see from Fig. 6 that both \(x_1\) and \(x_2\) converge to 0 by the control effort shown in Fig. 7. The controller is basically cell-wise, which means the controller input is discontinuous when the state traverse from one cell to another.
In order to prevent the input from the discontinuity, let us us the idea given in Sect. 4.2, and transfer the cell-wise controller into the following fuzzy controller:
where \(i=1 \sim 5\), \(\Theta _i\) are fuzzy sets whose membership functions are shown in Fig. 8 where \(\varepsilon =3*\pi /180\).
The control performance is shown in Figs. 9 and 10. Compared to Fig. 7, it is clear that the discontinuity in control input is no longer existing.
Some level surfaces of the computed Lyapunov functions are shown in Fig. 11.
5.2 An Affine System
Consider an affine system that is described by the following affine T–S fuzzy model [35]:
where \(i=1 \sim 9\), \(\Xi _j^i~(j = 1,2)\) are fuzzy sets whose membership functions are shown in Fig. 12, and
Then, based on these membership functions the state-space is partitioned into 9 cells \({{{\mathcal {S}}}}_k~(k= 1 \sim 9)\) that is shown in Fig. 13. Therefore, we have
where \(I_0\) denotes the cells near the origin, and \(I_1\) denotes those away from it. It can be verified that \(\sum _{j=1}^{K(k)} \alpha _j = 1\) for any cell \({{{\mathcal {S}}}}_k\),
As in the first example, we can obtain continuity matrices \({{\bar{F}}}_k\in R^{12\times 3}\) (\(k=1 \sim 9\)), which are not all shown here for the sake of space but \({{\bar{F}}}_1\sim {{\bar{F}}}_3\) and \({{\bar{F}}}_5\) just for example. It is easy to confirm that \({{\bar{F}}}_1{{\bar{x}}}={{\bar{F}}}_2{{\bar{x}}}\), \({{\bar{F}}}_2{{\bar{x}}}={{\bar{F}}}_3{{\bar{x}}}\) and \({{\bar{F}}}_2{{\bar{x}}}={{\bar{F}}}_5{{\bar{x}}}\).
In addition, \(F_{0k}\) in (44) are made by random numbers as long as rank(\(\bar{{{\bar{F}}}}_k)=12\). Consequently, the control gains \({{\bar{G}}}_k\) for each cell are obtained:
Setting the initial state \(x_0 =[-3~~4]^T\), \(\lambda = 0.1\), and \(\delta =2\) we obtain the simulation results shown in Figs. 14 and 15. We can see from Fig. 14 that both \(x_1\) and \(x_2\) converge to 0 by the control effort shown in Fig. 15. The controller is basically cell-wise, which means, as shown in the close-up of the inset, the controller input is discontinuous when the state traverse from one cell to another.
In order to prevent the input from the discontinuity, again let us employ the idea shown in Sect. 4.2, and make some neighbourhoods as in Fig. 16.
As a result, the cell-wise controller can be transferred into the following fuzzy controller:
where \(i=1 \sim 9\), \(\Theta _j^i~(j = 1,2)\) are fuzzy sets whose membership functions are shown in Fig. 17.
Setting \(\varepsilon =0.3\), the control performance is shown in Figs. 18 and 19. Although the transient response of state x is almost the same as in Fig. 14, the discontinuity in control input is no longer existing.
Some level surfaces of the computed Lyapunov functions are shown in Fig. 20.
6 Conclusion
In this paper, the problem of feedback control for a class of affine T–S fuzzy models using piece-wise Lyapunov functions has been investigated. In designing a controller based on the affine T–S fuzzy model, this paper has first made clear that the resulting LMIs are in fact innately infeasible. To overcome the problem, it is shown that some quadratic inequalities with certain properties are necessary to be involved by using the S-procedure. Then, by partitioning the state space into certain cells, the required quadratic inequalities are obtained. Along with the proposed feedback controller using the piece-wise Lyapunov functions, the issue to obtain the continuity functions involved in the piece-wise Lyapunov functions has also been addressed. In particular, in order to prevent the chattering phenomenon in control input when the state traverses between cells, neighbourhoods inserted between cells have been proven effective as shown in the simulations.
In the piece-wise Lyapunov functions, there is still a common positive definite matrix that exists within the continuity functions. The presence of the common positive definite matrix within could hinder the ability of relaxing the conservatism of the piece-wise Lyapunov functions, which will be explored further as one of our future tasks. In addition, the results established in the paper are based on continuous time, its discrete time version also needed to be done in due course.
References
Tanaka, K., Sugeno, M.: Stability analysis and design of fuzzy control systems. Fuzzy Sets Syst. 45(2), 135–156 (1992)
Kim, E., Kim, D.: Stability analysis and synthesis for an affine fuzzy control system via LMI and ILMI: discrete case. IEEE Trans. Syst. Man Cybern. 31(1), 132–140 (2001)
Kim, E., Lee, C.H., Cho, Y.W.: Analysis and design of an affine fuzzy systems via bilinear matrix inequality. IEEE Trans. Fuzzy Syst. 13(1), 115–123 (2005)
Qiu, Jianbin, Tian, Hui, Qiugang, Lu., Gao, Huijun: Nonsynchronized robust filtering design for continuous time T–S fuzzy affine dynamic systems based on piecewise Lyapunov functions. IEEE Trans. Cybern. 43(6), 1755–1766 (2013)
Qiu, J., Feng, G., Gao, H.: Static-output-feedback H\(_\infty\) control of continuous-time T–S fuzzy affine systems via piecewise Lyapunov function. IEEE Trans. Fuzzy Syst. 21(2), 245–261 (2013)
Ji, W., Qiu, J., Wu, L., Lam, H.: Fuzzy-affine-model-based output feedback dynamic sliding mode controller design of nonlinear systems. IEEE Trans. Syst. Man Cybern. Syst. 25(6), 1808–1823 (2016)
Wei, Y., Qiu, J., Lam, Hak-Keung., Ligang, W.: Approaches to T–S fuzzy-affine-model-based reliable output feedback control for nonlinear Ito stochastic systems. IEEE Trans. Fuzzy Syst. 25(3), 569–583 (2017)
Wei, Y., Qiu, J., Shi, P., Chadli, M.: Fixed-order piecewise-affine output feedback controller for fuzzy-affine-model-based nonlinear systems with time-varying delay. IEEE Trans. Circuits Syst. I 64(4), 945–958 (2017)
Wei, Y., Qiu, Ji., Shi, P., Lam, H.-K.: A new design of \(H\)-infinity piecewise filtering for discrete-time nonlinear time-varying delay systems via T–S fuzzy affine models. IEEE Trans. Syst. Man Cybern. Syst. 47(8), 2034–2047 (2017)
Wei, Y., Qiu, J., Lam, H.: A novel approach to reliable output feedback control of fuzzy-affine systems with time delays and sensor faults. IEEE Trans. Fuzzy Syst. 25(6), 1808–1823 (2017)
Wei, Y., Qiu, J., Reza Karimi, H.: Reliable output feedback control of discrete-time fuzzy affine systems with actuator faults. IEEE Trans. Circuits Syst. I 64(1), 170–181 (2017)
Wei, Y., Qiu, J., Shi, P., Ligang, W.: A piecewise-Markovian Lyapunov approach to reliable output feedback control for fuzzy-affine systems with time-delays and actuator faults. IEEE Trans. Cybern. 48(9), 2723–2735 (2018)
Ji, W., Zhang, H., Qiu, J.: Fuzzy affine model-based output feedback controller design for nonlinear impulsive systems. Commun. Nonlinear Sci. Numerical Simul. 79, 104894 (2019)
Wang, M., Qiu, J., Feng, G.: A novel piecewise affine filtering design for T-S fuzzy affine systems using past output measurements. IEEE Trans. Cybern. 50(4), 1509–1518 (2020)
Ji, W., Qiu, J., Lam, H.: Fuzzy-affine-model-based sliding-mode control for discrete-time nonlinear 2-d systems via output feedback. IEEE Trans. Cybern. 53(2), 979–987 (2023)
Ji, W., Qiu, J., Ligang, W., Lam, H.-K.: Fuzzy-affine-model-based output feedback dynamic sliding mode controller design of nonlinear systems. IEEE Trans Syst. Man Cybern. Syst. 51(3), 1652–1661 (2021)
Qiu, J., Ji, W., Rudas, I.J., Gao, H.: Asynchronous sampled-data filtering design for fuzzy-affine-model-based stochastic nonlinear systems. IEEE Trans. Cybern. 51(8), 3964–3974 (2021)
Ji, W., Qiu, J., Lam, H.-K.: A new sampled-data output-feedback controller design of nonlinear systems via fuzzy affine models. IEEE Trans. Cybern. 52(3), 1681–1690 (2022)
Ji, W., Qiu, J.: Observer-based output feedback control of nonlinear 2-d systems via fuzzy-affine models. IEEE Trans. Instrum. Meas. 71, 1–10 (2022)
Ji, W., Qiu, J., Song, C., Yili, F.: New results on nonsynchronous-observer-based output-feedback control of fuzzy-affine-model-based discrete-time nonlinear systems. IEEE Trans. Fuzzy Syst. 31(8), 2836–2847 (2023)
Wang, M., Lam, H.-K., Qiu, J., Yan, H., Li, Z.: Fuzzy-affine-model-based filtering design for continuous-time Roesser-type 2-d nonlinear systems. IEEE Trans. Cybern. 53(5), 3220–3230 (2023)
Boyd, S., El Ghaoui, L., Feron, E., Balakrishnan, V.: Linear Matrix Inequalities in System and Control Theory. SIAM, Philandelphia (1994)
Mou, S., Han, H.: Quadratic inequalities over affine T–S fuzzy models. In: Proceeding of the 7th International Conference on Smart Computing and Artificial Intelligence (IIAI AAI 2021) (2021)
Mou, S., Han, H.: A proposal of fuzzy rule partition and its application to controller design based on affine T–S fuzzy model. IEEJ Trans. EIS 17(10), 74–84 (2022)
O’Kane, C., Han, H.: Approach for affine T–S fuzzy models with uncertainty. In: Proceedings of Joint 12th International Conference on Soft Computing and Intelligent Systems and 23rd International Symposium on Advanced Intelligent Systems (SCIS &ISIS2022) (2022)
O’Kane, C., Han, H.: A controller based on a class of affine T–S fuzzy models. In: Proceedings of The 20th World Congress of the International Fuzzy Systems Association (IFSA 2023) (2023)
Lin, H., Antsaklis, P.J.: Stability and stabilizability of switched linear systems: a survey of recent results. IEEE Trans. Autom. Control 54(2), 308–322 (2009)
Leth, J., Wisniewski, R.: On formalism and stability of switched systems. J. Control Theory Appl. 10, 05 (2012)
Iervolino, R., Trenn, S., Vasca, F.: Stability of piecewise affine systems through discontinuous piecewise quadratic Lyapunov functions. In: 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pp. 5894–5899 (2017)
Iervolino, R., Trenn, S., Vasca, F.: Asymptotic stability of piecewise affine systems with filippov solutions via discontinuous piecewise Lyapunov functions. IEEE Trans. Autom. Control 66(4), 1513–1528 (2021)
Poonawala, H.A.: Stability analysis via refinement of piece-wise linear Lyapunov functions. In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 1442–1447 (2019)
Dehghan, M.M.Jr.: Stability of switched linear systems under dwell time switching with piece-wise quadratic functions. In: 2014 13th International Conference on Control Automation Robotics and Vision, ICARCV 2014 (2014)
Johansson, M., Rantzer, A., Arzen, K.E.: Piecewise quadratic stability of fuzzy systems. IEEE Trans. Fuzzy Syst. 7(6), 713–722 (1999)
Johansson, M.: Piecewise Linear Control Systems. Ph.D. dissertation, Detp. Automat. Contr., Lund Inst. Technol., Lund (1999)
Berna, M., Huseko, P.: Piecewise quadratic stability of affine Takagi–Sugeno fuzzy control systems. IFAC Proc. 37, 157–162 (2004)
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
1.1 Continuity Matrix
The way to construct the continuity matrices is based on the existing works works [33, 34]. Without loss of generality, let us consider there are two antecedent variables \(x_1\) and \(x_2\), and cell \({{{\mathcal {S}}}}_k\) is corresponding to the i-th partition on \(x_1\) and j-th partition on \(x_2\).
where \(k=(i-1)\times n_{x_2}+j\), \(p=\sum _{i=1}^2\left( n_{x_i}+1\right) +n\),
and the last row may be removed if the resulting \({{\bar{F}}}_k\) are of full column rank, and subsequently \(p=\sum _{i=1}^2\left( n_{x_i}+1\right)\) in this case. In the following, constructing \(\bar{\textbf{F}}_i=[ \textbf{F}_i~~ \textbf{f}_i]\) is given, while \(\bar{\textbf{F}}_j\) can be obtained in the same manner.
Let \(v=[v_1, \ldots , v_{n_{x_1}+1}]\) be corner points on \(x_1\), which means there are \(n_{x_1}\) partitions on \(x_i\), and \({{{\mathcal {S}}}}_i=[v_i, v_{i+1}]\) (\(i=1, \ldots , {n_{x_1}}\)).
-
Step 1:
Let \(\bar{\textbf{F}}_i\) be a \((n_{x_1}+1)\)-by-2 zero matrix, and
$$\begin{aligned} {{{\mathcal {E}}}}=\begin{bmatrix} v_i&{}v_{i+1}\\ 1&{}1 \end{bmatrix}; \end{aligned}$$ -
Step 2:
replace i-th and \((i+1)\)-th rows of \(\bar{\textbf{F}}_i\) by \({{{\mathcal {E}}}}^{-1}\).
However, \(\textbf{f}_i\) in \(\bar{\textbf{F}}_i\) cannot be guaranteed to be zero for \({{{\mathcal {S}}}}_i\) for \(i\in {{{\mathcal {I}}}}_0\). Therefore, we modify \(\bar{\textbf{F}}_i\) for \(i\in {{{\mathcal {I}}}}_0\), and subsequently others related to the modification. Let \(\bar{\textbf{F}}_i(j)\), and \(\bar{\textbf{F}}_i(j,k)\) be the j-th row, and the element in row j, column k of \(\bar{\textbf{F}}_i\), respectively.
-
Step 1:
Calculate:
$$\begin{aligned} r&=\left( \bar{\textbf{F}}_{i-1}(i,1)\cdot v_i+\bar{\textbf{F}}_{i-1}(i, 2)\right) /v_i=1/v_i,\\ l&=\left( \bar{\textbf{F}}_{i+1}(i+1,1)\cdot v_{i+1}+\bar{\textbf{F}}_{i+1}(i+1, 2)\right) /v_{i+1}\\&=1/v_{i+1}; \end{aligned}$$ -
Step 2:
Update \(\bar{\textbf{F}}_i\):
$$\begin{aligned} \textbf{F}_i(i)=[r~~ 0], \quad \textbf{F}_i(i+1)=[l~~0]; \end{aligned}$$ -
Step 3:
Update \(\bar{\textbf{F}}_1\sim \bar{\textbf{F}}_{i-1}\):
$$\begin{aligned} \bar{\textbf{F}}_{j}(i+1)=[l~~0], \quad \text {for} j=1\sim i-1; \end{aligned}$$ -
Step 4:
Update \(\bar{\textbf{F}}_{i+1}\sim \bar{\textbf{F}}_{n_{x_1}}\):
$$\begin{aligned} \bar{\textbf{F}}_{j}(i)=[r~~ 0], \text { for} j=i+1\sim n_{x_1}. \end{aligned}$$
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
O’Kane, C., Han, H. A Controller Based on a Class of Affine T–S Fuzzy Models Using Piece-Wise Lyapunov Functions. Int. J. Fuzzy Syst. 26, 1030–1045 (2024). https://doi.org/10.1007/s40815-023-01651-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40815-023-01651-6