Sie sind auf Seite 1von 6

STABILIZATION SCHEME FOR FORCE

REFLECTING TELEOPERATION WITH


TIME-VARYING COMMUNICATION DELAY
BASED ON IOS SMALL GAIN THEOREM

Ilia G.Polushin, ∗ Abdelhamid Tayebi, ∗∗


Horacio J. Marquez ∗∗∗


Department of Systems and Computer Engineering,
Carleton University, Ottawa, ON, K1S 5B6, Canada
∗∗
Department of Electrical Engineering, Lakehead
University, Thunder Bay, ON, P7B 5E1, Canada
∗∗∗
Department of Electrical and Computer Engineering,
University of Alberta, Edmonton, AB, Canada, T6G 2V4

Abstract: The problem of stabilization of force-reflecting teleoperators with time-


varying delay in the communication channel is addressed. A control scheme is
proposed which guarantees stability of the closed-loop telerobotic system in the
presence of an arbitrary time-varying possibly unbounded transmission delay
satisfying a set of technical assumptions. The proposed scheme also guarantees
(in the “semiglobal” sense with respect to initial conditions and external forces)
that the slave manipulator tracks the delayed trajectory of the master with error
which is ultimately bounded by an arbitrarily small bound. The proof of this
result is based on a special version of the IOS (input-to-output stability) small
c
gain theorem. Copyright 2005 IFAC

Keywords: Teleoperation, Time Delay, Stabilization

1. INTRODUCTION sent back to the motors of the master. In the


presence of such a force feedback, the ability of the
Force-reflecting (or bilateral) teleoperation is a operator to perform complex tasks that include
challenging area of modern technology which in- interaction with the environment may be essen-
spires researchers from both the control theory tially increased. However, as first shown by Fer-
and robotics. A teleoperator system consists of rell (1966), the force feedback has a strong desta-
two manipulators connected by a communication bilizing effect if transmission delays are present in
channel. The first manipulator, called master, is the communication channels. This problem was
moved by a human operator, and the information widely addressed in the literature, and several
about the master’s trajectory is sent through the approaches were proposed (see, for example (An-
communication channel to the remotely located derson and Spong, 1989; Niemeyer and Slotine,
second manipulator called slave. The slave is con- 1991), among other papers). Recently, an idea of
trolled to follow the trajectory of the master. In using a version of the ISS (input-to-state stability)
force-reflecting teleoperators, a contact force due small gain theorem (Jiang et al., 1994) for the
to environment is measured on the slave side and proof of stability of bilaterally controlled teleop-
erators with communication delay was presented assume that each manipulator has l rotational
in (Polushin and Marquez, 2003b). In this paper, joints and n − l prismatic joints with a finite
we present further contributions to the IOS (ISS) range of motion, l ∈ {0, . . . , n}. Thus Qm =
small gain approach to the stabilization of force- Qs = D × Tl , where Tl is an l-dimensional torus,
reflecting teleoperators with delay in the commu- and D is a compact connected subset of Rn−l .
nication channel. In particular, we address the Further, Hm (qm ), Hs (qs ) are inertia matrices,
situation when the transmission delay is a possibly Cm (qm , q̇m ), Cs (qs , q̇s ) are matrices of centrifugal
unbounded function of time rather than a con- and Coriolis forces, and Gm (qm ), Gs (qs ) are
stant. The main motivation for the development vectors of potential forces of the master and the
of a control scheme that can handle a time-varying slave manipulators respectively. Also, fh ∈ Rn is
communication delay is based on the recent ten- a force applied by the human operator to move
dency to use the Internet as a communication the master manipulator, fe ∈ Rn is the contact
medium. When teleoperation is performed over force due to the environment applied to the slave,
the Internet, the transmission delays may vary and fˆe ∈ Rn is the force applied to the motors of
with such factors as congestion and bandwidth, the master that reflects the contact force due to
which leads to decreasing performance and arising environment on the slave side. Finally, um , us ∈
of the instability issues. This is a relatively new Rn are the control inputs of the master and the
area of research, and not so many results are slave respectively. It is assumed that the dynamics
obtained (see (Chopra et al., 2003)). In this paper, of the master and the slave manipulators (1), (2)
we propose a control scheme which guarantees possess several well known properties (see, for
stability of the closed-loop telerobotic system in example, Section 2.1 of (Spong, 1996)).
the presence of an arbitrary time-varying possibly
Communication delay. The joint positions and
unbounded transmission delay satisfying a set of
velocities of the master and the contact force due
technical assumptions. Our stability analysis is
to the environment applied to the slave are sent to
based on a special version of the IOS small gain
the opposite manipulator over a communication
theorem. Also, the proposed scheme guarantees
channel with a communication delay. Let τi : R →
(in the “semiglobal” sense with respect to ini-
R+ , i ∈ {f, b} be time-dependent time delays in
tial conditions and external forces) that the slave
the forward (i = f ) and backward (i = b) commu-
manipulator tracks the delayed trajectory of the
nication channel respectively. The joint positions
master with error which is ultimately bounded by
and velocities of the master are transmitted to the
an arbitrarily small bound.
slave side with communication delay τf (·), so that
The structure of the paper is as follows. A state- the following signals
ment of the problem is formulated in section 2.
In section 3, a special version of the IOS small q̂m (t) = qm (t − τf (t)) ,
(3)
gain theorem is given which is a main tool for q̇ˆm (t) = q̇m (t − τf (t)) ,
our proof of stability of the telerobotic system
with communication delay. The main result is pre- are available for the controller on the slave side.
sented in section 4. Some computer simulations of On the other hand, a contact force due to the
the proposed algorithm can be found in section 5. environment fe is measured on the slave side and
Conclusions are given in section 6. All the proofs transmitted back to the master with a communi-
are omitted due to space reasons. cation delay τb (·), i.e.

fˆe (t) = fe (t − τb (t)) . (4)


2. PROBLEM STATEMENT
Both τf (t), τb (t) are assumed to be time-varying
Mathematical model of the master and the slave and possibly unbounded. More precisely, the as-
manipulators. We consider a force-reflecting tele- sumption imposed on τf (·), τb (·) is given below.
robotic system where the master and the slave ma- Assumption 1. Both τi , i ∈ {f, b}, satisfy the
nipulators are described by Euler-Lagrange equa- following set of properties:
tions of the following standard form
i) τi (t2 ) − τi (t1 ) ≤ t2 − t1 for any t2 ≥ t1 ;
Hm (qm ) q̈m + Cm (qm , q̇m ) q̇m + Gm (qm )
(1) ii) −Υ (t2 − t1 ) ≤ τi (t2 ) − τi (t1 ) for some Υ ≥ 0
= um + fh + fˆe ,
and for any t2 ≥ t1 .
Hs (qs ) q̈s + Cs (qs , q̇s ) q̇s + Gs (qs ) = us + fe . (2)
iii) t − τi (t) → +∞ as t → +∞. •
Here qm ∈ Qm , qs ∈ Qs , where Qm , Qs are
the configuration spaces of the master and the Note that Assumption 1 can always be satisfied
slave manipulators respectively. For simplicity, for any lossless communication channel.
 
Dynamical model of the environment. It is as- {1} {l}
ẋ(t) = F xt , ut , . . . , ut , dt ,
sumed that the environment can be described as  
{1} {l}
an unknown dynamical system whose dynamics y {1} (t) = H {1} xt , ut , . . . , ut , dt ,
(5)
satisfy a form of input-to-output stability prop- ...  
erty (Sontag and Wang, 1999). More precisely, the {1} {l}
y {r} (t) = H {r} xt , ut , . . . , ut , dt ,
following is valid:
Here x is the state, u{i} , i ∈ {1, . . . , l} are the
Assumption 2. Suppose fe (·) is a measurable
inputs, y {j} , j ∈ {1, . . . , r} are the outputs, and
locally essentially bounded function satisfying the
d(·) are the perturbations that are elements of the
following property: there exist γf ≥ 0, γe ≥ 0 such
set of admissible perturbations D. It is assumed
that the contact force due to the environment,
that both F and H are continuous operators in
fe (t), satisfies the following two properties:
xt , ut , and dt . In particular, this guarantees the
i) uniform boundedness: there exists C ≥ 0 such existence and uniqueness of solutions as well as
that for any t0 ∈ R continuous dependence of the solutions in xt , ut .
  
 qs (t) 
 , The following definition presents a version of the
 C, γe sup 
t≥t0 q̇s (t) 

sup |fe (t)| ≤ max  ; notion of input-to-output stability specified for

  multi-input multi-output systems of FDE. A close
t≥t0
 γf sup |fext (t)|  
t≥t0 definition of input-to-state stability (ISS) for FDE
was introduced in (Teel, 1998).
ii) convergence:
    Definition 1. System of the form (5) is said to
 qs (t) 

 γe lim sup , be input-to-output stable (IOS) at the moment
t→+∞ q̇s (t) 

lim sup |fe (t)| ≤ max  . t = 0 with td ≥ 0, IOS gains γ {ij} ∈ K,

 
t→+∞
 γf lim sup |fext (t)|  i ∈ {1, . . . , l}, j ∈ {1, . . . , r}, and restriction

t→+∞ {1} {l}
∆x , ∆u , . . . , ∆u ∈ Rl+1
>0 , if the conditions

|x(t)| ≤ ∆x , and sup u{i} (t) ≤ ∆u ,
{i}
Here qs (t), q̇s (t) are the state variables (position sup
t∈[−td ,0] t≥−td
and velocity) of the slave manipulator, and fext
i ∈ {1, . . . , l} imply that the solutions of (5) are
is an arbitrary measurement essentially bounded
well-defined for all t ∈ [0, +∞), and the following
function that represents an equivalent of all exter-
two properties hold:
nal forces imposed on the environment.
i) uniform boundedness: there exists a function
Problem statement. Our control design problem
β ∈ K∞ and C ≥ 0 such that
can be formulated as follows: design local con- !
 
trollers for both the master and the slave manip-  

 β sup |x(s)| ,  
ulators that 
 


 s∈[−t
 ,0]
 



d


i) guarantee the tracking of the (delayed) master  {1j} {1} 
{j} γ sup u (s) ,
trajectory by the slave manipulator; sup y (t) ≤ max
t≥0 

s≥−td 


 ..., 

ii) guarantee the stability of the overall force- 
   


 

reflecting telerobotic system. 
γ {lj}
sup u (s) , C 
{l}

s≥−td

3. TOOLS: INPUT-TO-OUTPUT STABILITY for all j ∈ {1, . . . , r};


FOR FDE AND IOS SMALL GAIN THEOREM ii) convergence:
   

 {1} 
For the purpose of stability analysis of the telero- 
 γ {1j}
lim sup u (t) ,  

botic system with communication delay, we need  t→∞ 
{j}
lim sup y (t) ≤ max  . . . ,
to establish a specific IOS small gain result that t→∞ 
  

 
guarantees stability of a feedback systems with  γ {lj}
lim sup u (t) 
{l}

t→∞
components connected through time-varying de-
lay blocks. An appropriate mathematical object for all j ∈ {1, . . . , r}.
that describes such an interconnection is a sys-
In this case, a function γ {i,j} ∈ K, where i ∈
tem of functional-differential equations (FDE).
{1, . . . , l}, j ∈ {1, . . . , r}, is called the IOS gain
We follow standard notation (Hale, 1977). Given
from u{i} to y {j} . •
a function x : R → Rn , denote xt (s) := x(t − s),
where s ≥ 0. Consider a system of functional The following version of the IOS small gain the-
differential equations with l inputs and r outputs orem is our main tool in establishing the results
of the following form presented in the next section.
   
Theorem 1. Consider two systems of ordinary  


{1,1}
γ2u lim sup |u2 (t)| , 
{1}

differential equations of the following form 
 

 
  t→∞  


 ẋ1 = F1 (x1 , u1 , w1 ) ,
{2,1}
lim sup |y2 (t)| ≤ max γ2u
{2}
lim sup |u2 (t)| , ;
{1} {1} t→∞ 
  t→∞   
Σ1 : y1 = H1 (x1 , u1 , w1 ) , (6) 
 


 y {2} = H {2} (x , u , w ) , 
 

1 1 1 1 1  γ2w lim sup |w2 (t)| 
t→∞
where td = td1 ≥ 0, and
   iii) there exists ∆s > 0 such that the following
 ẋ2 = F2 x2 , u{1} , u{2} , w2 , d ,
 2 2
 small gain condition holds
Σ2 : (7)
 y2 = H2 x2 , u{1} , u{2} , w2 , d , {j,1} {1,j}
2 2 γ2u ◦ γ1u (s) < s
where d(t) is a Lebesgue measurable function that
for all s ∈ (0, ∆s ), j ∈ {1, 2}.
represents disturbances. Suppose τf , τb : R → R+
satisfy Assumption 1. Further, suppose the inputs Suppose ∆x1 , ∆x2 , ∆w1 , ∆w2 > 0 satisfy
and outputs of the systems Σ1 , Σ2 satisfy the  {1,1} {1} 

 γ2u ◦ β1 (∆x1 ) ,  
following constraints 
 {2,1} {2} 


 γ2u ◦ β1 (∆ x1 ) ,  


  
u1 (t) ≡ u2 (t) ≡ 0 for t < 0, (8) 
 {1,1} {1}  


 β 2 (∆ x2 ) , γ 2u C 1 

and ∗
∆s > ∆s := max {1,1} {1}
.
|u1 (t)| ≤ |y2 (t − τb (t))| ,  γ 2u ◦ γ1w (∆ w1 ) , 

 {2,1} {2} 

(9) 
 γ2u ◦ γ1w (∆w1 ) ,  

 

{j} {j} 
 γ2w(∆w2) , 

u2 (t) ≤ y1 (t − τf (t)) 
 

 γ {2,1} C {2} , C 
2u 1 2
for t ≥ 0, j ∈ {1, 2}. Suppose also
i) subsystem Σ1 is input-to-output stable, i.e., Then the system (6), (7) subject to constraints
{1} {2} {1,j} {j} {1}
there exist β1 , β1 ∈ K∞ , γ1u , γ1w ∈ K, and (8), (9), with inputs w1 , w2 , and outputs y1 ,
{j} {2}
C1 ≥ 0, j = 1, 2, such that for all t0 ∈ R the y1 , y2 , being considered as a system of FDE, is
following hold: input-to-output stable at the moment t = 0 in the
 {1} 
 β1 (|x1 (t0 )|) ,   sense of definition 1 with

 
  

 {1,1} 
 τf (0) + τb (−τf (0)) ,
{1} γ1u sup |u1 (t)| , td = max ,
sup y1 (t) ≤ max  t≥t  , τb (0) + τf (−τb (0))
t≥t0 

0



 
 γ1w sup |w1 (t)| , C1 
{1} {1}
 and restriction (∆x1 , ∆x2 , ∆w1 , ∆w2 ).
t≥t0
 {2} 

 β1 (|x1 (t0 )|) ,  


 

 {1,2} 
{2} γ1u sup |u1 (t)| , 4. MAIN RESULT
sup y1 (t) ≤ max ,
t≥t0 
  t≥t0  


 
sup |w1 (t)| , C1 
{2} {2}
 γ1w  To stabilize the force reflecting telerobotic system
t≥t0
    with time-varying communication delay, we pro-

 
lim sup |u1 (t)| , 
{1,1}
 γ1u  pose the following local controllers
{1}  t→∞ 
lim sup y1 (t) ≤ max ,

  um = −Hm (qm ) Λm q̇m
 γ1w lim sup |w1 (t)| 
t→∞ {1}

t→∞ −Cm (qm , q̇m ) Λm qm (10)
   

  +G m (qm ) − K m ( q̇m + Λm qm ) ,
lim sup |u1 (t)| , 
{1,2}
 γ1u 
{2}  t→∞    
lim sup y1 (t) ≤ max ; ˆ

  u = H (q ) Λ q̇ − q̇
 γ1w lim sup |w1 (t)| 
t→∞ {2} s s s m s
  
t→∞ ˆ
+Cs (qs , q̇s ) q̇m − Λ (qs − q̂m ) (11)
 
ii) subsystem Σ2 is input-to-output stable, i.e., +Gs (qs ) − Ks q̇s − q̇ˆm + Λ (qs − q̂m ) ,
{j,1}
there exist β2 ∈ K∞ , γ2u , γ2w ∈ K, j = 1, 2,
and C2 ≥ 0, such that for all t0 ∈ R: where Λm = ΛTm > 0, Λs = ΛTs > 0, Km = Km T
>
  T
0, Ks = Ks > 0 are symmetric positive definite
 β2 (|x2 (t0 )|) ,  

 
 matrices that can be chosen by the designer.

 {1,1} {1}  

 γ sup u (t) , 



2u 2 
 Following the idea introduced in (Polushin and
t≥t0 
sup |y2 (t)| ≤ max {2,1} {2} , Marquez, 2003a, b), we will consider the force
t≥t0 
 γ2u sup u2 (t) ,  

  t≥t0  
 reflecting telerobotic system with communication

 


 
 delay (1), (2), (3), (4), (10), (11) as a system of
 γ2w sup |w2 (t)| , C2 
t≥t0 functional-differential equations (5). A state of the
telerobotic system at time t ∈ R can be chosen as Cm (q, q̇) = Cs (q, q̇) ∈ R2×2 , where
follows T c11 = −l1 l2 m2 sin(q2 )q̇2 ,
xt := qmT T
, q̇m , q̃sT , q̇˜sT t , (12) c12 = −l1 l2 m2 sin(q2 ) (q̇1 + q̇2 ) ,
where q̃s = qs − q̂m , and q̇˜s = q̇s − q̇ˆm , and, c21 = l1 l2 m2 sin(q2 ),
as before, we use the notation xt (s) := x (t − s), c22 = 0,
s ≥ 0. On the other hand, consider the following and Gm (q) = Gs (q) ∈ R2 , where
set of inputs
g1 = g (m2 l2 sin(q1 + q2 ) + (m1 + m2 )l1 sin(q1 )) ,
u{1} = Fh , u{2} = fext , (13) g2 = gm2 l2 sin(q1 + q2 ),
and the following set of outputs m1 = 10, m2 = 5, l1 = 0.7, l2 = 0.5, g = 9.81.
 The initial conditions are all zeros, i.e. qm1 (0) =
T T
y {1} = qm
T
, q̇m , y {2} = q̈m , q̇m1 (0) = qm2 (0) = q̇m2 (0) = qs1 (0) = q̇s1 (0) =
 T (14)
y {3} = q̃sT , q̇˜sT , y {4} = fe , qs2 (0) = q̇s2 (0) = 0. The forces applied by the
of the closed-loop telerobotic system. We will human operator are as follows
show that the closed-loop telerobotic system with Fh1 (t) = 80 sin (0.5t) , Fh2 (t) = 50 sin t.
the above defined state and outer signals (input The contact with the environment is simulated by
and output) can be made input-to-output stable the following simple model: for each joint i = 1, 2,
in the sense of definition 1 by an appropriate we have fei = 0, if qi ≤ π/2, and
choice of the matrices Λm , Λs , Km , and Ks .
−fei = K (qi − π/2) if qi > π/2,
Below, given a symmetric matrix A, it’s mini-
mal (maximal) eigenvalue is denoted by λmin (A) where K is stiffness coefficient of the environment.
(λmax (A)). Our main result can be formulated as In the simulations, we put K = 1000. The para-
follows: meters of control law are set as follows: Km = 5·I,
Ks = 10 · I, Λm = 5 · I, Λs = 10 · I, where
Theorem 2. Consider the controlled force-reflecting
I ∈ R2×2 is the identity matrix. The communi-
telerobotic system (1), (2), (3), (4), (10), (11)
cation channel is modeled by time varying time
with state (12), inputs (13), and outputs (14).
delay τf (t) = τb (t) shown in figure 1.
Suppose τf (·), τb (·) are time-varying communica-
2
tion delays satisfying the Assumption 1. Suppose
also that the dynamics of the environment sat- 1.5

{1} {2}
isfy Assumption 2. Then, given ∆x , ∆u , ∆u ∈ 1

(0, +∞), γ0 > 0, there exist λm , λs ≥ 0 such


Communication delay (sec)

0.5

that for any Λm , Λs satisfying λmin (Λm ) ≥ λm ,


0
λmin (Λs ) ≥ λs , there exist κm , κs ≥ 0 such that
λmin (Km ) ≥ κm , λmin (Ks ) ≥ κs implies that −0.5

the controlled force-reflecting telerobotic system −1

is input-to-output stable at t = 0 with


  −1.5

τf (0) + τb (−τf (0)) ,


td = max , −2
0 1 2 3 4 5 6 7 8 9 10
τb (0) + τf (−τb (0)) time (sec)

 
{1} {2}
and restriction ∆x , ∆u , ∆u . Moreover, the Fig. 1. Communication delay.
{13} {23} {1} {2}
IOS gains γ , γ from inputs u , u to Simulation results are presented in figures 2-5.
T
output y {3} = q̃sT , q̇˜sT is less than or equal to In particular, delayed position of the master vs.
γ0 . position of the slave and the contact force due to
environment for 1st joint are shown in figures 2
and 3. Analogous plots for 2nd joint are given in
5. SIMULATIONS figures 4 and 5. We see that these simulations
demonstrate stability as well as good tracking
Here we present an example of computer sim- properties of the proposed algorithm which are
ulations of the proposed algorithm. Consider a not destroyed by a contact with the environment.
force-reflecting telerobotic system where both the
master and the slave are two-degrees-of-freedom
manipulators with Hm (q) = Hs (q) ∈ R2×2 , where 6. CONCLUSIONS

h11 = (2l1 cos q2 + l2 )l2 m2 + l12 (m1 + m2 ), The problem of stabilization of force reflect-
h12 = h21 = l22 m2 + l1 l2 m2 cos q2 , ing teleoperators with time-varying possibly un-
h22 = l22 m2 , bounded communication delay has been addressed.
3 10

Delayed
2 master 0
Trajectories of 1st joints: delayed master and slave

1 −10
Slave

Contact force, 2nd joint


0 −20

−1 −30

−2 −40

−3 −50
0 1 2 3 4 5 6 7 8 9 10 0 1 2 3 4 5 6 7 8 9 10
time time

Fig. 2. Trajectories of 1st joints: delayed master Fig. 5. Environmental forces applied to 2nd joint
vs. slave. of the slave.
20
REFERENCES
0 Anderson, R. J. and M. W. Spong (1989). Bilat-
−20 eral control of teleoperators with time delay.
−40
IEEE Transactions on Automatic Control, 34,
494–501.
Contact force, 1st joint

−60

Chopra, N., M. W. Spong, S. Hirche and M. Buss


−80

(2003). Bilateral teleoperation over the internet:


−100
the time varying delay problem. In: Proceedings
−120
of American Control Conference. Denver, CO.
−140
W. R. Ferrell, W. R. (1966). Delayed force feed-
−160
0 1 2 3 4 5 6 7 8 9 10
back. Human Factors, 8, 449–455.
time
Hale, J. K. (1977). Theory of Functional Differ-
ential Equations. Springer-Verlag, New York.
Fig. 3. Environmental forces applied to 1st joint
Jiang, Z.-P., A. R. Teel and L. Praly (1994).
of the slave.
Small-gain theorem for ISS systems and appli-
2
cations. Mathematics of Control, Signals, and
1.5 Delayed
master
Systems, 7, 95–120.
Niemeyer, G. and J.-J. E. Slotine (1991). Sta-
Trajectories of 2nd joints: delayed master and slave

0.5
ble adaptive teleoperation. IEEE Journal of
Slave

0
Oceanic Engineering, 16, 152–162.
Polushin, I.G. and H. J. Marquez (2003a). Sta-
−0.5
bilization of bilaterally controlled teleoperators
−1
with communication delay: an ISS approach.
−1.5
International Journal of Control, 76, 858–870.
−2 Polushin, I.G. and H. J. Marquez (2003b). The
−2.5
0 1 2 3 4 5 6 7 8 9 10
ISS small gain approach to stabilization of bilat-
time
erally controlled teleoperators with communica-
tion delay. In: Proceedings of the 7th European
Fig. 4. Trajectories of 2nd joints: delayed master
Control Conference. Cambridge, UK.
vs. slave.
Sontag, E. D. and Y. Wang (1999). Notions of
Our interest to this problem is based on the fact input-to-output stability. Systems & Control
that time-varying communication delays naturally Letters, 38, 235–248.
arise when teleoperation is performed over the In- Spong, M. W. (1996). Motion control of robot ma-
ternet. We propose a control scheme that guaran- nipulators. In: Handbook of Control (W. Levine.
tees the stability of the overall telerobotic system (Ed.)), pp. 1339–1350. CRC Press, Boca Raton,
with time varying possibly unbounded communi- FL.
cation delay satisfying a set of technical assump- Teel, A. R. (1998). Connections between
tions. Moreover, the proposed scheme guarantees Razumikhin-type theorems and the ISS
that the slave tracks the delayed master trajectory nonlinear small gain theorem. IEEE
with an error ultimately bounded by an arbitrarily Transactions on Automatic Control, 43,
small constant. The proof of this result is based on 960–964.
a special version of the IOS small gain theorem.

Das könnte Ihnen auch gefallen