on stability of cellular neural networks with delay

Download On stability of cellular neural networks with delay

Post on 27-Jan-2017




0 download

Embed Size (px)



    On Stability of Cellular Neural Networks with Delay Pier Paolo Civalleri, Marco Gilli, and Lucian0 Pandolfi

    Abstract-It is known that symmetric cellular neural networks (CNs) are completely stable. In this paper it is shown that CNs with delay @CNs), though symmetric, can become unstable if the delay if suitably chosen: actually such networks can exhibit periodic cycles. Moreover, a suflicient condition is presented to ensure complete stability: such a condition estab- lishes a relation between the delay time and the parameters of the network.

    1. INTRODUCTION ELLULAR neural networks (CNNs) were introduced by C L. 0. Chua and L. Yang [l], [2] in 1988: in comparison

    with general neural networks, they have the most appealing property of being easily realizable either as planar or as multilayer structures. They have found important applications in signal processing, especially in static image treatment. The stability of such networks has been investigated in [l], [3], and [4]; in [l] it was proved that symmetric CNNs are completely stable; in [3] a weaker property (stability almost everywhere) was established for the class of the positive cell linking templates and this result has been extended in [4], by means of equivalent transformations.

    Processing of moving images requires the introduction of delay in the signals transmitted among the cells [6]. The study of stability in this case is much more difficult than for conventional CNNs. In [7] it has been proved that positive cell linking templates are stable almost everywhere. In this paper, we show that a CNN with delay (DCNN), though symmetric, can become unstable if the delay is suitably chosen, and we give a sufficient condition in order that complete stability is ensured.

    The elements of CNN theory, which are needed to make the paper self-contained, are briefly resumed in Section II. The main stability results, namely the possibility that a symmetric DCNN could become unstable and a sufficient condition for global stability, are presented in Section III. The theoretical results are illustrated by a simple example, consisting of a two-cell DCNN, in Section IV. Finally, Section V is devoted to the conclusions.

    We use capital letters to denote matrices, and lower case letters to denote vectors or scalars; the difference will result from the context. Transposition is indicated by an apex. Dif-

    Manuscript received May 18, 1992. This work was supported in part by Consiglio Nazionale delle Richerche, Rome, Italy, under Grant 89.04977.07.

    P. Civalleri and M. Gilli are with Politecnico di Torino, Dipartimento di Elettronica, 1-10129 Torino, Italy.

    L. Pandolfi is with Politecnico di Torino, Dipartimento Di Matematica, I- 10129 Torino, Italy.

    IEEE Log Number 9208121.

    ferentiation with respect to a variable is occasionally denoted by a dot.

    11. CNNS AND DCNNS The state equation of a CNN, composed by M x N cells, [ 11,

    after having ordered the cells in some way (e.g., by columns or by rows), can be written as

    j : = - Z + A g + B U + I (1)

    where 5, XRMxN state vector and its derivative,

    g R M x N output vector, depending by 2 through the saturation function defined in [l].

    UE RM input vector, I R M x N vector, representing the bias current,

    Rx, C resistance and capacitance, respectiyely: of each cell are assumed equal to 1 A, B E RM N , M depend on the established order among the cells and on the cloning templates.

    A CNN is said symmetric or reciprocal if A is a symmetric matrix.

    CNNs with delay T (DCNNs) were introduced in [6]. By assuming that the input of each cell is constant, they are described by state equations of the form:

    c ( W ) N 7 ( & d

    by output equations:

    (3) 1

    Vy, i j = +,ij + 11 - lVx, i j - 11) and input equations:

    = Eij = const. (4)

    Nr(i, j ) represents the neighborhood of order T of the cell c( i , j ) defined in [l]. For DCNNs, the space invariance property is expressed by

    A(i , j ; k, I ) = A(i - I C , j - 1 ) B(2, j ; I C , 1) = B(i - I C , j - 1)

    AT(Z, j ; k, 1) = A7(i - k, j - 1). ( 5 ) (6)

    The latter matrix A, in the space-invariant case, defines the delay cloning template [6].

    1057-7122/93$03.00 0 1993 IEEE

  • ~


    The state equations (2), by ordering the cells and assuming R, = C = 1 can be rewritten in the more compact form:

    k( t ) = - ~ ( t ) + A o ~ ( t ) + - T ) + BU + I (7) where matrices A. and A1 can be easily calculated from the cloning templates and the delay cloning template.

    We say that a DCNN is symmetric if the correspondent CNN, obtained by putting T = 0 is symmetric. This requires the symmetry of the matrix A0 + Al but not the symmetry of matrices A0 and A1 separately.

    Equation (7) is a particular case of the general functional differential equation [ 121:

    x = f(t, X t ) where: zt E C([--7, 01, R M x N ) is a continuous mapping of the interval [-T, 01 into R M x N according to the following definition: x t ( e ) = x ( t + 0); and f E C(C([-T, 01, RMxN), R M x N ) is a continuous mapping of the space of functions xt into RMxN.

    Using the above notation, (7) is rewritten as:

    X = - X t ( O ) + Aoyt(0) + AlYt(-T) + Bu (8) where yt(e) is the image of .,(e) under mapping (3).

    m. STABLlTYPROPERTIES We study the stability properties of symmetric DCNNs

    described by (7). To simplify the proofs, we assume at the outset that U = 0; at the end, we will show that our results are still valid if U = const, according to (4).

    De$nition I: A dynamical autonomous system is said to be completely stable if and only if, for any initial point in the state space 20, the (unique) forwards trajectory ~ ( t , 20) tends to a constant, i.e.,

    limt+.mx(t, 2 0 ) = const.

    According to our previous notations, the state space is R M X for a system without delay and C([--7, 01, R M x N ) for a system with a T-delay.

    The stability of a symmetric CNN without delay, described by (l), has been proven in [ l ] by introducing a suitable Lyapunov function, i.e., a mapping of RMxN into R. When (1) is replaced by (7), such a function can be replaced by a suitable Lyapunov functional, i.e., by a mapping of C([--7, 01, R M x N ) into R [12].

    De$nition 2: We define the following Lyapunov functional: 0

    V ( 4 = Y(t>PY(t> - J [YO + e> - Y(t)l -7

    .AY(t + e) - Y(t)l de (9) where f(e) is any scalar function continuous with its deriva- t iveon[--7,0] , fEC1([-~,O], R ) a n d P = - I + A o + A l .

    By means of such a functional, we can find a sufficient condition for the stability of DCNNs in terms of the euclidean norm of AI,

    and of the delay T . Its proof, however, needs the introduction of some lemmas.

    L e m I: If P is a symmetric matrix and if l[AlII < ( 2 / 3 ~ ) , it is possible to find a function f(e) such that V ( x t ) 2 OVt.

    Pro08 Consider the expression (9) of V(z t ) . After a change of variable w = t + 8, V ( z t ) is rewritten as

    V ( 4 = YWYW - J [Y(W> - Y W l t-7

    .A:f(w - t)Al[Y(w) - Y ( 4 l dw. (10) We differentiate (10) with respect to t:

    i . ( X t > = YWY(t) + Y(WY(t) + [y(t - T ) - y(t)]A,f(-~)Ai . [Y(t - .) - Y(t)l

    . [ Y ( 4 - Y@)l dw

    + L,[$(w) - y(t)lA,f(w - 4 - 4 1

    + L + 11,

    Y(t)A,f(w - t)Al[Y(w) - Y(t) l dw

    [y(w) - y(t)]Alf(w - t)AlY(t) dw. (11)

    Equation (11) contains the time derivative of y(t). Let yh be a component of the output y and xh the corresponding component of the state 2. Because of (3), whenever Ixhl 7 1, yh is constant. Thus, we have

    The equations above can be expressed in a synthetic form by means of a matrix N ( z ) , depending on the state, defined as follows:

    { withnh = 1 ifflzhl < 1, nh = Oifflshl > 1. $( t ) = NHy(t) + NAly(t - T )

    N ( x ) = diag {nh}

    Using N ( x ) , (7) can be rewritten as



    H = - I + A o .

    Substitution of (12) into (1 1) yields:

    V ( q ) = y(t)HNPy(t) + y(t - .r)A:NPy(t) + y(t)PNHy(t) + Y(t)PNAiy(t - T ) + [Y(t - T ) - y(t)lA,f(--7)A1 . [Y(t - .> - Y ( 4 l . [Y(W) - Y(t)l dw

    [ Y W - y(t)lA,f(w - t)Al + L, + 11,y(t)HNA:f(w - t)Al


    After a simple manipulation, by inserting all terms under the integral sign, we obtain

    ~ ( t , e) = (y(t) y ~ t - 7) - y ~ t ) YO + e) - Y W . Thus, for ensuring positivity of V ( x t ) for any possible state, it is sufficient to prove that QN(t9) is positive definite for all 0s in the interval [-7, 01 and for all values of matrix N , that is, for all combinations of cells working in the linear and nonlinear region of the state-output relation. The representation of the quadratic form S ( t , S) can be simplified if P is symmetric and the follow&g new variables are introduced:

    We obtain S( t , 0) = [(t , e ) M ~ ( e ) < ( t , 0) where: E NAif(6)

    ) MN(6) = - df! NAif(0) . (15) ( f ( O z 1 i V f(efA1N f(e) The proof proceeds in two steps, presented as Lemmas 1.1 and 1.2. Lemma 1.1: If MI(0) (that is, k f N ( e ) for N = I ) is not

    negative VB E [-7, 01 and (f(-~)/.) > 0, then MN(O) is not negative VN.

    Proof: In the following we omit to indicate the depen- dence of E on t and 8. Consider any vector 11, E R M x N . It can be represented as the direct sum of a vector in ker N and of a vector in the orthogonal complement of ker N


View more >