Mathematical Problems in Engineering

Mathematical Problems in Engineering / 2015 / Article

Research Article | Open Access

Volume 2015 |Article ID 314090 | https://doi.org/10.1155/2015/314090

Liu Cui, Dengping Duan, "Sampled-Data Control of Nonlinear Systems with Quantization", Mathematical Problems in Engineering, vol. 2015, Article ID 314090, 12 pages, 2015. https://doi.org/10.1155/2015/314090

Sampled-Data Control of Nonlinear Systems with Quantization

Academic Editor: Carsten Proppe
Received19 Dec 2014
Revised06 Apr 2015
Accepted06 Apr 2015
Published19 Apr 2015

Abstract

This paper is concerned with sampled-data control problem for a class of nonlinear systems with input quantization. The nonlinear system is converted into a linear-like system with modeling error by using partition of unity method. A time-dependent Lyapunov functional is introduced to capture the characteristic of nonlinear sampled-data systems and the exponential stability conditions are derived by the use of inequality techniques. The desired sampled-data controller is then synthesized. An example is provided to illustrate the effectiveness and benefits of the proposed scheme.

1. Introduction

In modern control systems, such as computer-based control systems, the continuous-time plant is usually controlled by a discrete-time controller with sample and hold devices. Such control systems are referred to as sampled-data systems. The analysis and synthesis of sampled-data systems have been a research focus for nearly three decades and many results have been reported in the literature; see, for example, [15] and the references therein. Among these references, lifting technique method and impulse model method are two main approaches. In the past years, some papers have considered the modeling of continuous-time systems with sampled-control in the form of continuous-time systems with delayed control input, which was introduced in [6]. Compared with the other two approaches, this input delay approach can be applied to systems with nonuniform uncertain sampling and can cope with the system with parameter uncertainties. Many results related to this approach have been reported in the literature. For example, stabilization and stability analysis were investigated in [713], and filtering problems were addressed in [14, 15]. Improvements were provided in [1620], where new time-dependent Lyapunov-Krasovskii functionals (LKFs) were defined to capture the characteristic of sampled-data systems.

The aforementioned results about sampled-data systems are mainly on linear systems or linear systems with nonlinear terms because the nonlinear dynamics are extremely difficult to deal with. Most of the existing results for nonlinear sampled-data systems are based on certain T-S fuzzy models. The T-S fuzzy model-based technique is an efficient approach for taking advantage of modern linear sampled-data control theory to nonlinear control. In [2126], based on input delay approach, the considered systems were simply treated as ordinary continuous-time systems with a bounded fast-varying delay. The work in [27, 28] has improved the results by applying an improved Lyapunov functional, which captures the characteristic of fuzzy sampled-data systems. It should be pointed out that the fuzzy controller design is based on the assumption that the fuzzy model exactly matches the plant and the modeling error may be neglected despite that the existence of modeling error may cause the instability of the system [29].

On the other hand, partition of unity is an important concept in differential geometry and is close to a group of open covering sets. The partition of unity method has proved that certain finite linear combinations of partition of unity have the ability to approximate continuous functions at any arbitrary precision on a compact region of Euclid space, which was first introduced in [30]. When a nonlinear system is well approximated by using partition of unity, the remaining control problems become easier [31]. Compared with T-S fuzzy approach, the main difference lies in that the former is more flexible in the modeling of nonlinear systems. In addition, the fuzzy method ignores the modeling error, while partition of unity method yields an equivalent model with modeling error, which may better represent the characteristics of the origin nonlinear system. Recently, the control problem for nonlinear systems approximated by using partition of unity has gained some scattered research attention [3133]. However, there rarely exists published work addressing sampled-control problem for nonlinear systems approximated by using partition of unity method despite its potential in practical applications. It is, therefore, an important purpose of this paper to close such a gap by making the first challenge to deal with the sampled-data control problem for a class of nonlinear systems approximated by using partition of unity method.

On the other hand, the aforementioned publications do not take into account the quantizer effects. In real computer-based control systems, quantization is an indispensable step because data transmissions cannot be performed with infinite precision due to the limited communication capacity [3436]. On this account, some efforts have been made on sampled-data control with quantization. In [3739], the periodic sampling technique was used to obtain a discrete-time system for modeling the real plant. However, such a discrete-time model might not capture the intersample behavior of the real system, especially for the case when the sampling period is not periodic. To the best of our knowledge, the sampled-control problem with quantization has not been fully investigated, especially for nonlinear systems with variable sampling period.

Motivated by the above discussions, in this paper, we aim to investigate the sampled-data control problem for a class of affine nonlinear systems with quantization. Following the idea of [3133], partition of unity method is adopted to transform the nonlinear system into an equivalent linear-like system with modeling error. Based on the proposed time-dependent Lyapunov functional, sufficient conditions have been presented for the existence of desired sampled-data controller. The main contribution of this paper is mainly threefold: the problem addressed is new in the sense that this paper represents the first of few attempts to deal with sampled-data control for nonlinear systems by using partition of unity method; quantization and variable sampling are considered simultaneously; and an LMI framework based quantized sampled-data controller design scheme is proposed for nonlinear systems. An example is given to show the effectiveness of the proposed method.

2. Problem Formulation

Consider the following nonlinear system:where is the state vector and is a compact set in ; input ; and are function matrices defined on .

Assumption 1. and are continuous on , where , , is an open covering of .

Lemma 2 (see [30]). For given real continuous functions defined in a compact domain and arbitrary scalars   , there exists a partition of unity , , subordinated to the open covering of the compact region and real numbers , such that

Now, we rewrite system (1) into a mathematically equivalent linear-like system with modeling error using Lemma 2.

From Lemma 2, for every continuous function or ,  ,  , there exists an open covering of and a partition of unity subordinated to it, such thatwhere , are approximation errors, satisfyingwhere , .

Choose , , where is a group of sample values subordinated to open covering , respectively, , and , , .

From (3), we obtainwhere , . Then, system (1) can be converted into the following equivalent linear model with error:where the error vector .

Remark 3. If the open covering of a compact in (3) is composed of some rectangular domains , , the partition of unity subordinated to can be chosen as the following collection of functions , where the function ,For more details, say, for example, the open covering is composed of some open sphere domains or some open rectangular domains and open sphere domains together; one may refer to [22].

Assumption 4. , are norm-bounded and satisfy where and are positive real constants.
For sampled-data control, only discrete measurements of are available for control purposes, and the control signal is assumed to be generated by using a zero-order-hold (ZOH) function with a sequence of hold timesMoreover, the sampling is not required to be periodic, and the only assumption is that the distance between any two consecutive sampling instants belongs to an interval. Specifically, it is assumed thatFor all , where represents the upper and lower bounds of sampling interval, respectively.

In this paper, we propose the following state feedback controller:

It is assumed that the output signals of controller (11) are passed via a quantizer and the quantizer is denoted as , which is assumed to be symmetric; that is, . The set of quantized levels is described by

Theoretically, many different forms are possible for a quantizer. There is always a need to find a compromise between the performance and simplicity for real-world sampled-data control applications. In this paper, we are interested in logarithmic static and time-invariant quantizer, which is relatively simple and suitable for sampled-data systems. According to [40, 41], a quantizer is called logarithmic if the set of quantized levels is characterized by

For the logarithmic quantizer, the associated quantizer is defined as follows:where

Then, considering the above quantization behavior, we obtain the following quantized sampled-data controller:where and , .

Substituting the quantized controller (16) into (6), we obtain the following closed-loop system:where .

The goal of this paper is to design quantized sampled-data controller (16) to make the closed-loop system (17) be exponentially stable; that is, there exist two constants and such that

Throughout this paper, the following lemma will be used.

Lemma 5. Considering system (17), the following inequality holds:where , , , and .

Proof. For any , we obtain from (17) that Applying the Cauchy-Schwarz inequality, we find from (20) thatUsing the Cauchy-Schwarz inequality again, we haveThus,Applying the Gronwall-Bellman lemma, we can conclude that (19) holds. This completes the proof.

3. Main Results

In this section, the problem of quantized sampled-data control will be studied for nonlinear systems by using partition of unity. Some results are provided as follows.

Theorem 6. Consider system (1) satisfying Assumptions 1 and 4, for given scalar , if there exist matrices , , , , , , , , , , and and constants , , , and such that, for any , the following two equations hold:whereThen, system (1) is exponentially stable.

Proof. Consider the following Lyapunov functional for system (17):wherewithNote that , , and vanish before and after . So, is continuous in time since .
Calculating the derivative of along the trajectories of (17), we obtainBased on Schur complement, it can be found that for any appropriately dimensioned matrix ,  ,whereFrom (31), we have It is noted that, for any appropriately dimensioned matrices and , the following equation holds:On the other hand, for any arbitrary ,  ,  , and , we can get from (8) thatAdding the right side of (9) into , we obtain from (30), (33), and (35) that for From (24) and (25), it is easy to getThen, we obtain from (36) and (37) thatThus, it follows that for Applying Lemma 5 and (39), we have for From (40), we getThen, system (17) is exponentially stable. This completes the proof.

Remark 7. Theorem 6 provides a stability criterion for system (1). Inspired by [19, 20], the time-dependent Lyapunov functional is adopted in the proof of Theorem 6, which can capture the characteristic of sampled-data systems and reduce the conservatism. In addition, unlike most of the existing works, the obtained results depend not only on the upper, but also on the lower bound of the variable sampling pattern, which can fully adopt the actual sampling pattern and reduce conservatism.

Now, based on Theorem 6, we focus on the quantized sampled-data controller design for system (17). The following theorem presents a sufficient condition of the existence of the desired controller.

Theorem 8. Consider system (1) satisfying Assumptions 1 and 4, for given scalar , if there exist matrices , , , , , , , , , and and constants , , , , and such that, for any , (42) and (43) hold:whereThen, system (1) is exponentially stable, and the quantized sampled-data controller in (16) is given by

Proof. DefineBefore and after multiplying (24) by and , we get whereUsing Schur complement, we obtainwhereFrom lemma, for any ,Using Schur complement again, we get (42). Before and after multiplying (25) by and , by using the above similar method, we can also get (43). This completes the proof.

Remark 9. Theorem 8 provides a design method of the sampled-data controller with quantization for nonlinear systems. The conditions in Theorem 8 are formulated in LMIs and thus can be effectively solved by using LMI toolbox in MATLAB.

4. Examples

Consider the following nonlinear mass-spring system [42]:where ,  .

The system matrices of the system in (1) are

Choose the open covering as   and  . The corresponding sample data are chosen as and , respectively.

Calculating the coefficient matrices in (17), we have

The modeling errors are computed as follows:where denotes on .

In this example, we choose the initial condition