Abstract

In this paper, the problem of finite-time tracking is investigated for switched buck power converters based on the pulse width modulation (PWM) technique. For the continuous model, an equivalent continuous controller is solved by the backstepping technique, such that all signals are finite-time stable. PWM-based finite-time tracking with the equivalent control input is proposed for the switched buck converter, such that the tracking error converges to an arbitrarily small neighborhood of the origin in finite time, and the origin of the closed-loop system is practically finite-time stable. Simulation results are given to demonstrate the effectiveness of the proposed schemes.

1. Introduction

Electrical systems described by the multiple circuit topologies associated with the regulating switch are switched DC-DC power converters [1], which have widespread applications in power systems, photovoltaic systems, communication equipment, computers, and industrial electronics. The three basic topologies of switched DC-DC power converters are buck, boost, and buck-boost. The research of these power converters has drawn a great deal of attention for the development in both power electronics and control theory [24]. A good deal of results on point stabilization and trajectory tracking has been obtained under the switching method [5] and PWM technique [6]. Some switching methods have been investigated for stabilization of power converters, i.e., optimal switching instants based on a numerical optimization approach [7], state-dependent switching with the aid of variable-structure control [8], and switching law by combining sliding mode control with an equivalent control input [912]. The references mentioned above regard the switching signal as the control input directly based on switched systems theory.

The output voltage regulation of PWM-based DC-DC power converters has already been an extremely active research. The output voltage tracking was discussed by selecting passivity-based control [1315], energy shaping control [16, 17], and state feedback indirect control with nonminimum phase [18, 19]. In order to estimate the uncertain load resistances and enhance output performance, the adaptive backstepping controllers were proposed with better robustness and adaptability [2023]. Most of the results focused on asymptotical convergence rate for DC-DC power converters. Compared with asymptotical stability, finite-time stability has a faster convergence performance in terms of time optimization. Finite-time control has aroused a great deal of interest in recent years. For DC-DC buck converters, finite-time tracking control via integral terminal sliding modes was presented in [24]. The output voltage regulation control is investigated to guarantee the finite-time convergence rate based on finite-time convergent observer [25, 26] or via adaptive saturated finite-time control algorithm [27]. However, all these references above only considered point stabilization for continuous average models with the continuous control as a control input.

Little work has been done on PWM control to achieve the trajectory tracking problem of switched power converters so far. In this paper, we consider PWM-based finite-time tracking of switched buck power converters, where the system input is a digital control. The main work consists of the following aspects.(1)Finite-time stability of a nonlinear system with continuous control is given as a priori information, and it is firstly proved that the closed-loop digital system is practically finite-time stable in the condition of the continuous control replaced by physical PWM control.(2)For the corresponding continuous system, an equivalent continuous controller is designed using the backstepping method, such that the tracking error tends to zero in a finite time, and the closed-loop error system is finite-time stable in terms of time optimization compared with [22, 23].(3)For the switched buck converter, PWM-based finite-time tracking with the equivalent control input is proposed such that the tracking error converges to an arbitrarily small neighborhood of the origin in finite time, and the origin of the closed-loop system is practically finite-time stable.

The paper is organized as follows. Problem formulation is given in Section 2. PWM and its implementation are presented in Section 3. PWM-based finite-time tracking is researched in Section 4. Simulation results for buck converters are presented in Section 5. The paper is concluded in Section 6.

Notations: For a vector , denotes its usual Euclidean norm and denotes its transpose; denotes the Frobenius norm of a matrix defined by , where denotes the trace of a square matrix; denotes the set of all nonnegative real numbers; denotes the real -dimensional space; denotes the real matrix space; denotes the set of all functions with continuous -th partial derivative; denotes the distance between and ; denotes the area of a rectangle .

2. Problem Formulation

Consider the switch-regulated buck converter circuit as shown in Figure 1. is the voltage parameter of the supply voltage, is the resistance of the resistor, is the capacitance of the capacitor, is the inductance of the inductor, is the diode, and is a PWM gate drive controlled switch. The control variable is introduced to denote the switch state, when , and when . That is, such a control input takes values in the discrete set . It is assumed that there is no noise in the circuit; Figure 2 is the equivalent circuit of Figure 1.

In order to establish the circuit model associated with the regulating switch position, we need to make an explanation for those physical symbols. The inductive current respects the derivative of the circulating electric charge , is the electrical charge stored in the capacitor, and is the capacitor voltage. The switch-regulated buck converter circuit is presented as

Substituting the second equation into the first, it can be rewritten as

Let ; the dynamic equation is derived aswhere and represent the capacitor voltage and the inductor current, respectively, and the variable is the digital control which represents time series produced by servo amplifiers and only take values from binary set . Let , that is, the output is the capacitor voltage, which is also the resistor voltage.

Given a smooth reference signal , where are bounded with known constants. The aim of this paper is to design a switching signal for the switched buck converter (3), such that the capacitor voltage can be driven to track a given reference signal in a finite time; simultaneously, all signals in the resulting system are required to be practically finite-time stable.

To study finite-time tracking, we introduce some basic concepts and lemmas that will serve as the basis for the development of our digital switching control.

Definition 1. (see [29, 28]). Consider a nonlinear systemwhere is continuous, , and is an open neighborhood of the origin. The origin of system (4) is finite-time stable (FS), if it is Lyapunov stable and finite-time convergent in a neighborhood of the origin. By “finite-time convergence,” we mean that there is a settling time , such that for , for , , that is,When , the origin is a globally finite-time stable equilibrium.

Definition 2. (see [30]). The origin of system (4) is said to be practical finite-time stable (PFS), if for all initial conditions , there exist a constant and a settling time , such that

Remark 1. For PFS, if depends on and , , then the effect of PFS is the same as FS. As gets smaller, the bound of PFS here becomes smaller and even tends to zero compared with boundedness of [30].

Lemma 1. (see [31]). For any real number , , and , the following inequality holds:

Lemma 2. (see [28]). For system (4), suppose there exist constants , , and a positive definite function ( is a neighborhood of the origin), such thatthen, the origin of system (4) is finite-time stable, and the settling time satisfies

If and is radially unbounded, the origin of system (4) is globally finite-time stable.

3. PWM and Its Implementation

For a nonlinear systemwhere , is a locally Lipschitz continuous function, is a constant vector, and is the digital control produced by servo amplifiers; it can only take values from binary set .

In order to design such digital control, we first give a priori hypothesis for system (10).

Assumption 1. There exists a continuous static controlsuch that the origin of the closed-loop system (10) with continuous static control (11) is finite-time stable.
To achieve digitization, regarding as a duty ratio, from the viewpoint of mathematics, a PWM control is a strategy defined as [32]where is a sampling instant and represents the sampling period, where T is parameter-tuning. However, it is very difficult to implement the PWM control (12). The one is how to get exact at with variable-step resolution, the other one comes from the fact that PWM control should be a physical signal produced by a servo circuit instead of numerical signal directly.

Remark 2. By [1], systems (10) and (11) are the average models of the PWM controlled system (10) with (12). As , the duty ratio as the equivalent control replaces the PWM control in (12). The duty ratio may be designed in the form of a state feedback function, and thus it is easy to achieve some performance index of the closed-loop PWM switched system. In practice, the PWM control is generated as a discrete gate pulse signal [33], comparing a desired analog control signal with a fixed-frequency ramp.
One approximate implementation of PWM control (12) is presented aswhere is the function as (11) and is a triangular wave with magnitude and same period as (12) (see Figure 3).
If continuous control (11) is changed to PWM implementation (13), the stability analysis of system (10) will be given as follows.
For PWM implementation (13), we will discuss the relationship between and on the interval .(1)If ( is a constant), we have (see Figure 4)Case (1): , ; from (14),Case (2): , ; from (15) and the values of and ,From two cases above, if , one gets that(2)If is a continuous function, there exists simple function series , such thatwhere are disjoint closed sets of . Let the length of be less than that of ; then, leads to .The solution of system (10) with (11) is denoted as , and the solution of system (10) and PWM implementation (13) is denoted as ; by formula (19), the following relationship holdswhich implies thatAccording to Assumption 1, the origin of system (10) with (11) is finite-time stable. By Definition 1, there exists a settling time , such thatFrom (22) and 21, we have thatAs a consequence, there exists , such that , andAccording to Definition 2, the origin of closed-loop digital system (10) and (13) is practically finite-time stable.
From the above analysis, we can get the result.

Theorem 1. For system (10) under Assumption 1, if continuous static control (11) is replaced by PWM control (13), then the origin of closed-loop digital system (10) with (13) is practically finite-time stable.

Remark 3. According to Theorem 1, system (10) with (13) is practically finite-time stable. From (24), as , . This implies that the sampling period can be tuned smaller, and system (10) with (13) is closer to be finite-time stable. Moreover, all signals can be made arbitrarily small for small enough .

4. PWM-Based Finite-Time Tracking

For the switched buck converter (3), in order to achieve the tracking target, we give the ideas for design as follows:(1)Design the equivalent continuous control by the backstepping method(2)The digital control is produced using the equivalent continuous control based on the PWM technique

4.1. Design of a Finite-Time State Feedback Controller

System (3) with equivalent continuous control is presented as

For the continuous system (25), the backstepping method is adopted to design a finite-time state feedback controller , such that the capacitor voltage tracks the given reference voltage in a finite time.

Introduce the track error

Step 1. From (25) and (26), the derivative of with respect to time turns out to beChoosing the Lyapunov function , the derivative of along the system (27) is given byAs is just a variable and not an effective control input, (27) cannot be enforced for all . Nevertheless, it shows that the desired value for the variable iswhere and are design parameters. Substituting (29) into (28), we have

Step 2. Indeed, design the errorFrom (25) and (31), deriving with respect to time yieldsFor the second Lyapunov-like function , the derivative of along the system (32) satisfieswhere is a design parameter. The finite-time state feedback controller is designed asSubstituting (34) into (33) results inIn view of the above control analysis, we give the stability result of the continuous system in the following.

Theorem 2. For system (3) with continuous control (34), all the signals of the closed-loop error systems (27), (32), and (34) are finite-time stable, and the tracking error converges to the origin in a finite time. Moreover, the equivalent continuous control (34) is bounded, and by choosing design parameters appropriately, can be obtained such that

Proof. By defining and , is a positive definite function. From (35) and Lemma 1,where and . According to Lemma 2, the closed-loop error system is finite-time stable. Besides, based on Definition 1, we can obtain thatBy the definition of ,that is, the tracking error converges to the origin in a finite time. Furthermore, from (38), this implies that is bounded. For the boundedness of , and , it can be obtained that and states are bounded. After that, is bounded, that is, there exists a positive constant , such that . Then, . Let the beginning values of inductor current and capacitor voltage of circuits be zero, and choose design parameters appropriately; we can get .

4.2. Design of PWM-Based Finite-Time Tracking Controller

For the switched buck converter (3), there exists a equivalent continuous finite-time state feedback control (34), that is,by choosing positive parameters appropriately. Based on PWM implementation (13) and continuous signal (40), the binary PWM control is designed aswhere is the digital switch in the buck converter (3) and is the triangular wave with period .

In order to indicate the proposed PWM-based finite-time tracking control approach more clearly, the control block diagram is shown in Figure 5, where the switching signal is generated by the PWM technique comparing equivalent continuous control with fixed-frequency triangle wave by comparator.

Theorem 3. For the switched buck converter (3), if continuous control (40) is replaced by binary PWM control (41), then the closed-loop error systems (27) and (32) with (41) are practically finite-time stable. Furthermore, the tracking error can be made arbitrarily small for small enough .

Proof. According to Theorem 2, the closed-loop error systems (27) and (32) with (40) are finite-time stable. Based on Theorem 1, the closed-loop error systems (27) and (32) with (41) are practically finite-time stable.
Furthermore, is a component of states of the closed-loop error system; based on Remark 3, when is small enough, the tracking error can be made arbitrarily small.

Remark 4. Finite-time point regulation problem was discussed for continuous average models in [2527] with the continuous control as a control input. Compared with [2527], PWM control based on the equivalent control input (i.e., the duty ratio function) is considered for finite-time trajectory tracking of switched power converters in this paper, and here the digital control is the system input.

5. Simulation Results

Example 1. To investigate the effectiveness of the proposed control method, we give the simulation results as follows.
The corresponding closed-loop systems are considered with two different cases:(i)The continuous model (25) based on finite-time state feedback controller (40)(ii)The switched buck converter (3) based on PWM-based finite-time tracking (41)In the simulation, suppose that the output voltage reference for tracking is ; the circuit parameters are V, , F, and ; the initial values are ; and the design parameters are , , , and .
To make comparisons of simulation results, the two system cases are discussed keeping other parameters intact, respectively. Figures 6 and 7 show the responses of the corresponding closed-loop system with the different cases. Figure 6 implies that the tracking error tends to the origin in a finite time. From Figure 7, it can be learned that the tracking error converges to a small neighborhood of the origin in a finite time. Compared with Figure 6, Figure 7 illustrates the validity of PWM-based finite-time tracking control of the closed-loop system.

6. Conclusions

The problem of finite-time tracking for switched buck converters is considered in this paper. PWM-based tracking control with the equivalent control input is proposed for the switched buck converter, such that the tracking error converges to an arbitrarily small neighborhood of the origin in finite time, and the origin of the closed-loop system is practically finite-time stable. Simulation results are given to demonstrate the effectiveness of the proposed schemes.

It is an interesting and challenging direction under current research. The finite-time control method can be further generalized to solve other converters, such as boost converter, buck-boost converter, and Ćuk converters; another future research is regarding stochastic PWM control of systems based on random theory [34, 35].

Data Availability

The data used to support the findings of this study are included within the article.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This study was supported by the National Natural Science Foundation of China (61703359, 61773332, and 61673332).