Abstract

This paper addresses the robust stability of teleoperated systems under the four-channel architecture, affected by time-varying communication delays and using disturbance observers. It is based on our previous work which provides a framework for robust stability against delays with bounded variation and a bounded time-derivative, using structured singular values (SSV). The main new feature here is the inclusion of disturbance observers (DOBs). The DOB concept is well-documented and relevant to many applications, since only position (but not force) measurements are usually available. In this paper, we adapt two DOBs (master and slave) to our generic framework, by representing them as stable, fast filters affected by the uncertainty in the plant modelling. Our main result is an SSV test to verify robust stability. The simulation results confirm the usefulness of this approach.

1. Introduction

A teleoperation system consists of master and slave mechanical systems, where the master is directly manipulated by a human operator and the slave, operating in a remote environment, is designed to track the master closely. The main aspects when analyzing and designing these systems are stability and transparency, where transparency is the measure of how much the operator’s actions are mirrored in the remote environment in an ideal situation. In practice, there is a compromise between these two goals mainly due to the presence of time delays generated by the communication channel [1].

As far as stability is concerned, the teleoperation schemes are classified [2] as intrinsically stable schemes (passivity-based) and delay-dependent stable schemes. In early works dealing with constant delay, this issue was addressed by means of frequency Laplace or passivity techniques, applied to linear time invariant master-slave two-port systems [15]. On the other hand, the most successful control scheme in achieving a fully transparency under ideal conditions for transparency properties is the four-channel control scheme [1, 2, 4, 6].

Moreover, the low cost and wide availability of the Internet has opened a new line of research to establish Internet-based teleoperation [68] which requires the control signal to be transmitted through the network, exposing the system control loop to the varying time delay of a packet switched network [9]. Some examples of actual bounds for the delay magnitude and its derivative, appearing with UDP (user datagram protocol) for different Internet locations can be seen in [8].

Furthermore, in [10] the authors affirm that the bilateral teleoperators designed within the passivity framework, using concepts of scattering and two-port network theory, provide robust stability against constant delay in the network and velocity tracking but cannot guarantee position tracking in general. That is why many recent results try to extend passivity-based architecture to solve these problems; see the tutorial [11, 12].

Another option is to use delay-dependent stability tools. With these, better performance, such as zero tracking error, is gained in the case of small network delays (the typical operating condition), although the possibility of losing stability when there are large delays must be accepted. Thus the natural solution is to use tools that check this fact and provide estimations of the maximum allowable delays.

In this sense, several efforts are being made in the development of delay-dependent stability tools like those in [6, 13] and references therein. We develop in [8] a generic approach to model any teleoperation setup as a negative single feedback loop containing a linear time invariant block and an uncertain time-varying delay. The main added value of this approach is the possibility of deriving frequency-domain conditions for robust stability in the presence of time-varying delays and parametric uncertainties. As a case study, the two-channel position error (PE) control scheme was tested for the Internet-based haptic teleoperation of a laboratory 3D-Crane. In [14], using this approach, we present preliminary results about the scaled four-channel control scheme for teleoperating manipulators. The result of applying this analysis technique is that we can justify the design of a γ-4C scheme previously used in [6], incorporating a tuning factor to increase in practical conditions the stable region fixing the desired bounds on time-varying delay and parametric uncertainty, with the particularity of maintaining the tracking properties provided by this transparent control scheme.

In this work, because we know that force observers can be included using the concept of disturbance observer (DOB) [1517], also called reaction force observers (RFOB) [18], to cope with unmeasured human or environmental forces, we adapt two DOBs (master and slave) to our generic framework for robust stability, by representing them as stable, fast filters affected by the uncertainty in the plant modelling. Our main result is an SSV test to verify robust stability for four-channel teleoperation with time-varying delays and disturbance observers.

The paper is organized as follows. Section 2 introduces an overall description of teleoperation system and Section 3 explains a generic model for robust stability analysis in delay-dependent control schemes with disturbance observers. Section 4 defines a robust stability condition based on the generic model formulation. Section 5 describes the teleoperation case study. Section 6 then presents the analysis and simulation results. Finally, the conclusions are discussed in Section 7.

2. Teleoperation System Description

Consider a generic teleoperation setup, like that in Figure 1, consisting of the master side (left) and the slave side (right) exchanging signals through a communication channel.

The master and slave will be modeled as a mechanical system with coordinates (positions) given by the vectors , . In the Laplace domain, if , we have

The input of the master plant is the master force , in the Laplace domain, where is the unknown force applied by the human operator and the force from the controller. The plant has two outputs: , the signals that send information to the slave, and , the signals used by the local controller.

The slave side can be treated in a similar way, where is the unknown force from the environment and the controller force entering additively in

In this work we also deal with the case of interaction with the environment on the slave side for implementation in applications such as robot arms with interacting tools. This can be described as

In order to define how the signals sent from the master reach to the slave and vice versa, the delay parameter is assumed to be (see [8]) an unknown time-varying function for which the upper bounds on the magnitude and the variation satisfy :In this way, we assume that the main effect of the communication channel is to introduce a time-varying delay in the form:where and are the corresponding time-delay operators.

Now, we consider the expressions for the Generalized four-channel control scheme (G-4C) in the most general and representative case of delay-dependent schemes. Here, the master and slave exchange, through the communication channel, the velocities, or positions and the forces in both directions, and the local controllers are defined in terms of the applied external force (), its own velocity/position (master/slave), and the delayed velocity/position and force (slave/master) from the other side.

In the classical notation [1, 2, 4] the controllers , , when the system exchanges positions and forces (see Figure 2), are usually defined as

In this work we include the DOB blocks representing disturbance observers that estimate the external forces , based on measurements of local controller forces , and the mechanical systems coordinates (positions) , . Note that the use of DOBs in the control scheme involves obtaining the local controller forces , in (5a) and (5b) from the estimated external forces , . This issue will be described in the following subsection.

2.1. Disturbance Observers DOB

A classical scheme for a disturbance observer [15] can be seen in Figure 3(a). The unknown signal , an additive disturbance input to any plant , can be estimated from the known signals , given an approximate model of the plant by tuning the controller .

Proposition 1. A DOB as defined in Figure 3(a), with the transfer function as the plant and the transfer function as the model, can be described by the equivalent diagram in Figure 3(b) with the following assignments:

Proof. The estimated signal in Figure 3(a) is Rearranging the terms and adding ,we getand consequently,Then, the following equation can be described in an equivalent block diagram as shown in Figure 3(b):

In this way, if the modelling error , that is , also, and it is possible to design so that quickly and robustly.

Once Proposition 1 is proved, we apply this result to define the master and slave disturbance observers in the teleoperation system shown in Figure 1.

Definition 2. For , , the controller , the master plant , the master model , and , the external force can be estimated by a disturbance observer as in Figure 3 defined in the following form:with the closed loop transfer function:

Definition 3. For , , the controller , the slave plant , the slave model , and , the external force at the slave side can be estimated by a disturbance observer as in Figure 3 defined in the following form:with the closed loop transfer function:

Remark 4. A first contribution of this work is that the DOB blocks required to observe the unknown external forces , based on measurements of local controller forces , and the positions , can be described by the equivalent diagram in Figure 3(b) developed in Proposition 1, by representing the observers as stable, fast filters affected by the uncertainty in the plant modelling. Using Definition 2 and (12a) and (12b) we obtain the estimation of by DOB on the master side, and using Definition 3 and (13a) and (13b) we obtain the estimation of by the DOB on the slave side.

3. Generic Model for Robust Stability in Delay-Dependent Control Schemes with Disturbance Observers

Our first objective will be to remodel the whole system to obtain a single feedback loop containing a linear time invariant LTI block and an uncertain time-varying delay block. However, since teleoperation systems present several delayed signals and since time-varying delays do not commute with linear blocks, then it is not possible to reduce them to one single delay. As a consequence, the stability treatment requires the use of structured singular values (μ-values) instead of ordinary singular values.

So, our strategy will be to rearrange the terms in such a way that the loop transformation of the delayed system maintains an uncertain time-varying delay block with the same dimension as the number of the exchanged signals between the master and slave.

In previous works we have obtained these models for teleoperation systems with a 2C-position error control scheme [8], with a 4C-control scheme [14] and now, in this study, we model a teleoperation system with a general 4C-control scheme incorporating the disturbance observers.

Proposition 5. A teleoperation setup as described in Figures 1, 2, and 3, given by (1)–(5b), (12a), (12b), (13a), and (13b), can be formulated as a compact model for robust stability analysis using the generic approach developed in [8] in the form given by (14), (15a), and (15b) and the block diagram in Figure 4: withwhere , and where the matrices , take the following values depending on the case of external force as a disturbance (including for free motion), or the case of environment as impedance in (2):

Remark 6. Proposition 5 states one of the main results of this paper. A teleoperation setup with a general 4C-control scheme incorporating the disturbance observers can be formulated as a compact model for robust stability analysis by the loop transformation of the delayed system and maintains an uncertain time-varying delay block with the same dimension as the number of the exchanged signals between the master and slave.

We adopt the scaled four-channel control scheme -4C stated in our previous works [6, 14]. The controllers in the -4C scheme incorporate a constant tuning factor , named the stability factor. The proposed form in which this factor is included in the controllers in (16) increases the stable region in practical conditions by fixing the desired bounds on time-varying delay, with the particularity of maintaining the tracking properties provided by this transparent control scheme.

One of the contributions of this paper after considering these results is that we propose control based on observed external forces, to define the controllers in (5a) and (5b) in the form given by (16).

For , , , , and ,

Definition 7. Given (14), (15a), and (15b) obtained by Proposition 5 and selecting a control scheme -4C with the values proposed in (16), we define the compact model for robust stability analysis in -4C with disturbance-observer-based teleoperation asObtained after suitable identification and given the controller values in (16). This model can be drawn by the blocks diagram in Figure 4.

Remark 8. The model described in Definition 7 is directly represented by Figure 4 and maintains four time-varying delays channels inherited from Figure 1, bearing in mind that they cannot be combined in a single delay because time-varying delays do not commute with LTI systems. The four delays are the ones affecting positions and forces sent from master to slave and back.

3.1. Steady-State Analysis

Note that from the teleoperation loop in Figure 4, we can also obtain the zero-delay ( = ) closed loop dynamics in order to study some transparency properties and the steady-state behavior, considering That is,

with the following values: with and as defined in (15b) for each case.

Regarding observers for analysis, if the modelling error , , and , appropriately, we can obtain in the steady-state , . In these conditions, , .

Remark 9. Therefore, the Λ steady-state values are given by (20) when the teleoperation setup is formed by master and slave systems with one degree-of-freedom, whose dynamic models are , and tuning , constant, constant and -4C controllers as in (16): So that, depending on , we obtain

4. Robust Stability for Delay-Dependent Control Schemes with Disturbance Observers

In this Section, the approach to stability under time-varying delay in teleoperation developed in [8] is applied to the -4C control scheme incorporating the external forces disturbance observers. A basic result adapted from [19] providing a bound of a certain delay subsystem, is combined with input-output stability criteria and μ-analysis and synthesis techniques to reach a final robust stability condition (Theorem 11).

Proposition 10. A teleoperation setup as stated in Definition 7 and Figure 4 can be modeled as a negative single feedback loop containing a linear time invariant LTI block and an uncertain time-varying delay block shown in Figure 5(a), with And so, the LTI subsystem considering (14), (15a), (15b), and (17) isgiven the controller values in (16) and as defined in (15b) for each case.

Proof. Consider the feedforward action defined in (15a) and (15b). If the DOBs modelling error and it is possible to design so that estimated external forces tend to real ones quickly and robustly, then , , . Also, it is natural to assume that and are designed such that is stable. Then the stability of the whole teleoperation system does not depend on and depends essentially on the stability of the feedback loop in Figure 4. Therefore, from (17) and Figure 4, and , which can be represented in a compact form in Figure 5(a).

Theorem 11. Consider a -4C based teleoperation system incorporating the external forces disturbance observers modeled by (14)–(17) and directly represented by Figure 4 and transformed into Figure 5(a) by Proposition 10. Let be as defined in (23) and let be as defined in [19]with , , where is any positive real number and delay bounds , are as defined in (3a) and (3b).
A sufficient condition for stability of the delayed system as described in Figure 5(a), with a complex diagonal structured uncertainty, iswhereand is the structured singular value (SSV) with respect to a repeated complex scalar uncertainty, which is equal to , the spectral radius of a matrix (the maximum of the norms of the eigenvalues).

Proof. This result is obtained first, by applying the loop transformation theorem (Figure 5(a) loop is stable iff Figure 5(b) loop is stable) and the small gain theorem to Figure 5(b), whereby . Since by [19], the sufficient condition is . Second, using the μ-techniques for robust stability [20] we can interpret Figure 5(b) as a nominal system connected to a dynamic or complex uncertainty Δ that is actually diagonal. More details can be seen in [8].

Remark 12. As a prerequisite for robust stability, we must first satisfy nominal stability; that is, must be internally stable. A necessary condition for this, derived from definition (26), is .

The use of frequency techniques combined with input-output stability criteria and μ-analysis and synthesis techniques provides properties of robustness. Therefore using the stability condition (25) for any delay satisfying (3a) and (3b), we ensure robust stability under time-varying delays. But the modeled systems can also present a second uncertainty: the variation of the parameters, and this has an influence on system in the final condition (25). Parameter variation could be treated explicitly in the -synthesis framework although it can be simply addressed by discretization of the parameter intervals and by checking (25) for the mesh of discretized values. This is less conservative, as recommended in [20], and also provides robustness against parametric uncertainty.

In our teleoperation case study with the control scheme incorporating the external forces disturbance observers, the parametric uncertainties are dealt with by using different models for the nominal plants and for the plant estimations used in the observers and controllers.

Remark 13. As the main contribution of this paper, Proposition 10 remodels the 4C control scheme to incorporate the external forces disturbance observers to obtain a single feedback loop containing a linear time invariant LTI block and an uncertain time-varying delay block to reach a final robust stability condition, proposed in Theorem 11 through (25), over the whole system.

5. Teleoperation Case Study

The previous generalized framework for 4C architecture with force observers through DOBs has been analyzed by simulations using Simulink and Matlab. In this section we describe the parameters of the simulation case study. The following section presents the simulation results.

We study the remote teleoperation between master and slave haptic devices. The master and slave sides consist of identified linear models of two Phantom Omni haptic devices manufactured by SensAble Technologies Inc. These devices have 6-DoF position sensing and 3-DoF force actuation. To focus on the robust stability issue, rather than multi-DoF issues, we limit the movements to 1-DoF. This has been achieved using the first rotational coordinate (the base rotation) as the free DoF. In this way, the two Omnis rotate around their vertical axes, while the shoulder, elbow, and stylus are blocked.

Thus, the master and slave positions are (, ), the sensed Omni base angles in radians (rad). The actuations are (, ), the torque inputs to the motors for vertical axis rotation, in machine units (mu) because we do not have access to physical units.

We concentrate on 1-DoF movements around a fixed position (the Omnis’ “zero”). Although the Omnis are robotic nonlinear systems, it is expected from the linearization principle that the local dynamics from forces to positions can be captured by models in the form , as usual [21]. Notice that here we maintain the terms “forces” and “positions” for simplicity, to denote also torques and angles. Notice as well that since the forces are in machine units, the inertia-mass and friction coefficients will be given in machine or virtual units.

After linearizing the devices by dead-zone compensation, the linear models () = 1/()) can be obtained as usual [21] by applying in closed loop (proportional controller) square and triangular references, recording force inputs and position outputs and performing standard least-squares identifications of , . In this way, the simulated master and slave plants are , (in machine units) with = = 0.0015 (m.u.), = = 0.028 (m.u.). For the observers in (12a)–(13b) and the controllers (, in (16)) we establish master and slave approximate models with the values . We complete the controller parameters in (16) with the numerical values: , with ; , .

Related to the external forces, the human forces will be ramp inputs simulating how the human operator moves the master in its free work space to be followed by the slave. But on the slave side, there is a “wall,” hard () or soft (), with damping () or not, located at so that the slave will be in contact with the environment once it gets to that position, reflecting the perceived force to the master side.

These forces are estimated by DOBs in which the designed observer controllers are PID-type (proportional, integral, and derivative) controllers in the formto obtain (in Figure 3(b), i.e., and ) with null steady-state error for step and ramp inputs in and with a fast transient (at least three times faster than the control transient), bandwidth 100 rad/sec and phase margin 41°.

Remark 14. If the DOBs modelling error tends to zero, , and the observer controllers are selected as in (27), fulfilling these design requirements, we ensure that estimated external forces tend to real ones with null error, quickly and robustly, and so , , , .

6. Analysis and Simulation Results

The robust stability tool under time-varying delay, described in Section 4, provides a sufficient condition for stability that depends on the delay bounds (, ), on some parametric uncertainty (), on the designed observers and on the factor in local controllers in (16). The stability analysis can be assessed by applying Theorem 11 using Matlab. In this way, we compute the structured singular value (SSV) for and test the stability by applying condition .

The influence of the factor on the stability has been studied in previous works [6, 14]. As the main conclusions, we highlighted that the stability factor lets us increase the stability margin in practical conditions, maintaining the tracking properties of the system, and we can adjust the factor in order to ensure the stability of the system given the desired delay characteristics.

Here, for brevity, we present in Figure 6 the stability condition results for the teleoperation case study described in Section 5, with the DOBs in free motion (). First, fixing the delay bounds  s and we show the SSV (red) for , 5, 7, 9, 10, checking that the system is stable for (red) because . Then we change the delay conditions with the same : in green (- -)  s, and in blue (-)  s, . The system is unstable in both cases.

Following this procedure, in Table 1 we present the minimum value of the stability factor to ensure the stability of the teleoperation system with  s and for different environment forces .

Then, we study the performance of the system through simulations when the human operator applies a reference force () to move the master and it is followed by the slave, which has in its work space () a wall. For these simulation conditions, the observer on the slave side must only be applied when . This last issue can be understood by bearing the observer structure in Figure 3(b) in mind. When . On the slave side, the unknown signal (), when the slave is in free motion, is zero, and so the observer output will tend to known signal , with values to follow the master positions as the control system requires. Note that if this occurs on the master side, implies that the control system reference is zero. Therefore the observer output will tend to known signal but in this case it will also be zero.

The simulation results are with delay values  s, , and . Due to time-varying delay we saw in simulations that the master and slave forces were very noisy, which is not very desirable. To solve this issue, the output signals in , controllers in (16) must be filtered. So, we select a second order lowpass butterworth filter with a cutoff frequency of 100 rad/sec at the output of , . The master/slave plants are not the same as the master/slave models; that is, with the values described in Section 5.

In Figure 7 the environment impedance is , and in Figure 8 we consider hard wall impedances. In this last case the contact generates high force oscillation that the observer is able to detect, which also tests the performance of the system. We can conclude that the designed DOBs in which are robust.

The interested reader can see in [22] more detailed simulations and an appendix with the proof of Proposition 5.

7. Conclusions

In this paper we have extended our previous framework for robust stability to the practical case in which there are no force measurements and thus DOBs are required to observe unknown forces and to implement the four-channel architecture. This has been achieved by representing the observers as stable, fast filters affected by the uncertainty in the plant modelling. In this way the stability test has an SSV formulation including the observer parameters. We have done extensive simulations with modelling errors, various delay ranges, jitter, and environments on the slave side, confirming the usefulness of the approach.

There are several possible extensions to this work to be considered for future research. To improve the teleoperation robustness, for example, Lyapunov-Krasovskii functionals can be used as in [23] or the generic IQC framework as in [24, 25].

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This work has been funded by MINECO (Spain) under the research Project DPI2013-47100-C2-2-P.