Download as pdf or txt
Download as pdf or txt
You are on page 1of 7

Fuzzy Sets and Systems 125 (2002) 231–237

www.elsevier.com/locate/fss

Towards the theory of fuzzy di"erential equations


Dmitri Vorobiev ∗ , Seppo Seikkala
Division of Mathematics, Faculty of Technology, University of Oulu, 90570 Linnanmaa, Oulu, Finland

Received 23 July 1999; received in revised form 21 March 2000; accepted 20 July 2000

Abstract
Comparative analysis of two ideologically distinct approaches in the theory of fuzzy di"erential equations is given.
Domains of applications, advantages and shortcomings of those approaches are described. New de2nitions of solutions to
c 2002 Elsevier Science B.V. All rights reserved.
fuzzy di"erential equations are proposed. 

Keywords: Analysis; Fuzzy di"erential equations; Fuzzy integro-di"erential equations

1. Two approaches in the theory of fuzzy where the 2rst one relies upon the notion of Hukuhara
dierential equations derivative [26] while the other does not.
The purpose of this paper is thus threefold. First,
Since 1965, when Zadeh published his pioneering we present a brief outline of basic de2nitions from
paper [30], hundreds of examples 1 have been sup- that part of the theory of fuzzy di"erential equa-
plied where the nature of uncertainty in the behavior tions, which uses the notion of the fuzzy derivative
of a given system possesses fuzzy rather than stochas- as a starting point (Section 1.1). We argue that such
tic nature. Non-stationary fuzzy systems described by approach su"ers from noticeable disadvantage, viz.
fuzzy processes look as their natural extension into the fact that in this case the class of fuzzy solutions
the time domain. From di"erent viewpoints they were necessarily consists of divergent fuzzy processes.
carefully studied, for example, in [17,21]. Solutions Section 1.2 contains our comparative analysis of al-
of fuzzy di"erential equations provide a noteworthy ternative approaches found in the existing literature,
example of time-dependent fuzzy sets. the common point of these approaches being the fact
The term “fuzzy di"erential equation” was coined that they all avoid the use of fuzzy derivatives. The
in 1978 by the authors of [16]; much extended version rest of the paper is devoted to three new ideas in
of this short note was published two years later [17]. the theory of such “derivativeless” fuzzy di"erential
Since then, the theory of fuzzy di"erential equations equations. Namely, in Section 2 we de2ne the class
seems to have split into two independent branches, of pyramidal fuzzy numbers and o"er a new de2ni-
tion of the solution to fuzzy di"erential equations,
∗ the former belonging to the class of pyramidal fuzzy
Corresponding author. Tel.: +358-40-7519942.
E-mail address: dmvo@ee.oulu.2 (D. Vorobiev). numbers. For linear fuzzy systems (Section 3) we
1 Some of them are quite arti2cial, however. use Zadeh extension principle in order to build a

0165-0114/02/$ - see front matter  c 2002 Elsevier Science B.V. All rights reserved.
PII: S 0 1 6 5 - 0 1 1 4 ( 0 0 ) 0 0 1 3 1 - 7
232 D. Vorobiev, S. Seikkala / Fuzzy Sets and Systems 125 (2002) 231–237

closed-form fuzzy solution. This section also con- E n → E n , then we come up with the notion of a fuzzy
tains an example, where we compare the fuzziness of di"erential equation
“pyramidal” solution to that one, which is derived
dX (t)
by the extension principle. Section 4, which perhaps = f(t; X (t)); (1)
stands by itself, deals with the question of the validity dt
of Peano theorem for fuzzy di"erential equations, the provided we have prescribed some sense to the symbol
latter having long been a focal point of research in d=dt.
fuzzy analysis. We describe an idea, which is some- The authors of [7,12,13,18,28] and some others
how close to HHullermeier’s -level-wise approach adopt the concept of H -di"erentiability [26] to de2ne
[11]. The implementation of this idea would result the fuzzy derivative. So, we come to the following
in a “free-of-charge” proof of the validity of Peano
theorem. Denition 1. If there exist an interval I ⊂ R and an H -
di"erentiable fuzzy process X : I → E n such that the
1.1. Dynamic systems with intrinsic fuzziness equality dX (t)=dt = f(t; X (t)) holds for all t ∈ I , then
this process is referred to as a solution of the fuzzy
In the sequel, when we make use of the notions of di"erential equation (1).
fuzzy calculus, we adopt the de2nitions and notations
from [12]. Frequently, we will also take for granted A slight perturbation of the De2nition 1 would lead
the results exposed in that paper. Besides, we shall to the de2nition of the solution to the fuzzy initial
denote by P̃(U ) the collection of all fuzzy subsets value problem
of the set U . Capital letters are reserved for upper dX (t)
semicontinuous normal convex fuzzy numbers from = f(t; X (t)); X (t0 ) = X0 ∈ E n : (2)
dt
E n while usual vectors from Rn are given in lower
case. Membership functions for X; Y; Z; : : : ; ∈ E n will The H -di"erentiable fuzzy process is necessarily
be denoted as X (x); Y (x); Z (x); : : : ; respectively. divergent, that is, its fuzziness increases with t. Exact
A mapping X : I → E n , where I is a bounded or un- characterization of this property is given by the fol-
bounded interval of R, will be called a fuzzy process. lowing assertion.
For such entities we shall need to know how fuzzy
they are. Several measures of fuzziness were proposed Theorem 1 (Kaleva [12]). If f : [a; b] → E n is H -
and studied in the literature (see [10] and references di3erentiable on [a; b] then for each  ∈ [0; 1] the real
therein); we feel however, that in the case of fuzzy function t → diam[f(t)] is nondecreasing on [0; 1].
numbers one may use for this purpose just the mea-
sure of the sendograph [5] of X (t): In other words, the systems with intrinsic fuzzi-
ness, whose state is an H -di"erentiable function of

time, make us less and less certain what the state of
d(X (t)) = X (t) (x) dx; the system is as time goes ahead. In our opinion, this
Rn
property is a major obstacle in application of the H -
provided that this integral exists. di"erentiability concept in fuzzy mathematical mod-
Suppose we examine a fuzzy system whose state 2 eling. In agreement with our viewpoint, Diamond, for
at the given moment t may only be described by example, writes in [6]: “However, this approach [i.e.
the fuzzy set X (t) ∈ E n . If someone else was fortu- the approach, which uses H -derivatives – authors] suf-
nate enough to describe the relation between the sys- fers a grave disadvantage in so far as the solution has
tem state and its rate of change as a function f : R × the property that diam (X (t)) is nondecreasing in t,
that is, the solution is irreversible in possibilistic terms.
2 It is not our purpose to distinguish between the ideas “the
Consequently, this formulation cannot really reNect
state of the system” and “our knowledge about the state of the
any of the rich behaviour of ordinary di"erential equa-
system”, although the repeated use of the latter sentence would tions such as periodicity, stability, bifurcation and the
be more correct in view of the fuzzy systems philosophy. like, and is ill-suited for modelling”.
D. Vorobiev, S. Seikkala / Fuzzy Sets and Systems 125 (2002) 231–237 233

At the moment, the theory of fuzzy di"erential equa- absolutely continuous functions AC[t∗ ; t ∗ ], an arbi-
tions in the sense of the De2nition 1 has successfully trary function x ∈ AC[t∗ ; t ∗ ] having its membership
found its place in fuzzy mathematics. in R[t∗ ; t ∗ ] ∈ P̃(AC[t∗ ; t ∗ ]) according to the following
rule:
1.2. FIFO dynamic systems def
R[t∗ ; t ∗ ] (x) = essinf∗ f(x(t); t; K(t)) (dx=dt); (7)
t∈[t∗ ; t ]
It is also possible to treat fuzzy di"erential equa-
that is, the membership degree of x in the solution
tions without introduction of any concept of a fuzzy
set R[t∗ ; t ∗ ] is computed according to the following
derivative. Here we present a short review of some
algorithm:
approaches found in the literature.
(1) The fuzzy set f(x(t); t; K(t)) is obtained by Zadeh
One of the earliest methods was demonstrated in
extension principle;
[28]. For a scalar initial-value problem of the type
(2) For each t ∈ [t∗ ; t ∗ ] (except maybe a certain set
(2) with crisp right-hand side, the author studies the
of measure zero where dx=dt does not exist) the
dependence on  of the solutions to the following crisp
real-valued function f(x(t); t; K(t)) is evaluated at
initial-value problems:
the point dx=dt;
dx(t)  (3) The in2mum out of those values of f(x(t); t; K(t)) ,
= f(t; x(t)); x(0) = x01 (3)
dt which have been obtained during the previous
step, is de2ned to be the membership degree of x
and
in the solution set R[t∗ ; t ∗ ].
dx(t)  Having imposed some natural restrictions on f and
= f(t; x(t)); x(0) = x02 ; (4)
dt K(t), the author obtained an existence theorem in the

where [x01 
; x02 ] = [X0 ]; [X0 ] ∈ E. Using as prelimi- sense that R[t∗ ; t ∗ ] was nonempty.
nary information some well-known results on mini- The author of [20] develops a similar approach. To
mal and maximal solutions to the ordinary di"erential de2ne the fuzzy process, which may be regarded as a
equations, the author proved the following existence solution to the initial-value problem
theorem: dX (t)
= f(X (t)) + g(X (t))W (t);
dt
Theorem 2 (Seikkala [28]). Let f : R+ × R → R be
X (0) = X0 ∈ E; (8)
continuous. For given  ∈ (0; 1] there exists a t ¿0
such that the equations W : [0; T ] → E;
[X (t)] = [x1 (t); x2 (t)]; 661; the author states that a measurable function x de2ned
(5) on [0; T ] is a so-called sample path of the fuzzy map-
[X (t)] = [x1 (t); x2 (t)]; 066; ping X if
where x1 and x2 are the minimal and maximal solu- X (·) (x(·))¿0:
tions of (3) and (4) respectively; de6ne a fuzzy pro-
cess X : [0; t ] → E. We believe that the de2nition above should have
been re-arranged to contain some number indepen-
For a given function f : R × Rn × Rr → Rn and a dent of the time variable, say, the supremum of all
fuzzy control process K : R → P̃(Rr ), the solution of X (·) (x(·)) over the interval [0; T ]. It would mean that
the fuzzy di"erential equation the function x somehow represented the fuzzy map-
ping X if it “touched” the latter.
dX (t) For the sample paths w(t) of W (t) and for all the ini-
= f(X (t); t; K(t)) (6)
dt tial values x(0) with nonzero membership in the fuzzy
(which now cannot be given any formal sense since initial value X (0) the (crisp) initial-value problem
we have no idea of what dX (t)=dt might be) is de- dx(t)
2ned in [2] as a fuzzy subset R[t∗ ; t ∗ ] of the set of = f(x(t)) + g(x(t))w(t);
dt
234 D. Vorobiev, S. Seikkala / Fuzzy Sets and Systems 125 (2002) 231–237

x(0) = x0 ∈ R X2 (t) = max{z(t): D1 ∈ [D11


 
; D12 ];
is sought for solutions x : [0; T ] → R. If they exist, the 
D2 ∈ [D21 
; D22 
]; : : : ; Dn ∈ [Dn1 
; Dn2 ]}; (10)
pathwise membership function is constructed in the
 
following manner: where [Di1 ; Di2 ] are -level intervals of fuzzy num-
bers Di ∈ E. The mapping obtained is in fact a fuzzy
X (·) (x(·)) = sup process as the following theorem shows:
y;w(t): x(0)=y; x=f(x(t))+g(x(t))w(t);
˙ t∈[0;T ]

Theorem 4 (Seikkala and Vorobiev [29]). Let


min{ W (·) (w(·)); X (0) (y)}:
(1) ar ∈ C([0; 1]); f ∈ C([0; 1]) and K ∈ C([0; 1]2 );
The fuzzy solution X (t) is then recovered from the (2) Fredholm determinant [27] of the Nekrassow
pathwise membership function with kernel [22; 23] be not equal to zero;
 
(3) D1 ; : : : ; Dn ∈ E with -level intervals [D11 ; D12 ];
X (t) (y) = sup X (·) (x(·)):  
: : : ; [Dn1 ; Dn2 ].
x(·): x(t)=y
Then the intervals [X1 (t); X2 (t)]; with X1 (t);
This de2nition is consistent, as the following theorem X2 (t) from (10); de6ne a fuzzy mapping X : [0; 1]
shows: → E.

Theorem 3 (Leland [20]). If f(x) + g(x)W  (t) is Fuzzy versions of the theory of di"erential inclu-
upper semicontinuous in x for every x; t ∈ [0; T ] and sions have also been investigated [1,11]. In [1], the
¿0; and X (0) is fuzzy convex; then X (t); the solu- author uses, roughly speaking, quasi-fuzzy objects,
tion to (8); will be fuzzy convex. since the membership functions are allowed to be un-
bounded, that is why we only mention this work here,
A fourth approach in [29] was applied to the case of leaving the details o" our analysis. One of our future
fuzzy integro-di"erential equations. A direct applica- works on fuzzy dynamical systems will be solely de-
tion of the H -di"erentiability concept to the equation voted to some consequences of the ideas from [11],
 1 so we do not consider this interesting work here.
L[X ] + 0 K(t; !)X (!) d! = f(t); To sum up, all the examples given above exhibit one
0 common feature of their algorithms. Fuzzy solution
n
 is constructed from the set of solutions of the related
L[X ] = X (n) (t) + ar (t)X (n−r) (t); (9) crisp problem. Then the resulting t-parametric family
r=1 of fuzzy sets is optionally checked to belong to the
class of fuzzy numbers for each t. Alternatively, we
ai (t) ∈ C([0; 1]); i = 1; : : : ; n; may set that the fuzzy input is somehow transformed
X (s) (0) = Ds+1 ; s = 0; 1; : : : ; n − 1 into the fuzzy output by the corresponding crisp sys-
tem. This motivates us to refer such systems to as
would lead to some very narrow class of rapidly di- fuzzy input–fuzzy output (FIFO) systems.
vergent fuzzy solutions.
For certain kernels K(t; !) the solution of the crisp
version of (9) – that is, the same problem with crisp 2. Solutions in the class of pyramidal fuzzy numbers
initial values – is known (cf. [22,23]) to exist, be
unique and depend continuously on the initial data. We begin this section with the following
We denote this solution by z(t). Thus, we are able to
de2ne the fuzzy process, hereafter referred to as the Denition 2. The fuzzy number X ∈ E n is called
solution of (9), in an -level-wise manner: pyramidal if its -level sets are n-dimensional rect-
angles for 0¡61.
X1 (t) = min{z(t): D1 ∈ [D11
 
; D12 ];
With this notion in mind problem (2) might
   
D2 ∈ [D21 ; D22 ]; : : : ; Dn ∈ [Dn1 ; Dn2 ]}; be treated as follows. Consider a family of prob-
D. Vorobiev, S. Seikkala / Fuzzy Sets and Systems 125 (2002) 231–237 235

lems of type (2) with the crisp initial value x0 , 3. Linear fuzzy systems
the function f : Rn+1 → Rn being such that for
all x0 ∈ supp(X0 ) ⊂ Rn the solutions have a com- If the function z(t; x0 ) from the preceding section
mon interval of existence [0; T ] and are unique may be given in a closed form, then a more direct
there. Then the function z : [0; T ] × supp(X0 ) → Rn method of fuzzi2cation of the crisp solution may be
such that z(0; x0 ) = x0 and @z(t; x0 )=@t = f(t; z(t; x0 )) proposed. We feel that this method is more suitable
∀x0 ∈ supp(X0 ) is continuous w.r.t. x0 [3]. than the method of “pyramidal fuzzi2cation” as it
For a fuzzy initial-value problem (2) we construct n better preserves the shape of the fuzzy initial value.
families of -parametrized interval-valued mappings Consider an initial-value problem for the linear
gk : [0; T ] → [g1
k k
(t); g2 (t)] in the following way: system
k
g1 (t) = min{z k (t; x0 ): x0 ∈ [X0 ] }; dx(t)
k = 1; : : : ; n; = A(t)x(t) + a(t);
dt (13)
k
g2 (t) = max{z k (t; x0 ): x0 ∈ [X0 ] }; x(t0 ) = x0 ;
(11)
where A(t) is an n × n matrix.
where z(t; x0 ) = (z 1 (t; x0 ); : : : ; z n (t; x0 )) ∈ Rn . For a given vector x0 ∈ Rn the value at t of the
solution to the Cauchy problem (13) where x(t0 ) = x0
Theorem 5. There exists a fuzzy process X : [0; T ] is given by the aTne transformation in Rn :
→ E n such that
   t 
n t t−!

[X (t)] = k
× [g1 k
(t); g2 (t)]; (12) x(t) = E A x0 + E A a(!) d!; (14)
k=1 t0 t0 0

where × denotes the usual set-theoretical Cartesian where (I – unit matrix)


product.
 t
t
Proof. We naturally use the NegoiSta–Ralescu repre- E A(!) = I + A(!) d!
t0 t0
sentation theorem [12] as a key point of the proof.
 
Two of its conditions, convexity and inclusion prop- t !

erty, follow immediately from (11) and (12) and + d! A(!)A(!1 ) d!1 + · · · : (15)
t0 t0
from the fact that X0 ∈ E n . The continuity condition
is satis2ed by the continuity of z(t; x0 ) on its second Let X (t) be the fuzzy process lifted from Rn via (14)
argument. to E n by substituting X0 for x0 and applying Zadeh’s
extension principle [12,30]. The structure of mapping
We observe that for all t the fuzzy number X (t) (14) and its continuity on the vector x0 at any instant
is pyramidal; this justi2es the term “pyramidal solu- t both assure that:
tion”, which will be used hereinafter to de2ne fuzzy (1) Mapping (14) transforms the collection PK (Rn )
process X : [0; T ] → E n constructed by means of (11) of all convex compact sets of Rn into itself;
and (12). (2) Conditions of NegoiSta–Ralescu representation
It would be also interesting to know when the pyra- theorem are ful2lled for all t;
midal solution is H -di"erentiable and if so how it re- (3) The image of any -level set of the initial value
lates to the solution of the same problem in the sense is that of the fuzzy number X (t).
of De2nition 1. The one-dimensional case was treated That is why we can ascribe the de2nition of the
from this standpoint in [4]. fuzzy solution to so obtained fuzzy process X (t), the
It is easy to see that this approach is mostly driven latter being referred to as extension principle solution.
by the idea of the FIFO systems. The same is true Also, we see that this solution does not need to have
regarding the contents of the next section. a pyramidal shape.
236 D. Vorobiev, S. Seikkala / Fuzzy Sets and Systems 125 (2002) 231–237

Example 1. Consider a linear system with constant that


coeTcients 
d(Xp (t)) = 43 r02 e2t 1 + 64t 4 ; (22)
dx1
= 3x1 − 2x2 ; and we see that this solution is fuzzier than the one
dt
(16) obtained by the extension principle.
dx2
= 2x1 − x2 :
dt
It is easily seen that the crisp solution of the initial- 4. Fuzzy integral funnels
value problem for (16) with x1 (0) = x10 ; x2 (0) = x20 is
given by The issues of validity of Peano-like theorems for
fuzzy di"erential equations have long been a focal
x1 = et [x10 + 2t(x10 − x20 )]; point of discussions in this area [8,9,13,14,18].
(17) A new de2nition of solution to the fuzzy di"eren-
x2 = et [x20 + 2t(x10 − x20 )]: tial equations which automatically implies the validity
of Peano-like existence theorem may be proposed. As
As an initial value for the fuzzy initial-value problem
it may be easily seen, our concept is a further gener-
of (16) we take a number X0 ∈ E n such that
alization of the idea of FIFO systems. Moreover, this
approach provides, in a sense, a positive solution of
[X0 ] = {(x10 ; x20 ) ∈ R2 | (x10 − x100 )2 + (x20 − x200 )2 the open problem No. 5 in [25].
In this section we use as preliminary information
6r02 (1 − )2 }; (18)
the results exposed in [3,15,19,25].
Given an initial-value problem (2) with crisp ini-
x100 ∈ R; x200 ∈ R; r0 ¿0.
tial condition x0 ∈ Rn and f(t; x) continuous in some
Using Nguyen’s theorem [24], we see that the -
G ⊂ Rn+1 , it is well known that its solutions form an
level sets of the fuzzy solution X (t) will be convex
integral funnel (or Integraltrichter as Kamke called it
compact sets in R2 , their boundaries having the fol-
in [15]) F(f; p) where p = (t0 ; x0 ). The set
lowing parametric representation:
Ks (f; p) = {x ∈ Rn : (s; x) ∈ F(f; p)}
x1 (); t) = et [r() cos ) + x100 + 2t(r() cos )
is a cross-section of the integral funnel F(f; p) by the
+ x100 − r() sin ) − x200 )]; hyperplane t = s.
If a system (2) is such that for any x0 ∈ supp X0
x2 (); t) = et [r() sin ) + x200 + 2t(r() cos ) the integral funnels of the corresponding crisp initial-
value problem possess a common interval of existence
+ x100 − r() sin ) − x200 )]; [t0 ; T ], then a value equal to the membership of x0 in
X0 may be prescribed to the integral funnel starting
r() = r0 (1 − ); 0661; 06)62; (19) from a given point (t0 ; x0 ). So obtained fuzzy set of
integral funnels (apparently, this fuzzy set is de2ned
The area of each -level set is on the collection of all compact sets in Rn+1 ) we could
also call a solution of the fuzzy initial-value problem
S(; t) = e2t r 2 () (20) (2), whose existence is guaranteed by the assumed
existence of the integral funnels – that is, we have a
and the fuzziness of X (t) increases according to Peano-like theorem.
 2t 2 As a matter of our future research, we point out
d(X (t)) = e r0 : (21) that it would be natural to ask whether the cross-
3
sections of integral funnels, if endowed with a
Let Xp (t) be the pyramidal solution of system (16) fuzzy set structure in the same way as just above,
with the fuzzy initial condition (18). One can show form a fuzzy number. Apparently, it would suTce
D. Vorobiev, S. Seikkala / Fuzzy Sets and Systems 125 (2002) 231–237 237

to 2nd the conditions


 on f such that the mapping [8] M. Friedman, M. Ming, A. Kandel, On the validity of Peano
PK (Rn ) X0 → x0 ∈X0 Ks (f; (0; x0 )) would preserve theorem for fuzzy di"erential equations, Fuzzy Sets and
Systems 86 (1997) 331–334.
convexity.
[9] M. Friedman, M. Ming, A. Kandel, Comments on “The Peano
theorem for fuzzy di"erential equations revisited”, Fuzzy Sets
and Systems 98 (1998) 149.
5. Conclusion [10] S. Gudder, Connectives and fuzziness for classical e"ects,
Fuzzy Sets and Systems 106 (1999) 247–254.
The present paper addresses several facets of the [11] E. HHullermeier, An approach to modelling and simulation
of uncertain dynamical system, Internat. J. Uncertainty,
theory of ordinary di"erential equations with initial Fuzziness Knowledge-Based Systems 5 (1997) 117–137.
conditions or parameters belonging to the space E n [12] O. Kaleva, Fuzzy di"erential equations, Fuzzy Sets and
of upper semicontinuous compactly supported convex Systems 24 (1987) 301–317.
fuzzy numbers. While its main goal is to propose new [13] O. Kaleva, The Cauchy problem for fuzzy di"erential
equations, Fuzzy Sets and Systems 35 (1990) 389–396.
de2nitions of the solution to fuzzy di"erential equa-
[14] O. Kaleva, The Peano theorem for fuzzy di"erential equations
tions, it also contains extensive comparative analysis revisited, Fuzzy Sets and Systems 98 (1998) 147–148.
of di"erent approaches to the subject developed by [15] E. Kamke, Zur Theorie der Systeme gewHohnlicher
di"erent authors in the course of past two decades. An Di"erentialgleichungen II, Acta Math. 58 (1932) 57–85.
issue concerning the validity of Peano theorem in the [16] A. Kandel, W.J. Byatt, Fuzzy di"erential equations, in: Proc.
Internat. Conf. on Cybernetics and Society, Tokyo–Kyoto,
context of fuzzy di"erential equations is also touched
Japan, November 3–7, 1978, pp. 1213–1216.
upon. [17] A. Kandel, W.J. Byatt, Fuzzy processes, Fuzzy Sets and
Systems 4 (1980) 117–152.
[18] P.E. Kloeden, Remarks on Peano-like theorems for fuzzy
Acknowledgements di"erential equations, Fuzzy Sets and Systems 44 (1991)
161–163.
H
[19] H. Kneser, Uber die LHosungen eines Systems gewHohnlichen
The authors are indebted to the Academy of Finland Di"erentialgleichungen, das der Lipschitzchen Bedingung
(project no. 46458) for the 2nancial support as well nicht genHugt, Sitzungsber. Preuss. Akad. Wiss. in Berlin,
as to the referees for careful reading of the manuscript Math. Kl. (1923) 171–174.
and numerous valuable remarks, suggestions and indi- [20] R.P. Leland, Fuzzy di"erential systems and Malliavin
calculus, Fuzzy Sets and Systems 70 (1995) 59–73.
cations to some references, which were inadvertently
[21] B.P. Lientz, On time dependent fuzzy sets, Inform. Sci. 4
omitted in the early version of this paper. (1972) 367–376.
[22] I.I. Markush, V.N. Bobochko, Linear Integro – Di"erential
Equations, Uzhgorod State University Press, Uzhgorod, 1981
References (in Russian).
[23] A.I. Nekrassow, Contribution to the Analysis of One Class of
Integro – Di"erential Equations, Transactions of the Central
[1] J.-P. Aubin, Fuzzy di"erential inclusions, Problems Control
Aero – Hydrodynamical Institute of Prof Joukowski, vol. 190,
Inform. Theory 19 (1) (1990) 55–67.
Moscow – Leningrad, 1934 (in Russian).
[2] V.A. Baidosov, Fuzzy di"erential inclusions, Prikl. Math.
[24] H.T. Nguyen, A note on the extension principle for fuzzy
Mekh. USSR 54 (1990) 8–13.
sets, J. Math. Anal. Appl. 91 (1978) 369–380.
[3] M.F. Bockstein, ThVeorWemes d’existence et d’unicitVe de
[25] C.C. Pugh, Integral funnels, J. Di"erential Equations 19
solutions des systWemes d’Vequations di"Verentielles ordinaires,
(1975) 270–295.
Uch. Zap. Moscow State Univ. 15 (1939) 1–72 (in Russian, [26] M.L. Puri, D.A. Ralescu, Di"erentials of fuzzy functions,
French summary). J. Math. Anal. Appl. 91 (1983) 552–558.
[4] J.J. Buckley, Th. Feuring, Fuzzy di"erential equations, Fuzzy [27] F. Riesz, B. SzWokefalvi-Nagy, LeScons d’Analyse Fonc-
Sets and Systems 110 (2000) 43–54. tionelle, Acad. des Sciences de Honorie, Budapest, 1972.
[5] P. Diamond, P. Kloeden, Metric Spaces of Fuzzy Sets: Theory [28] S. Seikkala, On the fuzzy initial value problem, Fuzzy Sets
and Applications, World Scienti2c, Singapore, 1994. and Systems 24 (1987) 319–330.
[6] P. Diamond, Stability and periodicity in fuzzy di"erential [29] S. Seikkala, D. Vorobiev, Towards the theory of fuzzy
equations, preprint, CADSMAP, University of Queensland, dynamical systems, in: Methods and Algorithms of Parametric
2000, 17pp. Analysis of Linear and Nonlinear Transfer Models, vol. 16,
[7] Z.H. Ding, M. Ma, A. Kandel, Existence of the solutions of pp 7–13, MSOPU, Moscow, 1998 (in Russian).
fuzzy di"erential equations with parameters, Inform. Sci. 99 [30] L. Zadeh, Fuzzy sets, Inform. and Control 8 (1965) 338–353.
(3– 4) (1997) 205–217.

You might also like