Abstract
To improve transportation capacity, dual overhead crane systems (DOCSs) are playing an increasingly important role in the transportation of large/heavy cargos and containers. Unfortunately, when trying to deal with the control problem, current methods fail to fully consider such factors as external disturbances, input dead zones, parameter uncertainties, and other unmodeled dynamics that DOCSs usually suffer from. As a result, dramatic degradation is caused in the control performance, which badly hinders the practical applications of DOCSs. Motivated by this fact, this paper designs a neural network-based adaptive sliding mode control (SMC) method for DOCS to solve the aforementioned issues, which achieves satisfactory control performance for both actuated and underactuated state variables, even in the presence of matched and mismatched disturbances. The asymptotic stability of the desired equilibrium point is proved with rigorous Lyapunov-based analysis. Finally, extensive hardware experimental results are collected to verify the efficiency and robustness of the proposed method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Single overhead crane systems (SOCSs) are widely used in harbors, factories, and workshops. As typical underactuated systems, cranes have fewer control inputs than their degrees of freedom, making the controller design task a very challenging problem. Moreover, according to the transportation requirements, the control goal of crane systems includes accurate trolley positioning and fast payload swing suppression. Specifically, the swing angles need to be suppressed as small as possible during the transportation, so that the payload can be transported to the desired position stably. To achieve such requirements, the couplings between the unactuated states (i.e., payload swing angles) and the actuated states (i.e., trolley positions) need to be enhanced appropriately, which often requires elaborate analysis and design. In recent decades, many scholars have developed abundant effective controllers for SOCS to solve the above-mentioned open and challenging problems, including input shapers [1], trajectory planning algorithms [2–4], adaptive control [5–7], SMC [8–12], energy-based control [13–15], optimal control [16], intelligent control [17–19], and so forth.
Nevertheless, with the advancement of manufacturing, the cargos become larger and heavier, which can no longer be regarded as a mass point. Besides, the transportation capacity of a single crane (i.e., SOCS) is not enough to handle complex transportation tasks. Therefore, two cranes are combined together to form a DOCS system, so as to simultaneously convey a single large cargo efficiently, which plays a more and more important role in the modern cargo transportation industry. Furthermore, in addition to the issues existed in SOCS, DOCS is of more complex couplings and stronger nonlinearities, which makes the controller design problem even more challenging. Specifically, compared with SOCS, DOCS has more degrees of freedom. Moreover, in addition to non-holonomic constraints, there are geometric constraints in DOCS, which makes the couplings between the system states more sophisticated. Recently, the above-mentioned open and challenging problems attract mounting scholars to study DOCS. Some scholars apply open-loop control algorithms to DOCS [20–23]. [24] proposes a modified extra-insensitive input shaper to suppress the payload swing and pitch in DOCS, which is validated by simulation and experimental results. In [25], an automatic path planning algorithm for dual-crane is designed that can quickly generate optimized lifting paths even under complex constraints. However, the control performance of these open-loop algorithms degrades drastically under various disturbances. For this reason, some closed-loop control algorithms have been developed [26, 27]. To achieve trajectory tracking of multiple mobile cranes, Qian, et al. [28] construct a robust iterative learning controller based on the linearization of the dynamics. Perig, et al. develop a series of linearization methods to linearize DOCS and then achieve optimal control in [29]. [30] designs an adaptive output feedback controller to achieve high-performance control of DOCS with payload hoisting/lowering ability.
Summarizing the existing results, some scholars have conducted preliminary research on DOCS and achieved phased results in certain aspects. However, the control of DOCS still presents many issues, which are drawn as follows:
-
1)
Most controllers applied to DOCS are open-loop controllers. For example, the input shapers, similar to other open-loop algorithms, are less robust when the systems suffer from initial swing disturbances and other various disturbances, which is a nonnegligible drawback in practice. In addition, to address the closed-loop control problems of DOCS, linearizations or approximations are widely adopted, which cannot guarantee the stability of the system towards external disturbances.
-
2)
Worse still, most existing results are based on exact model knowledge (i.e., some parameters of DOCS are involved in the controller law). In practice, the measurement of the precise value of the parameters will greatly reduce transportation efficiency. Furthermore, plant parameters (e.g., payload mass) vary from different transportation tasks frequently, which may greatly degrade the control performance of these methods.
-
3)
Moreover, DOCSs are disturbed by matched disturbances persistently. For example, input dead zones of servo motors and frictions are piecewise discontinuous nonlinear functions, whose precise modeling is an open problem. To eliminate the swing, the trolley needs to move back and forth, which changes the direction of the friction force, making it even more difficult for the controller to achieve satisfactory anti-swing performance.
-
4)
Presently, almost no robust algorithm for DOCS has been developed. For instance, SMC has achieved remarkable results on relatively simple underactuated systems [12]. However, DOCS presents higher degrees of freedom and stronger nonlinearities, thus it is quite difficult to design a sliding surface stabilizing all states simultaneously and complete stability analysis.
Based on these observations, this paper proposes an adaptive SMC method based on a neural network and a new sliding manifold to solve the above problems. Specifically, two groups of new auxiliary variables are constructed to transform DOCS into a cascade system. Based on these closely related variables, a new sliding surface is elaborately constructed with more swing-related information incorporated to suppress payload swing. Besides, a neural network is adopted to address parameter uncertainties, so that DOCS can deliver different masses and sizes payloads. Moreover, unmodeled dynamics, such as frictions and input dead zones of servo motors, are also compensated by the neural network. Finally, an adaptive SMC is designed to stabilize both actuated and unactuated states, even when DOCSs suffer from both matched and unmatched disturbances, which guarantees more reliable performance in practical application. The asymptotic stability of the desired equilibrium point is strictly guaranteed through Lyapunov technique without tuning to linearizations or approximations. Furthermore, extensive hardware experiments are collected to validate the efficiency and robustness of the proposed method.
The innovations and contributions in this paper are summarized as follows:
-
1)
Based on two groups of new auxiliary variables, a new sliding surface is elaborately constructed with more swing-related information incorporated, which can stabilize both actuated and unactuated states and suppress swing quickly, even when DOCSs suffer from matched and unmatched disturbances.
-
2)
A neural network is introduced into the SMC controller to address parameter uncertainties and unmodeled dynamics of DOCS and hence improve the system robustness, which better facilitates the practical application of the proposed method.
-
3)
The asymptotic stability of the desired equilibrium point is demonstrated without turning to linearizations or approximations.
The rest of this article is structured as follows: Section 2 briefly introduces DOCS and the control problem. Section 3 depicts the design process of the adaptive sliding mode controller. In Sect. 4, the stability analysis is presented. Simulation results are shown in Sect. 5. Finally, Sect. 6 concludes the paper.
2 Problem statement
To facilitate description, the following abbreviations are defined:
As shown in Fig. 1, a large/heavy payload is cooperatively transported by two cranes that run on the same rail. Each crane is connected to the payload through a hoisting rope (the two connection points are \(A_{1}\), \(A_{2}\)), whose length is denoted by l (>0). The distance between \(A_{1}\), \(A_{2}\) is 2a. \(m_{1}\), \(m_{2}\), respectively, denote the masses of crane 1 and crane 2. The driving forces of two cranes are \(F_{1}\), \(F_{2}\), respectively. \(x_{1}(t)\), \(x_{2}(t)\) indicate the traveling displacements of crane 1 and crane 2. m stands for the mass of the payload. The payload inclination is \(\theta _{3}\), while the swing angles of the two hoisting ropes are \(\theta _{1}\), \(\theta _{2}\), respectively. b depicts the vertical distance between the payload barycenter and the line \(A_{1}A_{2}\).
It can be observed from Fig. 1 that the DOCS has the following geometric constraints:
The input dead zones of the servo motors are expressed as
where \(Z(F_{1})\) and \(Z(F_{2})\) denote the real input forces of DOCS, and \(h_{l}(*)\) and \(h_{r}(*)\) represent the lower and upper bounds of the dead zone, respectively. To facilitate the design of the controller, \(Z(F_{1})\) and \(Z(F_{2})\) are redefined as \(Z(F_{i})= F_{i} + \Delta F_{i}\), \(i=1, 2\).
In this paper, Lagrange’s equation is utilized to establish the model of DOCS and a similar modeling process can also be found in [31], which is as follows:
where \(L(t)=T(t)-U(t)\) indicates the Lagrange multiplier, \(T(t)\) denotes the kinematic energy of the system, \(U(t)\) represents the gravity potential energy of the system, and \(q_{k}\) and \(Q_{k}\) (\(k = 1, 2\)) denote the system states and generalized force, respectively.
After derivation, the explicit expression of the kinematic energy \(T(t)\) can be arranged as follows:
On the other hand, the gravity potential energy \(U(t)\) of the system are calculated as follows:
Considering the DOCS suffering from both matched and unmatched disturbances and substituting (4) and (5) into (3), the dynamic equations of DOCS are described as follows:
where \({d_{a1}}\), \({d_{a2}}\) denote matched disturbances, including frictions of the two trolleys and other unmodeled dynamics, and \({d_{u1}}\), \({d_{u2}}\), \({d_{u3}}\) represent unmatched disturbances.
To facilitate analysis, (6)–(10) are transformed into the following form:
where \(\boldsymbol{q}(t)=[x_{1}(t)\enskip x_{2}(t)\enskip \theta _{1}(t)\enskip \theta _{2}(t)\enskip \theta _{3}(t)]^{\top }\) denotes the system state vector, \(\boldsymbol{d}=[{d_{a1}},\ {d_{a2}}\, {d_{u1}},\ {d_{u2}},\ {d_{u3}}]^{\top }\) denotes the unknown disturbance vector, and \(M(\boldsymbol{q}), C(\boldsymbol{q}, \dot{\boldsymbol{q}})\in \mathbb{R}^{5\times 5}\), \(G( \boldsymbol{q})\), and q represent the inertia matrix, the centripetal-Coriolis matrix, the gravity vector, and the control input vector, respectively. The explicit expressions for the matrices in (11) are given as follows:
Due to physical constraints, the following assumptions are made for the DOCS.
Assumption 1
The swing angles of the payload and the payload inclination are all bounded, namely
Assumption 2
The disturbances \({d_{a1}}\), \({d_{a2}}\), \({d_{u1}}\), \({d_{u2}}\), and \({d_{u3}}\) have the following bounded property:
where \({\bar{d}_{a1}}\), \({\bar{d}_{a2}}\), \({\bar{k}_{v1}}\), \({\bar{k}_{v2}}\), \({ \bar{d}_{u1}}\), \({\bar{d}_{u2}}\), and \({\bar{d}_{u3}}\) denote the upper bounds of \({d_{a1}}\), \({d_{a2}}\), \({\dot{d}_{a1}}\), \({\dot{d}_{a2}}\), \({d_{u1}}\), \({d_{u2}}\), \({d_{u3}}\).
Remark 1
(12) is introduced to illustrate that the payload of crane systems cannot run above the rail, which are widely done by [8, 14, 26], and [30]. Besides, the disturbances in the real world are bound and similar assumption as (13) is utilized extensively by many related works [12, 32] and [33].
Symmetry widely exists in underactuated systems [34]. Specifically, the symmetry property \(M(\boldsymbol{q})=M(\boldsymbol{q_{a}})\) (\(\boldsymbol{q_{a}}\) denotes the actuated vector of DOCS) holds for DOCS, which is easily obtained from the expression of \(M(\boldsymbol{q})\). Furthermore, underactuated systems can be transformed into cascaded forms by utilizing symmetry, which is convenient for the design of the controller. To achieve the transformation, and motivated by [34], the following two groups of auxiliary variables are constructed as
where (6)–(9) are utilized, and \(\eta _{1i}\), \(\eta _{2i}\), \(\eta _{3i}\), \(\eta _{4i}\), \(\eta _{1id}\), \(\eta _{2id}\), \(\eta _{3id}, \eta _{4id}, i=1, 2\) are defined as follow
where \(x_{d1}\), \(x_{d2}\) denote the reference trajectories of crane 1 and crane 2, respectively, and the desired values for \(\theta _{1}\), \(\theta _{2}\) (i.e., \(\theta _{1d}\), \(\theta _{2d}\)) are expressed as
Taking the time derivative of (14), the dynamic equations of DOCS in (11) can be transformed into the following cascade forms:
where (6)–(9) are utilized, and \(\xi _{11}\), \(\xi _{12}\), \(\xi _{21}\), \(\xi _{22}\), \(\dot{\eta }_{21d}\) and \(\dot{\eta }_{22d}\) are expressed as follows
Combining (14)–(16) and (18), the desired equilibrium point for the DOCS can be converted into the following form:
The control objective of this paper is to drive DOCS to the desired equilibrium point (20) and improve the robustness of the system with fast swing elimination. To transport the payload to the desired position, the following property always holds for the reference trajectories:
Remark 2
In [26], the geometric constraints (1) are incorporated into the dynamic equation (11) by utilizing implicit functions to obtain a lower-dimensional model, which facilitates the design and stability of the controller. However, the characteristics of the model are hidden and the couplings between states become more complicated, making the designed controller non-intuitive. In this paper, regarding the geometric constraints as constraints and couplings between states, the dynamic equation (11) is transformed into cascade forms (18) by utilizing the symmetry. Finally, the designed controller based on the cascade forms is concise and intuitive, as shown in Sect. 3.
3 Controller design
In this section, an adaptive sliding mode controller is designed for the DOCS to enhance its robustness. Specifically, a sliding surface based on the cascade forms is constructed. Besides, a neural network is introduced to estimate the unknown parts of the system dynamics.
Based on the newly obtained variables (14), the following sliding manifold is constructed:
where \(\lambda _{1i}\), \(\lambda _{2i}\), \(\lambda _{3i}\), \(i=1, 2\) are parameters to be determined. The explicit expressions of the time derivative of \(s_{1}\) and \(s_{2}\) are calculated as
where (18) is utilized and \({h_{ i}(m,l,b,t)}\) is the part of the controller related to the system parameters. \({h_{ i}(m,l,b,t)}\) is the nominal value, and the actual value of \(h_{ i}\) is depicted as \(h_{\Delta i} =h_{ i}+\Delta {h_{ i} }\). Therefore, the unknown parts of (23) can be rearranged as follows:
where \(D_{1}\) and \(D_{2}\) are the unknown parts of \(\dot{s}_{1}\) and \(\dot{s}_{2}\), which are rearranged into the following forms:
The following neural networks are introduced to approximate the unknown parts \(D_{1}\) and \(D_{2}\):
where \(\boldsymbol{x} =[{x_{1}},{x_{2}},{\theta _{1}},{{\dot{x}}_{1}},{{\dot{x}}_{2}},{{ \dot{\theta }}_{1}},1]^{\top }\), \(\sigma ( * ) =\frac{1}{1+e^{-*}}\) is an activation function, \({W_{1}}\), \({W_{2}}\) denote input and output weights, \({ \epsilon _{1}}\), \({\epsilon _{2}}\) are approximation errors, whose upper bounds are \({\bar{\epsilon }_{1}}\), \({\bar{\epsilon }_{2}}\).Footnote 1
Based on the above analysis, the following adaptive sliding mode controllers are designed:
with
where \(K_{1}\), \(K_{2}\) are positive control gains to be selected, \(f_{1}\) and \(f_{2}\) are introduced to provide robustness in the presence of estimating errors of the radial basis function neural network (RBFNN), and \(k_{\epsilon _{1}}>{\bar{\epsilon }_{1}}\), \(k_{\epsilon _{2}}>{ \bar{\epsilon }_{2}}\).
To construct the update laws of the neural network, the following estimation errors are first defined:
The update laws of weights \({W_{1}}\), \({W_{2}}\) are elaborately designed as follows:
where a is a positive parameter and \(\Gamma _{1}\) and \(\Gamma _{2}\) are positive diagonal parameter matrices. To illustrate the entire control system design process, a block diagram is provided in Fig. 2.
Remark 3
The RBFNN adopted in this paper is capable of universal approximation [37]. However, almost no neural network-based controller for underactuated system is robust to unmatched disturbances [19]. Based on elaborately designed sliding surface and neural network, the proposed method achieves the robust control while DOCS suffers form unmatched disturbances. Specifically, when the payload is disturbed, the cranes need to move back and forth to eliminate the swing, which requires appropriate swing-related feedbacks being incorporated into the sliding surface. Moreover, the friction force will change drastically during the process, and a large part of it can be compensated by the one-hidden-layer RBFNN with fast approximation capability.
Remark 4
Although the adopted neural network is able to compensate the frictions and the dead zones of the actuators, it is difficult to know the accuracy of the compensation because the frictions and the dead zones are hard to measure. Furthermore, the sliding mode controller is also robust to various disturbances and can partially conquer the frictions and the dead zones of the actuators. On the other hand, the frictions keep changing among the entire transportation. For neural networks, there will be a delay in compensating for signals that change quickly. Hence, once the system reaches the desired equilibrium point, it can be determined that the sliding mode controller and the neural network accurately compensate for frictions and other unmodeled dynamics together.
Remark 5
Although the sliding mode controller is known for strong robustness, the cost is that its control gain may be large, and the switching function will cause chattering problems to the motors and the mechanical systems. These factors hinder the application of the sliding mode controller. Hence, we adopt the neural network to compensate for various disturbances, thereby reducing the control gains of the sliding mode controller and weakening the chattering problem of the mechanical systems.
4 Stability analysis
Before carrying out analysis, the following property is introduced:
Property 1
If \(H \in {\mathbb{R} ^{n \times n}}\) is a positive definite, symmetric matrix, the following property holds:
where \({h_{1}}\), \({h_{2}}\) denote the minimum and the maximum eigenvalues of H, respectively.
Theorem 1
For the underactuated DOCS (6)–(10), the designed controller (27) guarantees that the desired equilibrium point introduced in (20) is asymptotically stable.
Proof
For clarity, the proof of Theorem 1 is split into two steps. Specially, it first shows that the adaptive SMC can drive the system states to the sliding surface. After that, the asymptotic stability of the desired equilibrium point is demonstrated.
Step 1. First, choose the following Lyapunov function candidate:
Taking the time derivative of \(V ( t )\) yeilds
where (24), (25), (27), (28) and (30) are utilized. The following conclusion can be obtained
The result in (33) indicates that \({\hat{W}_{1}}\) and \({\hat{W}_{2}}\) are all bounded as
where \({{\bar{\Omega }}_{1}}\), \({{\bar{\Omega }}_{2}}\) are the upper bounds of \({{\Omega_{1}}}\), \({{{{\Omega }}_{2}}}\).
To further analyze the convergence rate of the sliding manifold, another Lyapunov function candidate is given as follows:
The time derivative of \(V_{1} ( t )\) can be expressed as
where \(\gamma \triangleq \min(K_{1}-{{\bar{\Omega }}_{1}}+k_{ \epsilon _{1}}-\|\epsilon _{1}\|, K_{2}-{{\bar{\Omega }}_{2}}+k_{ \epsilon _{2}}-\|\epsilon _{2}\|)\). The control gains \({K_{1}}\), \({K_{2}}\) in (27) are selected to satisfy the following conditions:
Substituting the conditions (41) into (40), the following conclusion holds:
where \(t_{f}\le \frac{\sqrt{2}}{\gamma }\sqrt{V_{1}(0)}\). Based on the above results, it can be concluded that the sliding surface will converge in a finite time \(t_{f}\).
Step 2. Furthermore, the following auxiliary vector is constructed to proceed with the proof of Theorem 1:
Taking the time derivatives of \({\boldsymbol{\zeta _{a1}}}\) and \({\boldsymbol{\zeta _{a2}}}\) as
where (18) and (42) are utilized, and \(A_{i}, {\boldsymbol{\xi _{i}}}, {\boldsymbol{\varsigma _{i}}}\), \(i=1, 2\) are expressed as follows,
It can be observed that \(A_{1}\) and \(A_{2}\) in (44) are quasi-linear systems. The stability of the quasi-linear system \(A_{1}\) is analyzed first. To better deal with the linear part of (44), the following state transformation is made:
Choose the following nonnegative Lyapunov function candidate:
Taking the time derivative of (47) produces
where
The upper bounds of the first two terms of (48) are unknown. To complete the proof, \(\lambda _{1i}\), \(\lambda _{2i}\), \(\lambda _{3i}\), \(i=1, 2\) are firstly selected to satisfy:
Utilizing the Routh criterion, \(A_{1}\), \(A_{2}\) are Hurwitz. To facilitate analysis, all the roots of \(A_{1}\) and \(A_{2}\) are configured as \(-k_{1}\) and \(-k_{2}\). respectively, as long as
To this end, \({H_{1} }\) is a Jordan Matrix as follows:
Moreover, to render \({H_{1} }\) positive, the minimum eigenvalue \({\lambda _{m1}}\) of \({H_{1}}\) is configured to satisfy
Subsequently, the upper bounds of \(\boldsymbol{\xi _{1}}\) and \(\boldsymbol{\xi _{2}}\) are calculated as (please see the appendix for the explicit calculation):
Using Property 1, the upper bound of (48) is calculated as
where (54) and (46) are utilized, and \({\alpha _{1}}\), \({\alpha _{2}}\) are expressed as
Noticing that \(Q_{1}\) is a quadratic function going upwards, as long as
there exists an interval Λ of \(\|\boldsymbol{\mu }\|\) (>0) guaranteeing \({{\dot{V}}_{2}} ( t )\le \|\boldsymbol{\mu }_{1}\|Q_{1}<0 \), which can be calculated as
If the initial value of \(\|\boldsymbol{\mu }_{1}\|\) is set to satisfy \(\|\boldsymbol{\mu }_{1}(0)\|\in \Lambda \), one can obtain that \({{\dot{V}}_{2}} ( t )\le 0 \) and the following conclusion can be drawn:
Furthermore, combining (13) with (21), one can obtain
Gathering the results in (58) and (59) gives rise to
where (42) and (46) is utilized. For the system \(\boldsymbol{{\dot{\zeta }_{a2}}}=A_{2}\boldsymbol{{\zeta _{a2}}} + {\boldsymbol{\xi _{2}}} + { \boldsymbol{\varsigma _{2}}}\), the proof process is similar to the above analysis, which will not be repeated here for brevity. Finally, Theorem 1 is proved as follows
□
Remark 6
In fact, as a quasi-linear system, the performance of (44) mainly depends on the linear part of (44), i.e., the matrix \(A_{1}\), \(A_{2}\). Hence, if the parameters \(\lambda _{1i}\), \(\lambda _{2i}\), \(\lambda _{3i}\), \(i=1, 2\) of A are configured as the functions of k according to (51), the condition in (50) will be satisfied and then \(A_{1}\), \(A_{2}\) are Hurwitz. Moreover, further tuning \(k_{1}\), \(k_{2}\) within the range (53) by trial and error, the condition in (57) can be satisfied and the asymptotical stability of DOCS at the equilibrium point is guaranteed.
5 Hardware experimental results
The hardware experimental testbed has been explicitly described in [26], which is not introduced in this paper for brevity. The physical parameters of the testbed are as follows:
Furthermore, the input dead zones of the two servo motors are \(h_{r1}=h_{r2}=17.39~\mathrm{N}\) and \(h_{l1}=h_{l2}=-17.39~\mathrm{N}\). The target positions of crane 1 and crane 2 are determined as 1.5 m and 2.4 m. The two cranes track the trajectories of the same shape to minimize the payload swing. According to the target positions, some smooth trajectories are introduced as follows:
The initial values of system states are set as
The control gains of the proposed controller are tuned as
It is worth pointing out that the control gains are not changed during the entire experimental process.
5.1 Experiment 1
In this group of experiments, the controller needs to overcome matched disturbances such as the dead zones of actuators and frictions. Specifically, the frictions and the dead zones of the actuators are both piecewise and discontinuous functions, which cause positioning errors of the two trolleys. Furthermore, the friction forces change with the positions and speeds, and the friction forces of the two trolleys are also different. As shown in Figs. 3 and 4, the proposed method can drive the two trolleys to the desired positions at about 10 s. Moreover, the swing angles of the payload also converge quickly at the same time. Meanwhile, the 2-norm of the output weights \(W_{1}\) and \(W_{2}\) vary diversely, which illustrates that the frictions of the two trolleys are different.
5.2 Experiment 2
In this experiments, the parameters of DOCS are changed to \(m = 4.308\mbox{ kg}\), \(l = 0.6\mbox{ m}\) to verify the robustness of the proposed method against parameter uncertainties. To better verify the robustness and anti-swing performance of the proposed control method, the classic coordination controller of DOCS in [26] and the neural network-based adaptive antiswing controller (NNAAC) in [19] are utilized as comparison in this experiments. The control gains of the NNAAC are elaborately tuned as follows:
The control gains for the coordination controller are elaborately constructed as
From Fig. 5, it can be seen that even when the payload mass and the length of the hoisting ropes are all changed, the proposed controller can still compensate uncertain parameters and unmodeled dynamics simultaneously. In contrast, as shown in Figs. 6 and 7, the coordination controller and the NNAAC fail to achieve parameters adaptation and friction compensation simultaneously. As a result, position errors and obvious residual payload swing are exhibited. Specifically, the position errors of two trolleys for the proposed method are \(0.002~\mathrm{m}\) and \(0.004~\mathrm{m}\), while the NNAAC has positioning errors of \(0.012~\mathrm{m}\) and \(0.01~\mathrm{m}\) and the trolleys of the coordination controller are still \(0.029~\mathrm{m}\) and \(0.033~\mathrm{m}\) away from the desired positions when they stop. Moreover, it can also be seen from Fig. 8 that the adopted RBFNN of the proposed method compensates most of the matching disturbances, but the network of the NNAAC has poor estimation ability for such large and varying disturbances.Footnote 2
5.3 Experiment 3
In practical application, when the payloads are replaced, the payloads cannot be stabilized immediately. Hence, there will exist residual payload swing, which takes a long time to eliminate and thus badly reduces transportation efficiency. To test the performance and robustness of the controller under this working condition, initial swings are inflicted on the payload. As can be seen from Fig. 9, even when apparent initial swings exist, the proposed method still accomplishes accurate positioning and satisfactory anti-swing performance, which verifies the robustness of the proposed method. However, from Figs. 10 and 11, although the two comparison methods can drive the trolley to the desired position, there is still obvious residual swing afterward, which cannot be eliminated after 20 s.
5.4 Experiment 4
To fully validate the robustness of the presented controller, external mismatched disturbances are exerted on the payload abruptly. As shown in Fig. 12, the maximum payload swing angle is up to about 7 deg at about 26 s. From Fig. 12, it can be observed that the system is re-stabilized quickly (in about 2.5 s) after being disturbed. For comparison, the NNAAC is also tested with an external disturbance. However, since the cooperative controller is similar to the PD (Proportion Differentiation) controller, the coordination controller is not robust in counteracting the sudden disturbances (see Fig. 13). On the other hand, because no swing-related information is incorporated into the sliding surface of the NNAAC, the trolleys fail to react to the swing motion and eliminate the swing (see Fig. 14).
6 Conclusions
Utilizing the symmetry property, the dynamic equations of DOCS are transformed into cascade forms and a new sliding manifold is constructed afterward. Based on the sliding mode surface and one-hidden-layer neural network, an adaptive SMC is proposed. Furthermore, the asymptotic stability of DOCS is guaranteed, even when DOCS suffers from both matched and unmatched disturbances. Simultaneously, the adopted neural network addresses the parameter uncertainties, frictions, input dead zones, and other unmodeled dynamics. Finally, a series of experimental results verify the effectiveness and the strong robustness of the proposed control scheme. In our future works, the hoisting and lowering of the payload and the actuators’ saturation problem will be considered.
Code availability
The simulation program and code of this paper are available from the first author on reasonable request.
Data transparency
The experimental data during the current study are available from the first author on reasonable request.
Notes
For the approximation errors \({\epsilon _{1}}\), \({\epsilon _{2}}\), the upper bounds \({\bar{\epsilon }_{1}}\), \({\bar{\epsilon }_{2}}\) exist for any state variables, which are an inherent property of neural networks and a widely adopted assumption in other neural networks-related works [19, 35, 36].
To keep this article concise, the control inputs and the 2-norms of the neural network weights are not shown in Experiment 3 and Experiment 4.
References
K.L. Sorensen, W.E. Singhose, Command-induced vibration analysis using input shaping principles. Automatica 44(9), 2392–2397 (2008)
X. Zhang, Y. Fang, N. Sun, Minimum-time trajectory planning for underactuated overhead crane systems with state and control constraints. IEEE Trans. Ind. Electron. 61(12), 6915–6925 (2014)
U. Schaper, C. Dittrich, E. Arnold, K. Schneider, O. Sawodny, 2-DOF skew control of boom cranes including state estimation and reference trajectory generation. Control Eng. Pract. 33, 63–75 (2014)
H. Peng, B. Shi, X. Wang, C. Li, Interval estimation and optimization for motion trajectory of overhead crane under uncertainty. Nonlinear Dyn. 96(2), 1693–1715 (2019)
Y. Fang, B. Ma, P. Wang, X. Zhang, A motion planning-based adaptive control method for an underactuated crane system. IEEE Trans. Control Syst. Technol. 20(1), 241–248 (2012)
F. Boustany, B. d’Andrea Novel, Adaptive control of an overhead crane using dynamic feedback linearization and estimation design, in Proceedings 1992 IEEE International Conference on Robotics and Automation (IEEE, Los Alamitos, 1992), pp. 1963–1964
D. Liu, J. Yi, D. Zhao, W. Wang, Adaptive sliding mode fuzzy control for a two-dimensional overhead crane. Mechatronics 15(5), 505–522 (2005)
N.B. Almutairi, M. Zribi, Sliding mode control of a three-dimensional overhead crane. J. Vib. Control 15(11), 1679–1730 (2009)
S.G. Lee, L.C. Nho, D.H. Kim et al., Model reference adaptive sliding mode control for three dimensional overhead cranes. Int. J. Precis. Eng. Manuf. 14(8), 1329–1338 (2013)
W. Chen, M. Saif, Output feedback controller design for a class of mimo nonlinear systems using high-order sliding-mode differentiators with application to a laboratory 3-D crane. IEEE Trans. Ind. Electron. 55(11), 3985–3997 (2008)
X. Wu, K. Xu, M. Lei, X. He, Disturbance-compensation-based continuous sliding mode control for overhead cranes with disturbances. IEEE Trans. Autom. Sci. Eng. 17(4), 2182–2189 (2020)
B. Lu, Y. Fang, N. Sun, Continuous sliding mode control strategy for a class of nonlinear underactuated systems. IEEE Trans. Autom. Control 63(10), 3471–3478 (2018)
Y. Fang, W.E. Dixon, D.M. Dawson, E. Zergeroglu, Nonlinear coupling control laws for an underactuated overhead crane system. IEEE/ASME Trans. Mechatron. 8(3), 418–423 (2003)
N. Sun, Y. Fang, New energy analytical results for the regulation of underactuated overhead cranes: an end-effector motion-based approach. IEEE Trans. Ind. Electron. 59(12), 4723–4734 (2012)
N.Q. Hoang, S.G. Lee, Energy-based approach for controller design of overhead cranes: a comparative study. Appl. Mech. Mater. 365–366, 784–787 (2013)
H. Chen, Y. Fang, N. Sun, A swing constraint guaranteed mpc algorithm for underactuated overhead cranes. IEEE/ASME Trans. Mechatron. 21(5), 2543–2555 (2016)
D. Wang, H. He, D. Liu, Intelligent optimal control with critic learning for a nonlinear overhead crane system. IEEE Trans. Ind. Inform. 14(7), 2932–2940 (2017)
Y. Zhao, H. Gao, Fuzzy-model-based control of an overhead crane with input delay and actuator saturation. IEEE Trans. Fuzzy Syst. 20(1), 181–186 (2011)
T. Yang, N. Sun, H. Chen, Y. Fang, Neural network-based adaptive antiswing control of an underactuated ship-mounted crane with roll motions and input dead zones. IEEE Trans. Neural Netw. Learn. Syst. 31(3), 901–914 (2019)
B. Lu, Z. Wu, Y. Fang, N. Sun, Input shaping control for underactuated dual overhead crane system with holonomic constraints. Control Theory Appl. 35(12), 1805–1811 (2018)
A.S. Miller, P. Sarvepalli, W. Singhose, Dynamics and control of dual-hoist cranes moving triangular payloads, in Dynamic Systems and Control Conference, vol. 3 (ASME, San Antonio, 2014), pp. 1–9
J. Huang, K. Zhu, Dynamics and control of three-dimensional dual cranes transporting a bulky payload. Proc. Inst. Mech. Eng., Part C, J. Mech. Eng. Sci. 235(11), 1956–1965 (2021)
J. Vaughan, J. Yoo, W. Singhose, Using approximate multi-crane frequencies for input shaper design, in 2012 12th International Conference on Control, Automation and Systems (IEEE, Jeju, 2012), pp. 639–644
X. Zhao, J. Huang, Distributed-mass payload dynamics and control of dual cranes undergoing planar motions. Mech. Syst. Signal Process. 126, 636–648 (2019)
P. Cai, I. Chandrasekaran, J. Zheng, Y. Cai, Automatic path planning for dual-crane lifting in complex environments using a prioritized multiobjective pga. IEEE Trans. Ind. Inform. 14(3), 829–845 (2017)
B. Lu, Y. Fang, N. Sun, Modeling and nonlinear coordination control for an underactuated dual overhead crane system. Automatica 91, 244–255 (2018)
F.A. Leban, J. Diaz-Gonzalez, G.G. Parker, W. Zhao, Inverse kinematic control of a dual crane system experiencing base motion. IEEE Trans. Control Syst. Technol. 23(1), 331–339 (2014)
S. Qian, B. Zi, H. Ding, Dynamics and trajectory tracking control of cooperative multiple mobile cranes. Nonlinear Dyn. 83(1), 89–108 (2016)
A.V. Perig, A.N. Stadnik, A.A. Kostikov, S.V. Podlesny, Research into 2D dynamics and control of small oscillations of a cross-beam during transportation by two overhead cranes. Shock Vib. 2017, 9605657 (2017)
B. Lu, Y. Fang, N. Sun, Adaptive output-feedback control for dual overhead crane system with enhanced anti-swing performance. IEEE Trans. Control Syst. Technol. 28(6), 2235–2248 (2019)
P. Zhang, Y. Fang, X. Liang, H. Lin, Modeling and nonlinear coordination control of a dual drones lifting system, in 2019 Chinese Control Conference (IEEE, Guangzhou, 2019), pp. 809–814
B. Lu, Y. Fang, N. Sun, Sliding mode control for underactuated overhead cranes suffering from both matched and unmatched disturbances. Mechatronics 47, 116–125 (2017)
R. Xu, Ü. Özgüner, Sliding mode control of a class of underactuated systems. Automatica 44(1), 233–241 (2008)
R. Olfati-Saber, Normal forms for underactuated mechanical systems with symmetry. IEEE Trans. Autom. Control 47(2), 305–308 (2002)
L. Wang, T. Chai, L. Zhai, Neural-network-based terminal sliding-mode control of robotic manipulators including actuator dynamics. IEEE Trans. Ind. Electron. 56(9), 3296–3304 (2009)
Q. Zhou, S. Zhao, H. Li, R. Lu, C. Wu, Adaptive neural network tracking control for robotic manipulators with dead zone. IEEE Trans. Neural Netw. Learn. Syst. 30(12), 3611–3620 (2018)
J. Park, I.W. Sandberg, Universal approximation using radial-basis-function networks. Neural Comput. 3(2), 246–257 (1991)
Funding
This work is supported by the National Natural Science Foundation of China under Grant 61873132, and the Opening Project of Guangdong Provincial Key Lab of Robotics and Intelligent System.
Author information
Authors and Affiliations
Contributions
TW and BL conceived of the presented idea. TW developed the theory and performed the computations. TW performed the numerical simulations and experiments with support from YF and BL. TW wrote the manuscript with support from YF and BL. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Appendix
Appendix
To prove the conclusion of (54), this part of the analysis is divided into the following two cases:
1. \({\boldsymbol{q}}, \boldsymbol{\dot{q}}\to 0\)
The upper bounds of \(\xi _{11}\), \(\xi _{12}\), \(\xi _{21}\) and \(\xi _{22}\) in the case \({\boldsymbol{q}}, \boldsymbol{\dot{q}}\to 0\) are first analyzed. Utilizing (14) and (16), the following conclusion can be obtained
Based on (43) and the resluts in (68), the upper bounds of \(\xi _{11}\), \(\xi _{21}\) are obtained
where \(n_{1}\) is a sufficiently large positive. Substituting (68) into (45) yields
where n is a sufficiently large positive to satisfy the inequation (70).
2. \({\boldsymbol{q}}, \boldsymbol{\dot{q}}\to \infty \)
Substituting \({\boldsymbol{q}}, \boldsymbol{\dot{q}}\to \infty \) into (14) and (16), and ignoring constant terms and low-order infinity terms, the following conclusion can be drawn
Because both \(\|\xi _{1}\|\) and \(\|\zeta _{21}\|\) are positive second-order infinite terms, there must be a positive number m satisfying the following inequation:
Apparently, it is very difficult to give a specific value of the upper bounds of the nonlinear items, only the shape can be obtained. Hence, combining (70) with (72), the upper bounds of \(\|\xi _{1}\|\) are the quadratic function of \(\|\boldsymbol{\zeta _{a1}}\|\) as
where \(\rho _{1}\) is a bounded positive, which is sufficiently large to satisfy the above requirement. The proof process of the upper bound of \(\|\xi _{2}\|\) is similar with \(\|\xi _{1}\|\), which is not included here for brevity.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wen, T., Fang, Y. & Lu, B. Neural network-based adaptive sliding mode control for underactuated dual overhead cranes suffering from matched and unmatched disturbances. Auton. Intell. Syst. 2, 1 (2022). https://doi.org/10.1007/s43684-021-00019-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43684-021-00019-7