Abstract

The stabilization problem is investigated for a class of nonlinear discrete-time networked control systems (NCSs). Nonideal network Quality of Services (QoS) are considered, more specifically data packet dropouts and network-induced delays. A state feedback controller for a class of NCSs is proposed. Subsequently, an observer is designed to estimate the state space. Based on the Lyapunov-Krasovskii functional, sufficient conditions (expressed in terms of LMIs) for the existence of a dynamic output feedback controller are derived. The stabilization is achieved without mathematical transformations or fuzzy logic approximations and without state space augmentation. Finally, illustrative examples are provided to show the effectiveness of the proposed method.

1. Introduction

Control systems in which control loops are closed via some form of communication network are called networked control systems (NCSs) [1].

In the past few decades, increasing attention has been focused on NCSs because of their great advantages over traditional point to point networks, such as simplicity of installation and maintenance, system flexibility, reduction of the necessary budgets for wiring, several benefits of resources sharing, easier expansion, and reliability improvement.

These advantages have given NCSs great practical interest and allowed their wide use in several industrial environments [2], such as unmanned aerial vehicles and automated highway systems [3, 4], networks with mobile sensors [5], haptic collaboration in Internet [68], and remote surgical interventions [9], to name a few.

However, the incorporation of communication networks in feedback control loops results in many new emerged problems. Some factors, such as bandwidth constraints, network-induced delays, quantization, and packet dropping effects, may often degrade the performance of a NCS or even cause instability of the feedback control loops. In order to overcome the negative effects of such problems, modeling, stability analysis, safety, security, and control design of NCSs have drawn considerable attention in recent years (e.g., [1019] and the references therein).

Li et al. derived sufficient conditions for stability based on linear matrix inequality (LMI) in [20], by choosing the proper Lyapunov-Krasovskii functionals and using a descriptor model transformation of the system. By considering all the possibilities of delays, an augmented state space model of the closed-loop system, which characterizes all the delay cases, was obtained in [21].

A control scheme which is constituted by a control prediction generator and a network delay compensator was proposed in [22]. In [23], Xiong and Lam modeled the closed-loop system as new Markovian jump linear system with an extended state space, by considering the time varying state delay and the constant time delay in the mode signal.

A sufficient condition for exponential mean-square stability of the NCSs was obtained in [24], by designing an observer and an augmented model for NCSs, based on Lyapunov stability theory with LMIs techniques.

The problem of the robust memoryless controllers for uncertain NCSs with the effects of both networked-induced delay and data dropout was considered in [25]. A class of discrete-time networked nonlinear systems with mixed random delays and packet dropouts was introduced in [26], and the filtering problem was investigated. Sufficient conditions for the existence of an admissible filter were established, which ensured the asymptotical stability as well as a prescribed performance.

In [27, 28], the logarithmic quantization scheme was employed in the network-based information communication, and a reset state observer was introduced to suppress sensor quantization effects. The extension of this method to nonlinear NCS with both transmission delays and packet dropouts could be very interesting.

In [29], the output tracking problem for sampled-data nonlinear system was investigated using adaptive neural network (NN) control. Then, considering the dynamics of the overall closed-loop system, a nonlinear model predictive control method was proposed to guarantee the stability of the local nonlinear industrial system and compensate the network-induced delays and packet dropouts. However, the presented results are obtained through mathematical transformations that transform the nonlinear system to a linear one; thus the results are local and not global.

Since it has been proved that any smooth nonlinear system can be approximated by a set of local linear systems using the fuzzy model, increasing attention has been focused on fuzzy controller techniques [3033]. In [34], a stabilizing controller design based on approximate discrete-time models for nonlinear NCSs was developed.

Most papers in the literature deal only with one of the two major problems in NCSs, packet dropouts or transmission delays, while ignoring the other. The few papers that address this issue concern mainly linear NCSs (in addition to [25, 26]; we may refer the reader to [22, 35, 36]). The fact that relatively few papers discussed the stability analysis and control synthesis of nonlinear discrete-time NCSs in the simultaneous presence of network-induced delays and data packet dropouts is one of the motivations of the present study.

As it can be noticed in the references above, most of the papers that addressed the problem of control design for NCS have mainly focused on two approaches: first, using fuzzy approximations or mathematical transformations to transform the original nonlinear system into a linear system and second, augmenting the state space of NCS with network-induced delays to obtain a system without delay.

Considering the observations above, the key contributions of this paper can be summarized as follows:(1)The developed method can be considered as an extension of the Jurdjevic-Quinn controller and the passivity theory in nonlinear systems [37, 38] to this class of nonlinear NCS.(2)We focus on the stabilization of a discrete-time nonlinear NCS dealing simultaneously with both NCS negative effects, namely, packet dropouts and transmission delays.(3)In order to keep a low computation complexity, the proposed method does not use any mathematical transformations or fuzzy logic approximations, nor does it augment the system state space.(4)From an appropriate Lyapunov-Krasovskii functional, sufficient conditions that guarantee the convergence of the state variables and state estimation errors to the origin are deduced and expressed in terms of LMIs.The outline of the paper is as follows: the problem formulation and modeling are presented in Section 2. Section 3 deals with state feedback stabilization. In Section 4, we introduce the observer to estimate the state space. Section 5 is devoted to the dynamic output feedback stabilization. Simulation results are presented in Section 6 and concluding remarks are given in Section 7.

2. Problem Formulation

A NCS structure as considered in the literature is presented in Figure 1.

Consider a discrete nonlinear time-invariant delay system in the following state space form:where , , and denote the state, input, and output vectors, respectively, at time instant . , , and are constant matrices of appropriate dimensions. is a nonlinear map of appropriate dimension and is a constant positive number representing the delay. For simplicity of notations, we replace by in the rest of the paper.

The control of a networked control system means that communication will occur through the network from the sensor to the controller and from the controller to the actuator. So delay may occur in both communications: the controller signal () and the measurement outputs (). Suppose that and .

A buffer is added into the acceptance port of the actuator and another one in the acceptance port of the observer so that the output delay and the control delay are changed into a constant delay. Without loss of generality we consider that the value of this constant delay is equal to the state delay .

The measurement data packet dropouts from the sensors to the controller are modelled as Bernoulli process with the probability distribution as follows:where means that the packet transmission will be successful, means that the packet will be lost, the positive constant is the probability of successful packet transmission, and is the variance of .

Since the system states are not measurable, we will use an observer to estimate these states variables through the measured system outputs. If the transmission of system outputs to the observer through the network is successful, then the data will be used by the observer. Or, if the output data is lost then the most recent delayed data will be used. Thus, the system output can be rewrittenSimilarly as for the output data, the controller signal can also be delayed or lost through network, and then we have and will be detailed later (in Theorem 1). So, the control data transfer from the controller to the actuator is also modelled as Bernoulli process with the probability distribution as follows:where when the packet is transferred successfully (in real time), when the packet is lost, the known positive constant is the probability of packet successful transmission, and is the variance of .

As a result, we obtain the following networked control system (shown in Figure 2):This approach takes account of both of the main problems in NCSs, namely, data packet dropouts and network-induced delays. Our approach considers that the data signal may arrive in real time, or, if it is lost or delayed, the last signal that arrived will be used after it is placed in the acceptance buffer in order to have a signal with constant delay for all measurement and control signals.

3. State Feedback Stabilization

Before proceeding, let us define the sets

Theorem 1. Suppose that there exist an positive-definite matrix and an nonnegative-definite matrix , such thatwhere If , then the nonlinear discrete-time NCS (6) is globally asymptotically stabilized by the bounded-state feedback (4), where(for any and ).

Proof. Setthen, the control bounded-state feedback can also be writtenTo show the stability of the closed-loop system (6)–(13), we consider the following Lyapunov-Krasovskii functional:Notice that, since is positive definite and nonnegative definite, is then positive definite.
The difference of this Lyapunov-Krasovskii functional along the trajectory of the closed-loop (6)–(13) is given byUsing (6) and (13) and after some matrix manipulations, we getwith .
Adding and subtracting to and from inequality (16), we havewhere . FurthermoreSince , , and , we have Then, from (18), we obtain the following inequality:A sufficient condition to have isLet us compute Since we conclude thatSo, if the LMI (9) is verified, then This proves that the closed loop (6)–(13) is Lyapunov stable. To show the asymptotic stability of the origin, it suffices to show that the largest subset of invariant under closed-loop dynamics is .
Setting , it follows from (18) thatUsing (29), (25), (26), (27), and (28) becomeThus, we can conclude from the assumption that for implies The asymptotic stability is, then, proved because all the conditions of LaSalle’s invariance principle are verified.
Therefore, the origin is an asymptotically stable equilibrium of the closed-loop system (6)–(13) since as .

4. Observer Design

In this section a simple and a useful observer design, without state augmentation, for a nonlinear discrete-time NCS will be given.

Theorem 2. Suppose that the function is globally Lipschitz on with a Lipschitz constant ; that isIf there exists an positive-definite matrix , and an nonnegative-definite matrix , the following LMI holds:where Then, the following observer,is an asymptotic observer for system (6) and (7).

Proof. Letthen,Let , , and .
The Lyapunov-Krasovskii functional is given bythen,or, equivalently,then,with .
Since , we havethen,orwith .
Adding and subtracting , we haveThis, in turn, implies thatUsing the LMI (36), we haveorFrom the Lipschitz condition of and the boundness of the state feedback , we deduce thatwhere is the Lipschitz constant associated with .
Obviously it is possible to choose sufficient small so that for some , then, we ensure the global asymptotic stability of system (40). We can conclude also that

5. Dynamic Output Feedback

Theorem 3. Under assumption that and if the LMI (9) is verified, then a nonlinear discrete-time NCS (6) and (7) can be globally asymptotically stabilized by the dynamic compensator (38) with the control inputdefined as in (4) and (11) for a sufficient small (). is globally Lipschitz and is such that the LMI (36) is verified.

Proof. By Theorem 1, for a given positive matrix , the following inequality,is satisfied.
Without loss of generality, let in (56). We deduce from (38), (40), and (56) thatInequalities (54) and (57) allow us to conclude that all trajectories of the closed-loop system (38)–(40) are bounded.
Now, we consider that is a trajectory of system (38)–(40) with the initial value .
Let denote its -limit set. It is clear that is nonempty, compact, and invariant because is bounded for . In addition, we conclude from Theorem 2 that .
Then, any point in must be of the form . Let and be the corresponding trajectory. This trajectory is described by the following equation:We already proved that this trajectory is globally asymptotically stable at . This means that the global asymptotic behavior of the closed-loop system (38)–(40) at is determined by the flow on the invariant manifold governed by system (58) [39]. Since this last system is globally asymptotically stable, so is the closed-loop system (38)–(40).

Remark 4. The obtained results can be applied to a system of the form:where

Remark 5. Compared with other approaches in the literature, note the following: (1)The approach proposed in this paper has the advantage of taking into account the two major problems in the NCS, namely, data packet dropouts and network-induced delays, from both the sensor-to-controller and the controller-to-actuator.(2)In the NCS literature, as mentioned in the introduction, a significant method for the stability analysis is the state augmentation. This approach reduce the closed-loop stability problem to the analysis of a finite dimensional time varying system by augmenting the system model to include delayed variables (past values of plant state, input, or output) as additional states which allow obtaining an augmented delay-free system. In the method we developed, the state space was not augmented. This allows to not increase the computational complexity, especially for large systems.

6. Illustrative Examples

In this section, two examples are provided to illustrate the results developed in this paper. The first example is a numerical illustration of the applicability and the effectiveness of the proposed method. The second example is a well known practical example in nonlinear filed, that is, the inverted pendulum system.

6.1. Example 1

Consider system (6) and (7) with the following matrices: where with and delay .

Resolution of the LMI (9) gives And resolution of the LMI (36) gives the following results:We obtain then an observer gain Verification of the assumption shows that the only point of intersection is 0.

Applying the control law (55) with the observer (38), with and , we ensure, as shown in Figures 36, the decrease of the Lyapunov-Krasovskii functionals (14) and (41) and that is a globally asymptotically stable equilibrium of (38)–(40).

This numerical example illustrate how the developed method is simple to be implemented and the practical applicability of LMI conditions (9) and (36) in the stabilization of this class of NCS. We can see on the figures that the system has been effectively stabilized by the designed dynamic output feedback controller.

6.2. Example 2

In this example, the inverted pendulum is used to emphasize the applicability of the proposed results. Consider the model of the inverted pendulum presented in [40]where , , , and . The system is sampled with the sampling period and a digital state feedback control that is affected by delays: where For simulation we add a second input channel of the form . The resulting system is of the form (6).

Let where with and the delay

Solving the LMIs (9) and (36), we obtain For this example also, it can be seen that the verification of the assumption indicates that the only possible point of intersection is 0.

The nonlinear discrete-time system was simulated using the developed dynamic output feedback controller (55). Simulation results illustrated in Figures 712 show that the closed-loop system is stable.

The above illustrative examples show that the dynamic output feedback we proposed is effective in controlling this class of nonlinear NCS.

Remark 6. Since the robustness of data-based control is extremely important, recent interesting results on control and monitoring in the data-based techniques [4144] could be further studied and integrated into the proposed dynamic output feedback control scheme to achieve more promising results from a practical point of view.

7. Conclusion

This paper investigated the stabilization problem of a class of discrete-time nonlinear NCS with simultaneous consideration of network-induced delays and data packet dropouts. A state feedback that guarantees the convergence of the state space to the origin was presented. Then, we presented an observer that estimates the state variables of this class of systems. A dynamic output feedback that stabilizes this class of nonlinear NCS was also achieved. LMI sufficient conditions to characterize the state feedback controller, the observer, and dynamic output feedback have been developed. The developed method can be considered as an extension of Jurdjevic Quinn theory and the passivity theory for nonlinear systems to this class of nonlinear NCS. Finally, two examples have been presented to demonstrate the effectiveness of the proposed method. Future work would attempt to extend the developed method to a class of nonlinear NCS with nonlinear free dynamics.

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author would like to thank Deanship of Scientific Research at Umm Al-Qura University (Project ID 43308002) for the financial support. The author would also like to thank the associate editor and the anonymous reviewers for providing constructive suggestions that have improved the presentation of this paper.