Abstract
Based on the classical finite-time stability theory, the problem of finite-time stability (FTS) for time-varying nonlinear systems is investigated in this paper. Several FTS theorems involving global form and local form are presented, and an estimate of the settling-time of such systems is obtained. As an application, we consider the problem of asymptotic stabilization of the Brockett integrator subject to time-varying disturbance. By the switched finite-time controller design methodology, we establish a sufficient condition to guarantee the relative asymptotic stability. For Brockett-like integrator subject to time-varying disturbance, we achieve better convergence performance. Examples and their simulations are given to demonstrate the applicability of the proposed results.
1. Introduction
Over the past decades, many researchers have focused on Lyapunov asymptotic or exponential stability of dynamical systems, see [1–7]. One of the typical features of the asymptotic or exponential stability is that the solution will tend to an equilibrium state as time tends to infinity. Thus, it is difficult to achieve fast transient and high-precision performances. Finite-time stability (FTS) served as a special case of asymptotic stability means that the system reaches an equilibrium state in finite time, which presents an efficient tool for many engineering problems. Lots of interesting results on FTS have been raised from theoretical and practical points of view. Haimo [8] introduced a definition of continuous finite-time differential equations as fast accurate controllers for dynamical systems. Bhat and Bernstein [9] proposed Lyapunov theorem on FTS of continuous autonomous systems. Bhat and Bernstein [10] achieved globally FTS of the double integrator. Yang et al. [11] concerned the stabilization of switched dynamical networks with logarithmic quantization couplings in finite time. Moulay and Perruquetti [12] studied the FTS for a class of continuous systems using Lyapunov function. Furthermore, Moulay et al. [13] established some FTS theorems for time-delay systems based on Lyapunov functionals and the extension of Artsteins transformation. Polyakov and Hu et al. [14, 15] introduced the concept of fixed-time stability, which means that the system is globally finite-time stable and the settling-time is bounded by some positive constant for any initial values. However, most of existing results, such as [8–13], are based on the framework of time invariant. Recently, Haddad et al. [16] obtained a sufficient condition of FTS for nonlinear time-varying systems. However, it can only be applied to some special cases due to the strict restriction that the derivative of Lyapunov function is less than zero almost everywhere. Moulay and Perruquetti [17] presented the FTS conditions for nonautonomous continuous systems. However, it was simplified to the time-invariant form through the inequality of the Lyapunov function. Hence, more general methods should be established for nonlinear time-varying systems. To avoid confusion, it should be pointed out that the FTS considered in this paper is different from another FTS concept adopted in [18–20], which dealt with the finite-time boundedness.
As stated in Brockett’s result [21], Brockrtt integrator (Nonholonomic integrator), covered in underactuated systems, was the first example of locally controllable nonlinear system which is not smoothly stabilizable and requires additional constraints. In order to overcome the abovementioned limitations, various methods have been proposed for the problem of asymptotic stabilization of the Brockett integrator [22–26]. Astolfi [22] addressed the problem of almost exponential stabilization with bounded control. Banavar and Sankaranarayanan [23] studied a switched finite-time controller design methodology. Rehman [24] dealt with steering control of nonholonomic systems with drift for the extended nonholonomic double integrator. Rehman and Ahmed [25] presented piecewise constant and state-dependent feedback control for the nonholonomic integrator. Chihchen [26] investigated the time-varying control for globally exponential stabilization of the Brockett integrator. However, the abovementioned works did not take disturbance into account and converged in infinite time domain. Therefore, based on the FTS theorem for time-varying systems, we will explore stability issues of the Brockett integrator subject to time-varying disturbance.
In this paper, we firstly address some essential stability definitions in Section 2. Then, in Section 3, based on the classical finite-time stability theorem [9], the FTS theorem for time-varying nonlinear systems is considered. We apply it to solve the problem of asymptotic stabilization of the Brockett integrator subject to time-varying disturbance, as shown in Section 4. By some examples, we verify the main results in Section 5. In Section 6, conclusions are be presented.
2. Preliminaries
Notations: let denote the set of real numbers, the set of nonnegative numbers, the n-dimensional real spaces equipped with the Euclidean norm , and , the subspaces of . and are the maximum and minimum of and , respectively. The notation denotes the transpose of .
Consider the nonlinear system given bywhere , denotes the state vector, is a continuous function with for all . We assume that satisfies suitable conditions so the solution with initial state uniquely exists in forward time for all initial conditions except possibly the origin (see [9]).
Definition 1. (see [9]). System (1) is said to be FTS if there exist a function and an open neighborhood such that the following statements hold:(i)Finite-time convergence (FTC): for every , holds for all and as (ii)Lyapunov stability (LS): for every ball around the origin, there exists a ball around the origin such that, for every , for all
Definition 2. (see [23]). For a given set that contains the origin, system (1) is said to be relatively asymptotically stable (RAS) with respect to the set , if for any , there exists such that, for all , holds when ; moreover, as . and are open balls around the origin of radius and , respectively.
3. Main Results
In this section, we present a generalization of the classical FTS theorem [9]. Given the following definitionfor a continuously differentiable function . With a slight stealing concept, is said to be positive definite and radially unbounded if there exists a positive definite and radially unbounded continuous function such that , for .
Theorem 1. Consider system (1), if there exists a positive definite, continuously differentiable function , an integrable function , and two real numbers , , such that the derivative of along the solution of system (1) satisfieswhere satisfies
Then, system (1) is locally FTS with respect to satisfying , where . The settling-time function , depending on the initial state , is bounded by
Moreover, when and is radially unbounded, system (1) is globally FTS.
Proof. For a given , let be the solution of system (1) through . By transforming (3), we obtainIntegrating both sides of the abovementioned inequality, it givesSince V is a positive definite function, we can obtainWhen and , it follows from (4) that there exists a time point satisfying , such that . That is to say , from which the settling time can be estimated, namely, (5). When , , it follows from [27] that the solution of system (1) through is unique in forward time. Therefore, , for , which means system (1) is locally FTC with respect to satisfying . Noting from (3), it is easy to obtain that system (1) is LS. Combining these two aspects, system (1) is locally FTS with respect to satisfying .
When and is radially unbounded, no matter what initial value it is, there always exists a time point , such that , that is, . Through a similar procedure, we conclude that system (1) is globally FTS.
Remark 1. The classical FTS theorem mentioned in [9] has been widely used in many fields, such as finite-time synchronizion of complex networks, finite-time attitude stabilization for spacecraft, and terminal sliding mode method of nonlinear systems, see [10, 23]. However, these theoretical results are applied under the framework of time invariant, that is, . When , the classical FTS theorem is unapplicable. However, in Theorem 1, we can still achieve the FTS of system (1), as long as (3) and (4) hold. This assertion can be verified in Section 5.
4. Applications
Consider a class of systems described by equations of the formwhere , , , and is a matrix of proper dimension. It has received considerable attention for the asymptotic stabilization of such systems during the past several decades. The reason for such an interest lies in the fact that system (9) cannot be asymptotically stabilized by any continuous differentiable and state feedback control laws (see [22]). The Brockett integrator, as a special case of system (9), has plenty of theoretical results with time-invariant form. However, there are few theoretical results considering the form of time-varying systems. In this paper, we study the Brockett integrator subject to time-varying disturbance, that is,where , denotes the state component, , denotes the control input, , is continuous function denoting the disturbance term. For any integrable function , we introduce a set as follows:
Assumption 1. There exists a continuous function such that , for , and the following inequality holds:
Assumption 2. There exist two functions such that
Theorem 2. Assume that Assumptions 1 and 2 hold, then the solution of system (10) converges to the origin and system (10) is RAS with respect to the set under the control input:
Proof. We firstly show the attractivity of system (10). If , then it follows from (14) thatwhich impliesNote that ; then, it is easy to see thatwhich shows that asymptotically tends to zero.
In addition, the third state component of system (10) becomes with control input , which gives that is FTS combining (12) and Theorem 1. Moreover, the settling time T can be estimated by (5). For the second state component of system (10), when , it holds ; then, by (13), the derivative of becomes . Similar to the above argument, we could conclude that the origin of asymptotically tends to zero. For the case that , we can apply any open loop control to steer the system to a nonzero value of . This completes the proof of attractivity.
Secondly, we show the relative stability of system (10). When , system (10) is transformed aswhich implies that enters the set from this moment, and and will converge to origin. Therefore, when , as , then one can obtain that system (10) is RAS with respect to the set . This completes the proof.
Remark 2. Theorem 2 provides a method for the problem of asymptotic stabilization of the Brockett integrator subject to time-varying disturbance. A relatively asymptotical stabilization is achieved by weakening the stability conditions. Besides, in the process of designing controller , we apply a switched finite-time controller design methodology. In fact, it is also a discontinuous control. Worth mentioning that it is of vital importance to design functions , such that the FTS of is achieved directly. In Section 5, we will show an example to illustrate our conclusion.
Corollary 1. Under conditions in Theorem 1, when , we just need , where is a positive constant. Then, the solution of system (10) converges to the origin and system (10) is RAS with respect to the set under the control input:
Remark 3. It should be pointed out that, in Theorem 2, the selection of set and control input is not unique. In Theorem 2, we only get the FTS of one state component. In order to achieve better performance, we can further consider multiple components to achieve the FTS for the Brockett-like integrator, which is the result we will give in Theorem 3.
Consider the following Brockett-like integrator subject to time-varying disturbance:where , denotes the state component, , denotes the control input, , is continuous function denoting the disturbance term, , , and are positive odd numbers.
Assumption 3. There exists a continuous function such that , for , and the following inequality holds:
Assumption 4. There exist two functions such that
Assumption 5. There exist two functions , such that the set is not empty.
Theorem 3. Assume that Assumptions 3, 4, and 5 hold; then, the solution of system (20) converges to the origin, and system (20) is RAS with respect to the set under the control input:
Proof. If , it follows from (23) thatAbout the first state component of system (20), we notice that and , , and are positive odd numbers, so obtained from Theorem 1, the first state component of system (20) is FTS. Meanwhile, combining (21), (22), and Theorem 1, the third state components of system (20) is FTS. Hence, for initial value and , the settling time can be established, that is, and . Under the premise of Assumption 5, when , system (20) is transformed asSimilar to the proof process of Theorem 2, we can obtain that system (20) is RAS with respect to the set . For the case that , we can apply any open loop control to steer the system to a nonzero value of . This completes the proof.
5. Numerical Simulations
In this section, we will demonstrate the effectiveness of the proposed results for the above applications through the following simulation examples.
Example 1. Consider the following 2D time-varying system:where . Consider the Lyapunov function , and the derivative along the trajectory of the system (26) iswhere and on . According to Lyapunov’s stability theory in [28], system (26) is LS. It can be calculated that the lower bound of is 0, so the classical FTS theorem in [9] is unapplicable. On the contrary, note that satisfies (4) with , and it follows from Theorem 1 that system (26) is globally FTS and the settling time can be estimated as . Figure 1 illustrates the state trajectories of system (26).
Example 2. Consider system (10) with , , , , and . It is obvious that , , is a continuous function, and . Hence, we can calculate that . It follows from Theorem 2 that system (10) is RAS with respect to the set , and the control input could be described byIt is worth pointing out that the classic FTS theorem in [9] is not applicable. This is due to the existence of the disturbance term, and the control input will reach infinity within a certain time, which is impractical. The numerical simulations for system (10) are follows.
In Figure 2, it can be clearly seen that firstly converges to zero, then converge to zero. The control input change over time and turn into 0 when converges to zero. In Figure 3, the state vector enters the set and finally reaches the origin in finite-time. All of these results are corresponding to the conclusion of Theorem 2, which illustrates the validity of the Theorem 2.
Example 3. For convenience, the same parameters as in Example 2 are used. Consider system (2) with , , , , , and . It is not difficult to verify that the set is not empty. Therefore, following from (21), (22), and Theorem 3, system (20) is RAS with respect to the set and the control input could be described byIt can be seen from Figure 4 that the first and third state components of the system (20) is FTS, and the second state component of system (20) asymptotically tends to zero, which shows the validity of Theorem 3.
6. Conclusion
The problem of FTS for time-varying nonlinear systems is investigated in this paper, where the results of global FTS and local FTS are proposed, respectively. As an application, the stabilization problem of the Brockett integrator subjecting to time-varying disturbance is studied. By the switched finite-time controller design methodology, we achieve the RAS for the Brockett integrator subject to time-varying disturbance. Further research topics would be considered to extend the main results of this paper to other more complex problems, such as the finite-time stabilization for wheeled mobile robot subject to time-varying disturbance and the FTS theorem for time-varying nonlinear systems in the sense of Lyapunov.
Data Availability
No data were used to support this study.
Conflicts of Interest
The author declares that there are no conflicts of interest.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (61673247) and Research Fund for Distinguished Young Scholars and Excellent Young Scholars of Shandong Province (JQ201719).