Abstract

The manipulation of multiple physical connected objects can be described by virtual connected string system. We proposed a Lyapunov-based stabilization control approach for virtual connected string with midway discontinue vertical force. The system is with Riemannian boundary. We use the backstepping method to transform the system into a stable system with Dirichlet boundary. In this way, we get the controller to make sure the closed-loop system converge to the zero point exponentially. Then, we construct a Lyapunov function to analyze the stability for the closed-loop system. We also show the system is well-posedness. Also, we use the active disturbance rejection control (ADRC) to reject the disturbance when disturbance is present. Some numerical stimulations show that the control law is the effective.

1. Introduction

Multirobot transportation system has been one of the most potential research fields in recent years, and the majority of these studies are focused on multiple robots manipulating a single object, while the manipulated object in this paper is a class of multiple physical connected objects (MPO). The manipulation of MPO has been widely used both in daily life and industrial application. As an example, flood shield is used to obstruct flood disaster. These shields are connected with each other, and each shield is immobilized by fixed oblique support, flexible oblique support, or vertical support, which are represented in Figures 1(a)–1(c), respectively. Retaining wall is another typical application of MPO, i.e., retaining mesh, which is supported by multiple linked rods, as shown in Figure 1(d). One more abstracted application, a multiple link model-based human body is held by two-arm service robot, as shown in Figure 1(e). In this application, human beings are abstracted as free-ended multiple connected rigid bodies, and these rigid bodies are manipulated by two arms, respectively. Similar to above applications, the pushing manipulation problem of mobile support robot (MSR, also known as hydraulic support or roof support) on underground fully mechanized coal mining face is a such kind of system as well. Since the manipulated object, i.e., scraper conveyor, is composed of multiple middle troughs (MTs), we simplified scraper conveyor as multiple connected objects with physical connections. As shown in Figures 1(f) and 1(g), both the physical and simulated workplace of multiple MTs manipulated by MSRs on ground is represented, respectively. With simplification, as shown in Figure 1(h), MPO is replaced by external virtual string. Then, the simulated external constraint using virtual connected string is presented, as shown in Figure 1(i).

Due to loadable characteristics as well as its mobility through pushing and advancing, the manipulation problem of MSRs is one of the most complicated problems on underground fully mechanized coal mining face. Based on our previous research on the underground multirobot system [1, 2], we found the main difficulty is modeling the external constraints. Considering the commonalities of above applications, a reasonable assumption is proposed by replacing MPO with virtual connected string constraints, and the main problem is boundary stabilization of virtual connected string system. Thus, one contribution of this paper is replacing the manipulated MPO with a virtual connected string. Then, the problem is converted to the system stabilization of the connected string system considering pushing disturbance and antidamping.

The study for the virtual connected string equations has drawn significant attention in recent years. It can be applied widely in engineering field. For example, aerial cable, traffic problem, and transmission lines can be described by connected string systems [3, 4]. In [5], the stability of strings with various connected feedbacks is studied by spectral analysis. In [2], the control of a connected string converter modeled from electrical power is studied. In [6], the symmetry is considered for the system of strings. Other literature relevant can be found in [79] and the references therein.

Although there are some works on the stability of connected strings, there is still no result on the Lyapunov stability analysis for connected strings. It needs some mathematical techniques to find the suitable Lyapunov function for connected strings. Moreover, these models are without disturbance. However, disturbance is usually present in practical applications [1012]. So, we are also concerned with the disturbance for the model. Sliding mode control and active disturbance rejection control (ADRC) are usually used to reject the disturbance [1319]. ADRC is used in this paper. ADRC shows its advantages because it can not only estimate the disturbance but also counteract the disturbance (see [2024]).

We consider a connected string system, which is connected at point in [0, 2]:where is the state, is the input, , and is the disturbance; we also assume . The connected term is the discontinuity of vertical force component; it is antistable.

We introduce a new variable , where

Then, system (1) becomes

It can be seen that the string is unstable because there is an antidamping in the term of discontinuity of the vertical force. Also, the boundary is Riemannian, which gives rise to difficulty to make it converge to zero point. The contribution is compensating the unstable term as well to make sure that it can converge to zero. We used the backstepping transformation (see [2527]) to deal with the unstable term, and we are the first to give the Lyapunov function for connected strings.

The paper is organized as follows. Section 2 designs the controller. Section 3 shows MATLAB simulations, and Section 4 gives the conclusion remarks.

2. The Control Design

An invertible backstepping transformation is introduced bywhere and ; its inverse transformation is

By transformation (4) and (5), system (3) is going to be

By the transformation, the connected antidamping is moved to the boundary. We give a controller:to deal with the antidamping term at point . Under the control ofwhere is a new control to be designed to contract the disturbance. System (7) becomes

We consider system (10) in the Hilbert space

With the inner product induced norm, for ,

Introduce an unbounded linear operator :and then, system (10) can be written in the evolution equation form in :where and . We get the following two lemmas.

Lemma 1. generates an exponentially stable -semigroup.

Proof. We will first demonstrate that generates a -semigroup. A direct computation givesSo, is dissipative.
For any given , solve , to obtainwhich givesSo, is unique. Hence, exists, and from the Sobolev embedding theorem, it is also compact on . Using Lumer–Phillips theorem (see [28]), generates a -semigroup of contractions .
Next, we show that is exponentially stable. We consider the evolution equation:which equals to the following PDE:Let be a function given bywhere and is sufficiently small.
From Cauchy–Schwartz and Young’s inequalities, it is found that, for , there exists so that , whereHence, is a proper Lyapunov function for (23). By taking the deviation of in , we haveLet and , and we get , which gives the result.

Lemma 2. is admissible to .

Proof. By direct computation, we obtainThe dual system of (10) is generates a -semigroup, so generates a -semigroup.
The energy of system (25) isThen, . Let Differentiate with respect to to yielWe, thus, haveSimilar to the computation of whereTherefore, on is bounded. Combined with (26), we show that is admissible to (see [29, 30]).
From the two lemmas above, the evolution equation (14) has a unique weak solution in . Therefore, for , system (10) has a unique weak solution , ,that is,Next, we will reject the disturbance . An observer is chosen asFrom equality (31), we haveWe choose the high gain estimator to be (see [23])where is the design small parameter and is the approximation of disturbance . Letbe the errors. Then, satisfyThe collocated feedback controller of (10) is designed to bewhere with controller ; the closed-loop system of (10) isWe get the following theorem concerning the stability when disturbance in involved.

Theorem 1. If and are bounded measurable, then, for any initial value , there exists a unique solution for the closed-loop system (39) of (7):

Moreover, the solution of (39) converges to any arbitrary given neighborhood of zero when .

For the proof of Theorem 1, we omit the proof, since it can be easily proved followed by [19, 24].

3. Numerical Simulations

In this section, we compute the state for the closed-loop system (39) by the finite difference method [19]. Here, . Figure 2 shows that the displacement of converges to zero. Figure 3 shows the velocity of tend to zero. Figure 4 shows the estimation of fits well with the value of . Thus, the control law is effective.

4. Conclusion

A virtual connected string system with midway discontinue vertical force model is proposed for the underground multirobot system, and the Lyapunov-based stabilization control approach for virtual connected string is studied in the paper. The system is with Riemannian boundary. The backstepping is used to move the antistable term to the boundary thus to give the controller and Lyapunov approach is used to analyze the stability for the closed-loop system when the disturbance is absent. Then, ADRC is used to estimate and reject the disturbance. We can study the n stings with discontinue vertical force in the further research.

Data Availability

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

Conflicts of Interest

The authors declare no conflicts of interest.

Authors’ Contributions

Lingling Su and Lin Zhang conceived and designed the experiments; Xianhua Zheng and Shang Feng performed the experiments; Lin Zhang and Lingling Su built the pushing dynamics; Shang Feng and Yongshi Song analyzed the data; Lingling Su wrote the paper. Shang Feng translated and re-edited the manuscript.

Acknowledgments

This work was supported by the National Natural Science Foundation of China (nos. 52004034 and 61903005), Science and Technology Research Program of Chongqing Municipal Education Commission (nos. KJQN202101413 and KJQN202001404), North China University of Technology Research Fund Program for Key Discipline (no. 110052972027/014), and North China University of Technology Scientific and technological innovation service building, Basic Science Research (no. 110052971921/102).