Mathematical Problems in Engineering
Volume 2018 (2018), Article ID 6824803, 8 pages
https://doi.org/10.1155/2018/6824803

Research Article

Finite-Time Optimization Stabilization for a Class of Constrained Switched Nonlinear Systems

Baili Su and Dandan Chunyu

College of Engineering, Qufu Normal University, Rizhao, Shandong, China

Correspondence should be addressed to Baili Su; subaili111@126.com

Received 21 March 2018; Revised 14 April 2018; Accepted 16 April 2018; Published 22 May 2018

Academic Editor: Maria Patrizia Pera

Copyright © 2018 Baili Su and Dandan Chunyu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

This paper studies the finite-time stability problem of a class of switched nonlinear systems with state constraints and control constrains. For each subsystem, optimization controller is designed by choosing the appropriate Lyapunov function to stabilize the subsystem in finite time and the estimation of the region of attraction can be prescribed. For the whole switched nonlinear system, a suitable switched law is designed to ensure the following: at the time of the transition, Lyapunov function’s value of the switched-in subsystem being less than the value of the last subsystem; the finite-time stability of the whole close-loop system. Finally, a simulation example is used to verify the effectiveness of the proposed algorithm.

1. Introduction

Switched systems, which consist of dynamical subsystems and specific switching rule which are used to coordinate the operations of all the subsystems, belong to an important and typical class of hybrid control systems [1]. Stability is an extremely significant aspect of studying the performance of the control systems; in practical applications of many industrial systems, systems’ states need to converge to equilibrium point in finite time [2]. So, finite-time stabilization for a class of switched nonlinear systems have been extensively studied in recent years [3, 4].

Finite-time stabilization of a class of continuous autonomous systems is researched in [5], and some sufficient and necessary conditions of finite-time stability are given, which provides a rigorous foundation for the theory of finite-time stability of nonlinear systems. Literature [6] considers that finite-time stability of a class of switched linear systems with time-varying exogenous disturbances, stabilizing controllers, and switched signals is designed by using the multiple Lyapunov-like functions method, the single Lyapunov-like functions method, and the common Lyapunov-like functions method, respectively, to stabilize systems. The average dwell time scheme for impulsive discrete time switched systems with nonlinear perturbation is proposed in reference [7]. Based on literature [7], mode-dependent feedback controllers are designed to achieve finite-time stability of switched nonlinear systems in reference [8]. To solve the finite-time stabilization problems for a class of switched stochastic nonlinear systems, a state feedback control law with state-dependent switching is designed in reference [9].

There are many research results about finite-time stabilization of switched nonlinear systems at present. However, most of results do not consider the optimizing of system performance and energy using in design process; that is, it does not optimize the given performance index. It is worth mentioning that dynamic optimization control method can handle systems constrains and consider fully performance index [10–12]. In literature [13], a hybrid nonlinear optimization control method is proposed for a class of switched nonlinear systems whose states are immeasurable. A Lyapunov-based stochastic nonlinear model predictive control method is proposed for a class of switched stochastic nonlinear systems in [14]. In literature [15], a Lyapunov-based model predictive controller is designed to stabilize switched nonlinear systems with uncertainty. Based on literature [15], a Lyapunov-based constrained predictive controller is proposed to solve asymptotically stabilization problem for a class of switched nonlinear systems with constrains for the cases that the state constrains can be relaxed for some time in [16]. A hybrid predictive controller based on high-order differential state observers and Lyapunov functions is proposed for a class of switched nonlinear systems with uncertainty in [17]. Reference [13–17] mainly analyses asymptotically stability of nonlinear systems.

So far, a little attention has been paid to study finite-time stabilization for switched nonlinear systems by using finite-time optimization control method. On the basis of the above references, this paper presents a novel optimization control method to stabilize switched nonlinear systems with state constrains and control constrains in finite time. The main contributions of this paper are:

(1) In the process of designing subsystem’s controller, the optimization control method proposed in this paper cannot only consider the performance of the system sufficiently but also gives the description of the initial stability region. Finite-time optimization controller based on given objective function is designed to pull subsystem’s states into the stability region; at the same time the objective function is optimized, the system can achieve the best performance and the lowest energy consumption.

(2) A new finite-time robust controller based on selected Lyapunov function is constructed to stabilize subsystem in finite time, and the estimation of the stability region can be prescribed by Lyapunov function method. Compared with the precious robust controller [15, 16], the controller can stabilize closed-loop subsystem in finite time. Finally, the corresponding controllers are switched according to the different states to stabilize the closed-loop subsystem in finite time.

(3) An appropriate switching law based on selected Lyapunov function is designed to stabilize the whole switched nonlinear systems in finite time.

The paper is organized as follows: Section 2 consists of preparation work and problem statement, Section 3 designs finite-time controllers and switched signals; a simulation example used to verify the effectiveness of the proposed algorithm is provided in Section 4; Section 5 gives the conclusion of this paper.

2. Problem Statement and Preliminaries

2.1. Problem Statement

Consider a class of switched nonlinear systems as follows:

where is the state vector, is nonempty compact convex set, is input vector and satisfies , is nonempty compact convex set, denotes Euclidean norm of variates, is the magnitude of the input constraints, is a piecewise continuous (from the right) function of time, called the switching law, denotes the number of subsystems, ans for all , ; it shows that the switching number is countable within a limited time interval. and are continuous differentiable functions, respectively, and . This paper assumes that the state vector is observable.

In this paper, denotes the standard Lie derivative of a scalar function with respect to the vector function ; that is, ; denotes upper right derivative; and denote the time th go in and out the th subsystem, respectively, and systems (1) can be described as follows: , , , and denote the sets that the time of enter and out the th subsystem.

The aim of this paper is that appropriate controllers and switching signals are designed to stabilize switched nonlinear systems (1) in finite time.

2.2. Preliminaries

First the definition of finite-time stability is given.

Consider the autonomous system:

where is the state vector and is continuous differentiable function.

Definition (see [3]). Consider system (2), for B∖, if there exists , such that the solution , and , we say the equilibrium is Lyapunov stability and system (2) is said to be stable in finite time. And if , it is called global finite-time stability.

Comparison Lemma (see [17]). Consider the scalar differential equation

for and , is continuous in and locally Lipschitz in . Assume that ( could be infinity) is the maximal interval of existence of the solution , and suppose that for . Let be a continuous function whose upper right-hand derivative satisfies the differential inequality

with , . Then and .

3. Controller Design

This section is divided into two parts. The first part is that controllers are designed for each subsystem; the finite-time optimization controller and finite-time robust controller are designed to switch according to the different states to stabilize the closed-loop subsystems in finite time. The second part is that integrated controller and appropriate switching law are designed to stabilize switched nonlinear systems in finite time.

3.1. Controller Design of Subsystem

3.1.1. Finite-Time Optimization Controller Design

Consider system (1), for a fixed for some :

under the premise of optimal path and minimum energy consumption, in this part, we will design controller to pull th subsystem’s states into the given area in finite time.

First, given finite time ( is given by experience), Lyapunov function and constant , and , a dynamic optimization controller is designed to pull subsystem’s states into the given region within finite time , where is a positive real number; that is, . Select the sampling interval ; is interval of allowable maximum sampling and a positive real number and the finite-time optimization controller can be obtained by solving the following finite-time optimization problem:

where is positive matrix and is positive matrix. Controller is obtained by optimizing , is prediction horizon, the controller of time is obtained by calculating the parameters of time , the discrete treatment is applied to controller , and we can get , where . Only applying to subsystem, subsystem will be re-optimized at the next moment ; thus, subsystem realizes rolling optimization. The controller is defined as:

Remark 1. The controller can pull subsystem’s states into in ; is given by experience.

Remark 2. The performance index can choose the above form (optimal path and minimum energy consumption). It can also choose to reduce the cumulative amount of economic indicators corresponding to the working state of each time in the whole production process.

Proposition 3. When subsystem’s states are out of the given area , that is, , applying the finite-time optimization controllers (6)-(7) to subsystem (5), subsystem’s states can be pulled into the given area in finite time along the optimal path.

Proof. For subsystem (5), when subsystem’s states are out of the given area , that is , from (7), Lyapunov function satisfies

So is monotonous; due to the positive definite of Lyapunov function and (6)-(7), we can get

So, applying the finite-time optimization controllers (6)-(7) to subsystem (5), subsystem’s states can be pulled into the given area in finite time along the optimal path.

Remark 4. The finite-time optimization controllers (6)-(7) can be applied to subsystem (5) to pull states into the given area for the cases that initial states are in X and out of X: if initial states are out of X, because of formula (7), applying controllers (6)-(7) to subsystem (5), subsystem’s states can enter X in finite time and then enter the given area in finite time; if initial states are in X, applying controllers (6)-(7) to subsystem (5), subsystem’s states can enter the given area in finite time.

3.1.2. Design of Finite-Time Robust Controller Based on Lyapunov Function

When states are in , finite-time robust controller based on Lyapunov function is designed to stabilize subsystem (5) in finite time.

The choice of Lyapunov function and is the same as that of 3.1.1; the following controller is constructed:

where

where

Based on formulas (11)–(13), the following stable set is given:

By using the least square estimation method, maximum estimation of can be described by

where is the largest number for and is invariant set of subsystem (5); that is, and , (proof is the same as the proof of Proposition 5).

Proposition 5. When system’s states are within the given area , subsystem (5) could be stabilized in finite time by using the Lyapunov-based robust controllers (11)–(13).

Proof. For system (5), the following result can be shown:

so

assuming that is the solution of

where is sign function; it can be shown that

thus

let ; using comparison Lemma in formulas (17) and (18), the following results can be obtained:

we can get the following result from formulas (20) and (21) and positive definite of Lyapunov function :

where ; it is the finite time; then

so, subsystem (5) is stable in the given area in finite time .

Remark 6. Based on literature [15, 16], in the process of constructing the controller, we add to function such that subsystem’s states can converge to the equilibrium point.

Remark 7. The controller depends on the selected Lyapunov function. There are many results about controller design based on Lyapunov function and stability for nonlinear systems [15]. But the construction of Lyapunov function is still a difficult problem.

The Lyapunov function in this paper is the same as [15], which is ( is a positive definite matrix); on the basis of [15], controllers (11)–(13) are designed by improving the controller in [15] and the stability region is given.

Remark 8. The given area in the part 3.1.1 is chosen as , that is (15), .

3.1.3. Complete Controller Description

In order to give complete controller description, system (5) is written as the following switching form:

where is a piecewise continuous switching signal (from the right). If and only if , ; if and only if , , where

For subsystem (5), the control input is reasonably switched between the dynamic optimization controllers (6)-(7) and the finite-time robust controller based on Lyapunov functions (11)–(13) and the switching law is:

Let

is called the complete controller of the th subsystem.

For subsystem (5), the above optimization controller and the Lyapunov-based finite-time robust controller can make it have global finite-time stability; the main result can be shown as follows.

Theorem 9. For th subsystem, the controller switches reasonably between dynamic optimization controllers (6)-(7) and finite-time robust controllers (11)–(13) based on Lyapunov function, that is, using controller (27), the global finite-time stability of closed-loop subsystem can be achieved.

Proof. The proof process consists of two parts:
(1) When initial state satisfies , subsystem’s states can be pulled into the stability area by using optimization controllers (6)-(7), that is, . Then let be the beginning time and be the initial state of subsystem (5); we know that Lyapunov-based finite-time robust controllers (11)–(13) can stabilize subsystem (5) in finite time from the proof process of Proposition 5.
(2) When initial state satisfies , using controllers (11)–(13) can stabilize subsystem (5) in the stability area from the proof process of Proposition 5.
All in all, consider that the arbitrary initial states, the optimization controllers (6)-(7), and the Lyapunov-based finite-time robust controllers (11)–(13) can stabilize subsystem (5) in finite time. This completes the proof of Theorem.

Subsystem’s state trajectory curve is shown in Figure 1.

Figure 1: Subsystem’s state trajectory curve.

3.2. Finite-Time Stability of Switched Nonlinear System

We assume that switching time sequence of th subsystem and th subsystem is defined as follows: and and and ; when , switching law is constructed as follows:

For each subsystem of switched nonlinear system, the controller switches reasonably between dynamic optimization controllers (6)-(7) and finite-time robust controllers (11)–(13). The finite-time stabilization of system (1) is described by Theorem 10.

Theorem 10. Consider the switched nonlinear system (1); we assume that there exists Lyapunov function , , and , ; estimation of the stability area can be obtained by finite-time robust controller (11), (12), and (13). When states switch from th subsystem to th subsystem, that is, , if , switched nonlinear system can be stabilized in finite time by applying switching law (28)-(29).

Proof. The proof of Theorem 9 shows that each subsystem has , and , , where is a monotonically decreasing function; when the system is running, three situations are analyzed by using switching laws (28)-(29):
(1) When , this means that the th subsystem is running; we can know that system (1) will be stabilized within finite time by using the controller from the proof process of Theorem 9. When , this means that the th subsystem is running; we can know that system (1) will be stabilized within finite time by using the controller from the proof process of Theorem 9.
(2) When system switches before , that is, , we can discuss it in two cases by formula (29).
(a) When , it is known that Lyapunov function’s value of the th subsystem does not need to change from (29), at this point, determining the position relationship between and ; if , applying the controller to system, system (1) can be stabilized within finite time . When , the controller can pull states into the stability region within ; then, let be the beginning time and be the initial state; we know that Lyapunov-based finite-time robust controller can stabilize system within finite time . Stability time of system (1) is ;
(b) When , let from formula (29); that is, Lyapunov function’s value of the current subsystem is less than Lyapunov function’s value of the previous subsystem; repeat the above step (a); when system switches before , that is, , is a positive integer; repeat above steps (a) and (b). From (29), we can know that Lyapunov function’s value of the current subsystem is less than Lyapunov function’s value of the previous subsystem; that is to say, the value of the Lyapunov function keeps decreasing for the switched nonlinear system (1) and eventually the system can be stabilized in finite time.
In summary, we can see that switched nonlinear system (1) is stabilized in finite time.

Switched nonlinear system’s diagram is shown in Figure 2.

Figure 2: Switched nonlinear system’s diagram.

Remark 11. The algorithm steps of Theorem 10 are given as follows:
(1) Given , , and , finite time , matrix , and for each subsystem design dynamic optimization controller finite-time robust controller and compute .
(2) When , system (1) can be stabilized by using the controller .
(3) When , system (1) can be stabilized by using the controller .
(4) When system switches before th subsystem it achieves stability, that is to say, system switches from th subsystem to th subsystem, if , determining the position relationship between and to apply corresponding controller; if , let , then, determining the position relationship between and to apply corresponding controller.

4. Example

To verify the effectiveness of the proposed finite-time optimization control method, we apply it into a continuous stirred tank reactor where an irreversible, first-order exothermic reaction of the form takes place where is the reactant and is the product. The reactor has two inlets: the first inlet inputs at flow rate , concentration , and temperature , and the second inlet can be opened or closed; when it opens, at flow rate , concentration , and temperature can be input. The mathematical model of the process is given:

where shows concentration of , is temperature, denotes the heat removed from the reactor, denotes the volume, , , and denote the pre-exponential constant, the enthalpy of the reaction, and the activation energy, and are the heat capacity and fluid density, and is the discrete variable. The value of these process parameters can be seen in Table 1.

Table 1: Process parameters and steady-state values.

=

=
kJ/kmol⋅K

=

=

=

=

=

=

= −4.

=

=

=
kJ/kg⋅K

=

=

=

=

=

The control objectives are using the heat input speed to stabilize the reactants in finite time at the unstable equilibrium point and changing the inlet concentration of the reactor, as manipulated inputs with constrains: and , = 1,2.

Consider Lyapunov function , where , , and . The stability areas and of system are shown in Figure 3.

Figure 3: Stability area.

Select the initial state as ; that is, mode 1 is running; applying finite-time robust controller, let system switches from mode 1 to mode 2 at ; at this point, the state is ; in mode 2, we use firstly predictive controller to pull state into stability region at ; the parameters are chosen as ; then, finite-time robust controller is applied to stabilize system; the parameters are chosen as . The simulation results are shown in Figures 4–7.

Figure 4: State trajectory curve.

Figure 5: State trajectory curve.

Figure 6: State trajectory curve.

Figure 7: Control curve.

5. Conclusion

In this paper, we consider a class of switched nonlinear systems; first, for each subsystem, optimization controller and finite-time robust controller based on Lyapunov function are designed to stabilize subsystem; then, switching laws is designed to ensure that the value of the Lyapunov function has been reduced and ultimately achieve stability in finite time. The next step of the research work is to apply optimization control method proposed in this paper to solve finite-time stability of switching nonlinear time-delay systems, switched nonlinear disturbance system, and so on.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This research was supported by the Natural Science Foundation of China (Grant nos. 61374004, 61773237, and 61473170) and the Key Research and Development Programs of Shandong Province (2017GSF18116).

References

D. Liberzon and A. S. Morse, “Basic problems in stability and design of switched systems,” IEEE Control Systems Magazine, vol. 19, no. 5, pp. 59–70, 1999.

G. V. Kamenkov, “On stability of motion over a finite interval of time,” Journal of Applied Mathematics and Mechanics, vol. 17, pp. 529–540, 1953.

J. Zhai and Z. Song, “Global finite-time stabilization for a class of switched nonlinear systems via output feedback,” International Journal of Control, Automation, and Systems, vol. 15, no. 5, pp. 1975–1982, 2017.

S. Huang and Z. Xiang, “Finite-time stabilization of a class of switched stochastic nonlinear systems under arbitrary switching,” International Journal of Robust and Nonlinear Control, vol. 26, no. 10, pp. 2136–2152, 2016.

S. P. Bhat and D. S. Bernstein, “Finite-time stability of continuous autonomous systems,” SIAM Journal on Control and Optimization, vol. 38, no. 3, pp. 751–766, 2000.

H. Du, X. Lin, and S. Li, “Finite-time boundedness and stabilization of switched linear systems,” Kybernetika, vol. 5, no. 5, pp. 1365–1372, 2010.

Y. Wang, X. Shi, Z. Zuo, Y. Liu, and M. Z. Q. Chen, “Finite-time stability analysis of impulsive discrete-time switched systems with nonlinear perturbation,” International Journal of Control, vol. 87, no. 11, pp. 2365–2371, 2014.

Y. Wang, Y. Zou, Z. Zuo, and H. Li, “Finite-time stabilization of switched nonlinear systems with partial unstable modes,” Applied Mathematics and Computation, vol. 291, pp. 172–181, 2016.

S. Huang and Z. Xiang, “Finite-time stabilization of switched stochastic nonlinear systems with mixed odd and even powers,” Automatica, vol. 73, pp. 130–137, 2016.

D. Q. Mayne, J. B. Rawlings, C. V. Rao, and P. O. M. Scokaert, “Constrained model predictive control: stability and optimality,” Automatica, vol. 36, no. 6, pp. 789–814, 2000.

Y. G. Xi, D. W. Li, and S. Lin, “Model predictive control-current status and challenges,” Acta Automatica Sinica, vol. 39, no. 3, pp. 222–236, 2013.

D. Q. Mayne, “Model predictive control: recent developments and future promise,” Automatica, vol. 50, no. 12, pp. 2967–2986, 2014.

L. B. Su, Y. S. Li, and Q. M. Zhu, “Predictive control design of the initial stability region is given for constrained switched nonlinear systems,” Science China, vol. 39, no. 5, pp. 994–1003, 2009.

E. A. Buehler, J. A. Paulson, and A. Mesbah, “Lyapunov-based stochastic nonlinear model predictive control: Shaping the state probability distribution functions,” in Proceedings of the 2016 American Control Conference, ACC 2016, pp. 5389–5394, usa, July 2016.

P. Mhaskar, N. H. El-Farra, and P. D. Christofides, “Robust hybrid predictive control of nonlinear systems,” Automatica, vol. 41, no. 2, pp. 209–217, 2005.

B.-L. Su and S.-Y. Li, “Constrained predictive control for nonlinear switched systems with uncertainty,” Acta Automatica Sinica, vol. 34, no. 9, pp. 1140–1146, 2008.

B. Su, G. Qi, and B. J. Wyk, “Hybrid Predictive Control Based on High-Order Differential State Observers and Lyapunov Functions for Switched Nonlinear Systems,” Applied Mathematics, vol. 04, no. 09, pp. 32–42, 2013.