Abstract
This article addresses an adaptive backstepping control design for uncertain fractional-order nonlinear systems in the strict-feedback form subject to unknown input quantization, unknown state-dependent control directions, and unknown actuator failure. The system order can be commensurate or noncommensurate. The total number of failures is allowed to be infinite. The Nussbaum function is used to deal with the problem of unknown control directions. Compared with the existing results, the control gains can be functions of states and the knowledge of quantization parameters and characteristics of the actuator failure are unknown. By applying the backstepping control approach based on the frequency-distributed model, it is proved that all the closed-loop signals remain bounded and the output tracking error converges to the origin asymptotically. Finally, the effectiveness of the proposed controller is demonstrated by two simulation examples.
Keywords
1. Introduction
Fractional-order calculus (FOC) is a topic with more than 300 years of history, which can be considered as an extension of ordinary integrals and derivatives to noninteger order (Petráš, 2011). However, only during the recent decades, FOC has attracted more and more engineers’ and physicists’ interest because of its potential to describe memory and hereditary properties of many processes (Caponetto et al., 2010). According to these unique features, it is not far-fetched to claim that fractional models compared with integer-order models can describe the system dynamics more accurately (Monje et al., 2010). From the practical point of view, it should be mentioned that fractional-order differential equations have been widely used in different areas such as robotics, biology, diffusion, fluid mechanics, signal processing, control theory, etc. (Axtell and Bise, 1990; Debnath, 2003; Monje et al., 2010; Muresan et al., 2016; Sabatier et al., 2007).
Stability analysis and controller design of fractional-order systems which are more complicated than integer-order systems have been considered in several works (Alaviyan Shahri et al., 2018; Lenka and Banerjee, 2018). Stability of integer-order nonlinear systems (IONS) can be analyzed using the classical Lyapunov function (Ahmad and Shafiq, 2020b; Shafiq and Ahmad, 2019), whereas stability proof of fractional-order nonlinear systems (FONS) by choosing a conventional quadratic Lyapunov function and calculating its time derivative is not straightforward (Aguila-Camacho et al., 2014). To overcome this problem, various approaches have been suggested in the literature. Li et al. (2010) extended the Lyapunov direct method to fractional-order systems by introducing the Mittag-Leffler stability notion. This method became more applicable by introducing a useful inequality by Aguila-Camacho et al. (2014). This result allows using the classic quadratic Lyapunov functions in many stability analyses of FONS. However, in some cases, choosing a simple quadratic function is not useful (Duarte-Mermoud et al., 2015). Chen et al. (2017) developed a Lyapunov candidate function in the form of a convex and positive definite function. Because of the restrictions of the direct method, the concept of the indirect Lyapunov method based on the frequency distributed model has been purposed (Wei et al., 2016). With the aid of this method, not only noncommensurate cases can be handled, but also conventional control techniques such as backstepping can be applied. According to the mentioned advantages of the frequency distributed model, this model has been used in the present work.
1.1. Challenges and motivations
In recent years, control of the fractional-order nonlinear systems has received a great deal of interest; however, designing a practical controller for FONS to handle different restrictions is still an open area. In what follows, some of the challenges in the design of a controller that motivated this present work have been reviewed: Generally, the exact model of the system is not available. Consequently, considering the model uncertainty has been one of the crucial issues in the control theory (Yao and Tomizuka, 2001). The unknown dynamics and parametric uncertainties are often the main forms of uncertainties. In case of unknown dynamics, intelligent approximators can be used to estimate the system unknown dynamics. Most of the controllers designed based on these approximators, guarantee the stability of the closed-loop system in the sense of Lyapunov. Several works have been proposed for integer-order nonlinear systems with parametric uncertainties and asymptotic stability has been established (Ahmad et al., 2016; Ahmad and Shafiq, 2020a). In the present work, a system with parametric uncertainty has been considered to achieve the asymptotic tracking performance which is more desirable. Although adaptive backstepping is a common technique widely used for IONS (Hua et al., 2008), it cannot be directly applied to fractional-order systems because the traditional Leibniz and chain rules are not valid for fractional derivatives (Podlubny, 1998). Some researchers have extended the integer-order adaptive backstepping technique to fractional-order ones (Nikdel and Badamchizadeh, 2019; Sheng et al., 2017; Wei et al., 2015, 2016). Because the design of the controller for the FONS is in its early stage, adaptive backstepping control of the FONS has not been widely investigated as done for IONS (Liu et al., 2017). Thus, designing an appropriate adaptive backstepping controller for FONS remains an open issue. In many real processes, the system control directions may be unknown which means the effect of input change on the direction of output change is not known. For example, in the control of wind turbines, because the wind speed variation is unpredictable, the control direction is not known a priori (Habibi et al., 2018). In such cases, designing an efficient controller is a challenging problem. A common approach to overcome this problem is using the Nussbaum function (Nussbaum, 1983). The design of adaptive controllers for IONS with unknown control directions have been addressed by Askari et al. (2017); Wang et al. (2015c); Xudong and Ding (2001). Similarly, based on the Nussbaum gain function, several adaptive controllers for FONS with unknown control direction have been proposed (Khettab et al., 2016; Zhang and Xie, 2014; Zouari et al., 2017). To make the controller more practical, in this work, the unknown control direction restriction has been taken into account in the controller design. In many industrial applications, such as flight control systems and nuclear power plants, actuators are subjected to faults during operation, which results in a poor control performance and even instability (Li and Yang, 2016). Actuator fault is a type of failure affecting the system inputs. Because of abnormal operation or material aging, actuator faults may occur in the system. Abnormal operating condition means a condition that indicates a malfunction of the process components or deviation from normal operations (violating process variables limits such as temperature and pressure). This failure leads to catastrophic consequences and hazards for personnel, plants, and environment (Li, 2016). To keep processes stable and compensate for the effect of failure, an effective fault-tolerant control (FTC) design is necessary. Although many actuator failure compensation schemes have been introduced for integer-order systems (Moradvandi et al., 2019; Wang et al., 2015a; Wang and Wen, 2010), a few works can be found in the literature regarding controller design for FONS subject to actuator failures. Sakthivel et al. (2018) proposed an FTC algorithm for nonlinear fractional-order systems which guarantees the robust asymptotic stability of the system. It is worth mentioning that in the aforementioned work, it has been assumed that the total number of failures is finite. Recently, an adaptive controller has been designed for a class of FONS with the infinite number of actuator failures that can only be applied to commensurate systems (Li et al., 2019). Therefore, designing a fault-tolerant controller that can handle the infinite number of failures and additional restrictions such as unknown direction for noncommensurate FONS is desired and motivated this work. In recent years, the controller design for systems with quantized input has attracted researchers’ interest because of its practical applications such as networked control systems (Wang and Liu, 2008), control of discrete-nature systems (Lunze et al., 1999), and control of systems equipped with stepper motors (Liu et al., 2019). In controlling systems with input quantization, a continuous control signal is quantized by a quantizer before applying it to the plant which results in an unavoidable quantization error. Ignoring this error affects the control performance and leads to unexpected problems, such as oscillations or chaos and even system instability (Niu et al., 2017).
Although the study of adaptive quantized control for IONS has received a great deal of attention (Choi and Yoo, 2017; Li and Yang, 2016; Yu and Lin, 2016), there are very few control schemes for adaptive quantized tracking control for FONS (Hua et al., 2018; Song et al., 2020). To the best of authors’ knowledge, the controller design proposed for uncertain FONS with quantized input and unknown control directions subject to an infinite number of actuator failures and time-varying external disturbance has not been addressed in the literature before. Meanwhile, the designed controller can guarantee the asymptotic stability of the closed-loop system.
1.2. Contributions
The main contributions of this work are summarized below: This work presents the controller design for FONS in the strict-feedback form subject to input quantization, unknown control direction, infinite number of actuator failures, and external disturbance that can be applied to both commensurate and noncommensurate order systems. The proposed control scheme can be applied without the knowledge of quantization parameters. It has been assumed that the unknown control gains are a function of states. To reduce the computational load, only one adaptive law has been applied for estimating the unknown upper bounds of control gains. As the system dimension increases, the reduction of computational burden for the proposed control scheme becomes highlighted and the controller design becomes simpler. The supremum of the faults uncertainty bound has been used to handle the infinite number of actuator failures. It has been shown that all closed-loop signals remain bounded and the tracking error converges to the origin asymptotically.
This article is organized as follows. In Section 2, the problem statement and necessary preliminaries have been presented. Based on the frequency distributed model, the design of an adaptive fractional-order controller by using the backstepping technique has been addressed in Section 3. Two examples have been presented in Section 4 to show the effectiveness of the proposed control scheme. Finally, the conclusion has been drawn in Section 5.
2. Problem statement and preliminaries
Consider a class of uncertain fractional-order nonlinear systems subject to quantized input described by
As stated in the Introduction section, the system model can be partially or totally unknown. System (1) has parametric uncertainty which means vector parameter
The three mostly used definitions for the fractional derivatives are the Riemann–Liouville (RL), the Grunwald–Letnikov (GL), and the Caputo definitions. Among these definitions, in this article, the Caputo fractional derivative operator has been considered because of its advantages such as: The initial conditions for fractional-order systems with Caputo derivatives have clear physical interpretation and are the same as those for integer-order differential equations. The Caputo derivative of a constant is zero. The equilibrium points of non-integer order systems with Caputo derivatives are the same as those used for integer-order ones. Note that To design an appropriate control scheme and overcome the problem of quantization, hysteresis quantizer

Map of q(u) for u>0.
(Liu et al., 2015). The quantized input In the above decomposition,
According to the above inequalities, it should be noted that only the boundedness of functions Note that most of the practical applications are faced with actuator fault. In this article, the infinite number of actuator failures is described by (Wang et al., 2015a) Using the above functions, equation (7) can be written as Using equations (3) and (10), system (1) can be rewritten as The control objective is designing an adaptive controller such that all closed-loop signals remain bounded and the output tracking error converges to the origin asymptotically in presence of input quantization, unknown control direction, infinite number of actuator faults, and external disturbance.
The desired signal
The state-dependent control gain
It is assumed that the external disturbance is bounded, that is,
Assumption 1 is not restrictive and made in several works (Sheng et al., 2017; Wei et al., 2015). In most practical applications, the reference signal and its derivatives are available. Assumption 2 implies that gain functions are strictly either positive or negative, which ensures the system controllability. This assumption has been made by many researchers (Choi and Yoo, 2017; Ge et al., 2004; Lai et al., 2016; Na, 2013; Wang et al., 2008, 2018). It should also be noted that the lower and upper bounds of control gains are only required for analytical purposes and their values are assumed to be unknown. Therefore Assumption 2 is reasonable and not restrictive. Furthermore, for all real applications, the external disturbances are bounded and thus Assumption 3 is not restrictive and has been made by other researchers (Li and Yang, 2016; Wang and Yang, 2018). It is worth noting that the disturbance upper bound is only required for the theoretical analysis and assumed to be unknown.
In contrast to some of the existing works (Liu et al., 2015; Yu and Lin, 2016), the quantized parameter
(Nussbaum, 1983). Function Many functions satisfy the above conditions such as
(Wang et al., 2015a). For any positive uniform continuous and bounded function
(Trigeassou et al., 2013). The fractional-order system
(Wei et al., 2014). Suppose is convergent in the sense that
As a matter of fact, the fractional-order tracking differentiator (FOTD) can be considered as a generalization of integer-order one (Han, 2009). With the help of FOTD, the required fractional-order derivative of a signal can be generated online by adjusting
3. Controller design and stability analysis
In this section, an adaptive controller design for FONS using the backstepping technique based on the frequency distributed model has been presented.
To achieve the control objective, the following error variables have been introduced
Further, based on Assumption 2 for the unknown positive constants
Denoting
To reduce the computational burden, the maximum squared of
The fractional derivative of Substituting equation (20) into equation (23) yields By utilizing Lemma 3, from the frequency distributed model we have Based on the indirect Lyapunov approach, the first Lyapunov function is chosen as Because Time derivative of Using equation (25), the above equation can be written in the following form Using Assumption 2 and Young’s inequality, the following inequality can be obtained Utilizing the above inequality, The following virtual control law Substituting Choose the first tuning functions Terms Using equations (34) and (35), equation (33) can be written as The derivation of step 2 and step
The input quantization and actuator fault affect the last step of the design and therefore this step plays an important role in the controller design and has been discussed in detail. The fractional derivative of Based on the frequency distributed model, equation (37) can be expressed as To compensate for quantization error, unknown actuator failures, and external disturbance, the following variable has been defined It is worth pointing out that from Assumption 3 and Lemma 1, constant Consider the last Lyapunov function candidate as In the above equation,
The above Lyapunov function remains continuous in case of changes in the actuator failures because Calculating time derivative of Using The following control and adaptive laws have been proposed Using equations (43)–(46) in equation (42) gives Utilizing equation (39) and the fact that Substituting equation (48) into equation (47) and noting The following adaptive law for updating According to Lemma 2, it can be verified that Thus, inequality (49) can be rewritten in the following form Using Young’s inequality, it can be shown For the sake of simplicity, new variables Because Substituting inequalities (53)–(55) and equation (56) into equation (52) gives
It should be pointed out that the term
Consider the fractional-order nonlinear system (1) subject to input quantization and actuator failure under Assumptions 1–3. Applying control law (43) and adaptive laws (45), (46), and (50) guarantees boundedness of all closed-loop signals and asymptotic convergence of the tracking error to the origin.
Because terms Let define Using equation (59) in (58) yields Integrating equation (60) over By applying the same procedure as used in Jing and Yang (2017) and Wang and Yang (2018), it can be concluded from equation (61) that Integrating equation (62) and noting that Because all terms on the right-hand side of equation (63) are bounded, Therefore, asymptotic tracking is fulfilled, and the proof is completed.
It can be seen from the quantizer map (2) that the quantization parameter
For simulation purpose, fractional-order derivative signals, that is,
4. Simulation results
In this section, two examples are presented to illustrate the effectiveness of the proposed controller.
Consider the following fractional-order nonlinear system with the aforementioned restrictions The applied actuator failures are as follows The design control parameters are set to

System output and the reference signal.

Control signal u and quantized control input q(u).

Variations of adaptive parameters.

The first Nussbaum gain function and its argument.

The second Nussbaum gain function and its argument.
Consider a single-link robot system in the following integer-order form (Li and Yang, 2016) Let As stated in Ahmed et al. (2019) and Mujumdar et al. (2015), the noncommensurate fractional model provides a more accurate description of the above system and therefore the following model has been selected for describing the system dynamics The initial values are To evaluate the control performance and the robustness of the proposed algorithm in the presence of variations in the unknown gain and system parameter,

System output and the reference signal.

Control signal u and quantized control input q(u).

Variations of adaptive parameters.
5. Conclusion
In this article, the design of an adaptive controller for a class of strict-feedback fractional-order nonlinear systems with unknown input quantization in the presence of unknown control direction, infinite number of actuator failures, and time-varying external disturbance has been addressed. With the help of the frequency-distributed model, a fractional-order adaptive backstepping controller has been designed which can be applied to both commensurate and noncommensurate order systems. To cope with input quantization and avoid chattering, the nonlinear decomposition and the hysteresis quantizer have been used. The Nussbaum gain functions have been used to tackle the problem of unknown control directions. Furthermore, it should be noted that the control gains can be functions of states. It has been shown that all closed-loop signals remain bounded and the output tracking error converges to zero asymptotically despite considered restrictions.
6. Future work
The controller design for the fractional-order systems is in its early stage. In most of published works in this area, the effectiveness of the proposed control scheme has been demonstrated via simulation and the experimental results are very rare. Evaluating the effectiveness of the proposed control scheme via experimental study can be considered as a future work.
Footnotes
Declaration of Conflicting Interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) received no financial support for the research, authorship, and/or publication of this article.
Appendix
The fractional time derivative of With the help of Lemma 3, (71) can be transferred into the following frequency model Choose the second Lyapunov function as Using equation (36) and (72), it can be shown that the time derivative of Using Young’s inequality and Assumption 2, one can obtain Substituting the above inequality into (74) and noting The virtual control law
( The equivalent frequency model of (82) is as follows Consider the following Lyapunov function candidate In view of (83) and the time derivative of Applying Young’s inequality and Assumption 2 to term Utilizing (86) in (85) results in The virtual control law
