![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
In this work, a reliable scheme is proposed to solve fuzzy differential equation based on the predictor-corrector methods (PC-methods) under generalized H-differentiability. For this purpose, the stochastic arithmetic(SA) and the CESTAC* method are applied to validate the results. Also, the numerical accuracy of the method is proved and an algorithm is given based on the new arithmetic. In order to implement C++ codes, the CADNA† library is used. In this case, the optimal number of nodes and optimal step size are found. The examples illustrate the efficiency and importance of using the SA in place of the floating-point arithmetic(FPA).
1. Introduction
Solving fuzzy differential equations (FDE) in both initial and boundary conditions are important topics in fuzzy mathematics and its applications [Citation1]. In recent years different numerical and analytical approaches were proposed to find the fuzzy solution of a given FDE such as [Citation2–12]. In all of these works, in order to implement the computer programs, a mathematical package like Matlab, Mathematica,…is considered and the results are found based on the common computer arithmetic which is the FPA. In this case, a fixed step size is chosen, then in the fixed nodes, the approximate solution is obtained. Also, in all examples, the exact solution is given and compared with the approximate solution to check the accuracy of the results and the convergence of the method. Since the FPA is not able to rely and validate the results and detect the instabilities during the run of the program, the packages which are worked on this arithmetic are not able to determine a satisfactory result from the computational point of view. In other words, because of the accumulation of errors due to the round-off error propagation, the final results obtained from a numerical algorithm may be inaccurate and the FPA is not able to detect the accuracy of results. Also, in this arithmetic, it is not possible to find the optimal step size in difference schemes like PC-methods and it is necessary to consider a tolerance of accuracy like eps in the termination criterion, which is not proper to stop the computations. Hence, an arbitrary step size is chosen and the results are found without validating them. It is important computationally to validate the results and control the variations of the step size in iterative and approximate methods and find the optimal results to ensure that based on the machine accuracy, the final solution, the number of iterations and the step size are optimized. Hence, a reliable and efficient method for evaluating the round-off error is necessary if one wants to correct step size control. For these reasons, the FPA must be substituted by other arithmetic which is able to optimize and validate the results. This new arithmetic is called the SA proposed by La Porte and Vignes[Citation13]. They introduced the CESTAC method which is a method to implement the SA in a code written by Fortran or C++ on the Linux operating system [Citation14–16]. This method enables one to estimate the number of the exact significant digits of any computed result. The CESTAC method is based on a probabilistic approach of the round-off error propagation which replaces the FPA by a random arithmetic [Citation15,Citation17–25].
In [Citation26–29], the authors applied the CADNA library to solve a FDE by using the fuzzy Runge-Kutta method as a single-step scheme and the finite differences method to solve fuzzy boundary value problem. By using this library, the optimal step size is computed, and the optimal approximate solution of the FDE in the nodal points is found. In this work, a procedure is presented for solving fuzzy differential equations under generalized H-differentiability based on the PC-methods. Also, based on the idea proposed by Bede [Citation6] and Bede and Gal [Citation30], which describes that a FDE under the H-differentiability and gH-differentiability is equivalent to a system of crisp ordinary differential equations (ODEs) under certain conditions, the solution of FDE is found. Furthermore, by using the CESTAC method and the CADNA library, the optimal step size of the fuzzy multi-step methods is computed and the accuracy of results is dynamically controlled and estimated.
This paper is organized as follows. In Section 2, the basic definitions of fuzzy sets theory is presented. In Section 3, the main idea is explained. In this section, a theorem is proved to show the accuracy of the fuzzy multi-step methods. The CESTAC method and its fuzzy case in companion with an algorithm which is implemented by the CADNA library are given in Section 4. In Section 5, two sample FDEs with initial fuzzy conditions are solved by means of the CADNA library based on the proposed algorithm to illustrate the importance of using the SA in validating the results of the algorithm and finding the optimal step size.
2. Preliminaries
The basic definitions of fuzzy mathematics are given in [Citation1,Citation3–5,Citation31–33]. In this section, we review some of them.
Definition 2.1
[Citation34]
Given the definition domain U, the mapping is called a fuzzy set.
is denoted as the membership function, whose values are located in a closed interval
. If only the point values 0 and 1 are suitable, the fuzzy set X degenerates into a classical one, which means that the classical set is a special form of the fuzzy sets.
Definition 2.2
[Citation34]
Given a fuzzy set X, for any , the classical set
is defined as the r-cut set, where r is the cut level. Usually, the r-cut sets are considered as intervals of confidence, since in the case of convex fuzzy sets, they are closed fuzzy intervals associated with a gradation of confidence between
. For a fuzzy interval X, its
cuts are closed intervals in
and we denote them by
Two widely used of fuzzy intervals are triangular and trapezoidal fuzzy numbers. Let us denote by
the set of all fuzzy numbers, however, fuzzy numbers are generalized closed intervals.
Also, support of X is For two fuzzy sets X and Y, the addition
and the scalar multiplication
are defined as having the level cuts
Also, the product and division of two fuzzy numbers
are defined as:
Definition 2.3
The generalized Hukuhara difference of two intervals, , (gH-difference) is defined as follows [Citation1]:
Consider
then
and
Definition 2.4
[Citation1]
Define by
(1)
(1)
which is called the Hausdorff distance between two fuzzy numbers
with the following properties:
Definition 2.5
[Citation1,Citation3]
A function is called a fuzzy function. If for arbitrary fixed
and
a
such that
(2)
(2)
exists, X is said to be continuous.
Definition 2.6
Generalized derivative
Gomes et al. [Citation1] Let (jth-order differential of X) for all
and
.
is called gH-differentiable (gH-differentiable for short) at
, if there exists
for all
, such that
also we say that
is
-differentiable at
if
and we say that
is
-differentiable at
if
Definition 2.7
[Citation1,Citation35–37]
The fuzzy initial value problem (FIVP)is defined using a fuzzy differential equation and a fuzzy initial value as follows:
(3)
(3)
where
is a fuzzy continuous mapping from
into
.
Theorem 2.8
[Citation1]
Let us consider where
is such that
for each
.
The functions
, and
are equi-continuous, i.e. for any
there exists
such that for any
we have
and
whenever
.
is named uniformly bounded on any bounded set, if exist
such that
and also
Then, the fuzzy initial value problem (FIVP) and the corresponding crisp system of initial value problems(IVPs) are equivalent.
3. Main Idea
Let the FIVP (Equation3(3)
(3) ). A l-step method for solving Equation (Equation3
(3)
(3) ) has a fuzzy difference equation with the following general form:
(4)
(4)
where
denotes the fuzzy summation, and
is the approximation of the solution at the mesh point
, l is an integer greater than 1 and
,
,
, the values
and
are constants, and the starting values
are specified.
When the method (Equation4
(4)
(4) ) is called an explicit method, otherwise, it is called an implicit method. The starting values in method (Equation4
(4)
(4) ) must be specified, generally by assuming
and generating the remaining values by a single-step method such as fourth order Runge-Kutta method.
By using of the interpolating polynomial bases on Newton backward-difference formula, we have get
where the constants
with variable substitution
, and
[Citation8,Citation38].
In the following, we have got some of the fuzzy predictor-corrector(FPC) methods with their initial values [Citation3–5,Citation8,Citation39].
The FPC 3-step method is obtained as follows:
(5)
(5)
The improved fuzzy predictor-corrector 3-step method(FIPC) is considered as follows:
(6)
(6)
The fuzzy Milne-Simpson's predictor-corrector 4-step method(FMPC) is obtained as follows:
(7)
(7)
The local truncation errors of the explicit k-step (or implicit
-step) method, based on the crisp case mentioned in [Citation40–42], can be written as:
(8)
(8)
where
is the exact solution of the Equation (Equation3
(3)
(3) ) at the point
and
is the approximate solution with step size h at this point. So,
are known constants dependent on k and independent of h.
From Equation (Equation8(8)
(8) ), if
is considered as step size, then
(9)
(9)
From Equations (Equation8
(8)
(8) ) and (Equation9
(9)
(9) ), for two successive iterations,
(10)
(10)
Theorem 3.1
The fuzzy multi-step method approximates Equations (Equation5(5)
(5) ), (Equation6
(6)
(6) ), (Equation7
(7)
(7) ) converge to the exact solution.
Proof.
See [Citation3–7,Citation43].
Theorem 3.2
The fuzzy multi-step method as Equations (Equation5(5)
(5) ), (Equation6
(6)
(6) ), (Equation7
(7)
(7) ) is stable.
Proof.
See [Citation3–5,Citation44].
Bede [Citation6] defined the Characterization Theorem that provides certain conditions under which a FDE is equivalent to a system of ODEs with respect to H-differentiability. Thereafter, Bede and Gal [Citation30] proposed another version of this theorem for solving FDEs under gH-differentiability. Both of these characterization theorems are employed to transfer the FDEs under fuzzy differentiability to systems of ODEs. Based on Definition 2.6, -differentiable,
-differentiable and Theorem 2.8 [Citation6,Citation7], each of Equations (Equation5
(5)
(5) ), (Equation6
(6)
(6) ) and (Equation7
(7)
(7) ), under certain conditions, can be replaced by two equivalent systems of IVPs.
Definition 3.3
[Citation26]
For two distinct fuzzy numbers and
in
the notation
means the common proximity between
and
, which is defined as,
(11)
(11)
Remark 3.1
By defuzzification, Equation (Equation11(11)
(11) ) can be written as follows
where the notation
is the estimate number of common significant digits between two distinct real numbers
and
[Citation15,Citation17,Citation22].
The following theorem is proved to show the accuracy of the fuzzy explicit k-step method (or implicit -step method) by considering the common proximity of each corresponding components of the computed solution and the exact solution for a given FIVP.
Theorem 3.4
Let ,
be the approximate values of
in two successive iterations obtained from FIVP (Equation3
(3)
(3) ) based on fuzzy multi-step method respectively. Then
(12)
(12)
Proof.
From Equation (Equation8(8)
(8) ), since for h enough small,
we deduce
then by considering
as abounded function which can be denoted by
, we obtain
(13)
(13)
Based on Definition (3.3) and properties of distance D, from Equation (Equation13
(13)
(13) ), we get
therefore
(14)
(14)
Similarly from Equation (Equation10
(10)
(10) ),
(15)
(15)
By Definition (3.3) and properties of distance D, from Equation (Equation15
(15)
(15) ), we obtain
(16)
(16)
According to Equations (Equation14
(14)
(14) ) and (Equation16
(16)
(16) )
In Equation (Equation12(12)
(12) ) since
hence
Therefore, it means that, when the fuzzy multi-step methods are used in order to estimate
then, for h small enough, the common proximity between two successive fuzzy values
and
are almost equal to the common proximity between
and
. Therefore, if the fuzzy CESTAC method is used then, the computations of the sequence
's are stopped when for an index like
. In this case,
is a suitable approximation of
.
In Equation (Equation14(14)
(14) ), if k = 4 and
then,
Also, if k = 3 and
then,
4. CESTAC Method
In many numerical iterative and approximate recursive schemes, the absolute error is applied to show the accuracy of the method. In order to apply the absolute error, the existence of the exact solution is necessary. In the iterative algorithms which are constructed based on the common FPA, the termination criterion depends on a tolerance parameter like epsilon (eps) as follows:
(17)
(17)
where ψ is the exact solution and
is the m-th computed result obtained from the iterative algorithm. This criterion may not be acceptable. If eps is chosen very large, the iterations are stopped before getting access to a suitable approximation. If eps is chosen very small then, unnecessary iterations are done without improving the accuracy of the results. So, it can not be determined the optimal iteration m by applying a tolerance in the stopping criterion. Also, if one applies the criterion
, in place of the condition (Equation17
(17)
(17) ), it is not any guarantee to confirm
is an approximation of ψ without knowing the exact solution. This is because of the nature of the FPA. Therefore, it needs to be suggested another way which is independent of this tolerance. For this purpose, we must replace the FPA by a new arithmetic so that it is able to omit the tolerance epsilon in the termination criterion. This new environment is the stochastic arithmetic. The details of this arithmetic can be found in [Citation13,Citation15–21,Citation25,Citation45]. In order to use this arithmetic in a discrete case, the CESTAC method should be applied [Citation15,Citation36,Citation45]. This method is able to validate the results and detect any instability step by step during the run of a code. The algorithm of this method is based on the concept of common significant digits. In this case, the following termination criterion is substituted which is independent of the value epsilon.
(18)
(18)
where the symbol
is denoted as the informatical zero which means the corresponding value (difference between two sequential results) has not any significant digits and hence in the point of computational view we can say
Equation (Equation18
(18)
(18) ) means when the difference between two sequential results is an informatical zero, the computations must be stopped and any calculations after m-th iteration is redundant. In order to implement the CESTAC method, the CADNA library was designated by Chesnueax [Citation22,Citation46]. This library is able to perform the discrete stochastic arithmetic and the CESTAC method automatically on any C++ or Fortran code. So, in order to apply it, the main code must be written in one of these programming languages.
The CESTAC method was developed by La Porte and Vignes [Citation13]. This method is able to detect numerical instabilities which occur during the run and estimate accuracy of the computed results. During the run, as soon as the number of the significant digits of any result becomes zero, an informatical zero is detected and the result is printed by the notation .
The basic idea of the CESTAC method is to replace the usual FPA with a random arithmetic. Consequently, each result appears as a random variable. This approach leads toward two concepts: stochastic numbers and stochastic arithmetic.
The applying of the CESTAC method in a scientific program has the following advantages:
The accuracy of any numerical result is estimated, during the running of a program.
The numerical instabilities are detected and the branching are checked.
Unnecessary iterations are eliminated, which the FPA is not able to distinguish them. In some cases, the termination criterion of iterative methods is not suitable so that the implementation of the algorithm is continued without improvement in the accuracy of the result. In the SA, instead of the termination criterion, a criterion that directly reflects the mathematical condition, is replaced, that must be satisfied by the solution.
It is able to find the optimal step of the iterative methods, which after this step, the accuracy of the result does not increase or maybe decrease, because of the rounding error accumulation.
It is an effective and powerful tool that helps to achieve the validation of scientific programs and gives them a reliability.
Let F be a set of real values which are reproduced by computer and the arbitrary value ψ is demonstrated as . In the personal computer, Ψ with the binary FPA, ρ mantissa bits and the rounding error term is shown by
(19)
(19)
where
is the missing segment of mantissa which is obtained from round-off error, ε is the sign of ψ, E is the binary power of the outcome. If ρ is a random parameter on
which is distributed uniformly and is applied to perturb on the last mantissa bit of Ψ then, the random result of Ψ can be calculated where mean
and standard deviation
are applied to guarantee the precision of results [Citation13,Citation45,Citation47–49].
In PC, for the results can be obtained by single or double precision respectively. By M times performing the process for
the distribution of them is in the quasi Gaussian form. Therefore, the mean of them is equal with the exact value of ψ and the values of μ and σ can be estimated by these M samples. The following algorithm of the CESTAC method is presented where
is the value of T distribution with M−1 degree of freedom and confidence interval
.
In the sequel, Algorithm 4.1 is developed in fuzzy case.
4.1. Fuzzy CESTAC Method
Let be a fuzzy number in
. Then,
is represented as
in the computer. It can be shown that:
(20)
(20)
where, ε is the sign of
, and
is the lost part of the mantissa due to round-off error for
and E is the binary exponent of the results. In single precision case,
and in double precision case P = 53. In the fuzzy CESTAC method,
is considered as a fuzzy random variable uniformly distributed on
. In order to find samples for the obtained random variables, we perturb the last mantissa bit of the values
,
. The algorithm of the fuzzy CESTAC method is as follows where
is the value of T distribution with
degree of freedom and confidence interval
. If
and
then
Now, the following algorithm is introduced which is performed in the CADNA library based on the fuzzy CESTAC method to solve a given FIVP by applying one of the mentioned multi-step methods. In this case, is chosen as the termination criterion which means the Hausdorff distance between two sequential results is an informatical zero. In this algorithm,
and
are the approximate values of
in two successive iterations obtained from the fuzzy multi-step methods, respectively. By implementing Algorithm 4.2, the optimal step size and optimal values of the computed results are obtained with their accuracy and therefore the results are validated.
In [Citation1,Citation9,Citation10,Citation50], a fuzzy initial value problem (FIVP) was converted to a system of ordinary differential equations, then by applying the Characterization Theorem the solution of this system presents a fuzzy solution for the FIVP. In the next section, it is considered this scheme to solve the examples based on Algorithm 4.3 using the CADNA library to validate the results.
5. Numerical Examples
In this section, two examples are solved based on the proposed algorithm by means of the CADNA library in the stochastic arithmetic. The first example is based on and the second example is based on
. The programs have been written in
and executed on a Linux machine using CADNA library based on Algorithm 4.3. In the tables, FPC, FIPC and FMPC methods are the multi-step schemes mentioned in Equations (Equation5
(5)
(5) ), (Equation6
(6)
(6) ) and (Equation7
(7)
(7) ) respectively.
Example 5.1
Consider the fuzzy initial value problem [Citation4].
(21)
(21)
with initial conditions
The exact solution at
Based on Algorithm 4.3, the optimal step sizes of these methods are shown in Table . Also, for , the results of Algorithm 4.3 are shown in Tables , and , respectively. The Hausdorff distance between the approximate solutions
and
in two successive iterations with the Hausdorff distance between the exact solution
and the approximate solution
of Equation (Equation21
(21)
(21) ) at
are compared. In the tables,
and
and the optimal step size for each method is shown. Moreover, Table shows the results of this algorithm for
in the FIPC-3step method. Also, Table shows the estimate number of common significant digits for end-points of r-cuts,
, between two sequential results are compared with the computed significant digits common to the approximate and the exact values for the FIPC-4step method.
Table 1. The optimal step size of Example 5.1.
Table 2. Numerical results of Example 5.1.
Table 3. Numerical results of Example 5.1.
Table 4. Numerical results of Example 5.1.
Table 5. Numerical results of Example 5.1.
Table 6. Comparison of the common significant digits in the FMPC-4step method,
for Example 5.1.
Example 5.2
Let the following fuzzy stiff equation:
(22)
(22)
with initial condition
where
The analytical solution is
The for each multi-step method is determined in Table based on Algorithm 4.3.
Table 7. The optimal step size of Example 5.2.
The fuzzy stiff differential equations are characterized as those whose exact solution has a term of the form where
is a small negative fuzzy number. This is usually only a part of the solution which is called transient solution. The transient portion of a stiff equation will rapidly decrease to zero as t increases. In Equation (Equation22
(22)
(22) )
is nearly
. The results of multi-step methods in the case
at
are shown in Tables , and . Also, Table illustrates the result of the proposed algorithm with t = 0.5 and Table determines the common significant digits of the end-points for different r-cuts in the FIPC-3step method.
Table 8. Numerical results of Example 5.2.
Table 9. Numerical results of Example 5.2.
Table 10. Numerical results of Example 5.2.
Table 11. Numerical results of Example 5.2.
Table 12. Comparison of the common significant digits in the FIPC-3step method,
for Example 5.2.
6. Conclusion
In this paper, the use of the fuzzy CESTAC method and the CADNA library were discussed which allows us to find the optimal step () of the fuzzy multi-step methods as the PC methods under gH-differentiability and validate the results in solving a fuzzy differential equation with initial conditions. As we observed in the tables, by using the optimal termination criterion in Algorithm 1 which uses the computational zero, to stop correctly the iterative process, to save computer time, because many useless iterations are not performed, and on the other hand, furnished by the fuzzy multi-step methods, to estimate the accuracy of the optimal iteration. Consequently, it is suggested due to the numerical problems of the FPA, the SA is replaced to implement the algorithms of solving the FDEs with a reliable scheme.
Acknowledgments
The authors would like to thank the anonymous referees for their constructive comments to improve the quality of this work.
Disclosure Statement
No potential conflict of interest was reported by the author(s).
Additional information
Notes on contributors
Mohammad Ali Fariborzi Araghi
Mohammad Ali Fariborzi Araghi was born in Tehran, Iran. He received B.SC. degree in mathematics from Kharazmi university, M.SC. degree in applied mathematics from Islamic Azad university, Karaj branch and Ph.D. degree in applied mathematics, numerical analysis field, from Islamic Azad university, Science and Research branch. He is the associate professor of Islamic Azad university, Central Tehran branch. His research interests are numerical solutions of integral or differential equations and applications of fuzzy mathematics.
Hasan Barzegar Kelishami
Hasan Barzegar Kelishami was born in Gilan, Iran. He received B.SC. degree in mathematics from Islamic Azad university, Karaj branch, M.SC. degree in applied mathematics from Islamic Azad university, Science and Research branch and Ph.D. degree in applied mathematics, numerical analysis field, from Islamic Azad university, Central Tehran branch. He is a lecturer of Islamic Azad university, North Tehran branch, now. His research interests are numerical solutions of integral or differential equations and applications of fuzzy mathematics.
References
- Gomes LT, Barros LC, Bede B. Fuzzy differential equations in various approaches. Cham: Springer; 2015. ISBN: 978-3-319-22574-6.
- Abbasbandy S, Allahviranloo T, Lopez-Pouso O, et al. Numerical methods for fuzzy differential inclusions. J Comput Math Appl. 2004;48:1633–1641.
- Allahviranloo T, Abbasbandy S, Ahmady N, et al. Improved predictor-corrector method for solving fuzzy initial value problems. Inf Sci (Ny). 2009;179:945–955.
- Allahviranloo T, Ahmady N, Ahmady E. Numerical solution of fuzzy differential equations by predictor-corrector method. Information Sci.. 2007;177(7):1633–1647.
- Bayrak MA, Can E. Numerical solution of fuzzy differential equations by Milne's predictor-corrector method. Math Scie App E-Notes. 2015;3:137–153.
- Bede B. Note on “Numerical solution of fuzzy differential equations by predictor-corrector method”. Inform Sci. 2008;178:1917–1922.
- Bede B, Gal SG. Generalizations of the differentiability of fuzzy-number-valued functions with applications to fuzzy differential equations. Fuzzy Sets Syst. 2005;151:581–599.
- Jayakumar T, Kanagarajan K. Numerical solution for hybrid fuzzy systems by Milne's fourth order predictor-corrector method. Int Math Forum. 2014;6:273–289.
- Kaleva O. A note on fuzzy differential equations. Nonlinear Anal. 2006;64:895–900.
- Stefanini L. Generalized LU-fuzzy derivative and numerical solution of fuzzy differential equations. Proceedings of the 2007 IEEE International Conference on Fuzzy Systems, London: July 2007. IEEE Xplore. p. 710–715.
- Cong-Xin W, Ming M. On embedding problem of fuzzy number spaces: part: I. Fuzzy Sets Syst. 1991;44:33–38.
- Ghazanfari B, Shakerami A. Numerical solutions of fuzzy differential equations by extended Runge-Kutta-like formulae of order 4. Fuzzy Sets Syst. 2011;189:74–91.
- Vignes J, La Porte M. Error analysis in computing. In: Information Processing 1974, North-Holland, Amsterdam; 1974. p. 610–614.
- Chesneaux JM. Modélisation et conditions de validite de la méthode CESTAC. C R Acad Sci Paris Sér I Math. 1988;307:417–422.
- Fariborzi Araghi MA, Noeiaghdam S. Validation of numerical algorithms: stochastic arithmetic. 1st ed. Tehran: Entekhab Bartar publisher; 2021. ISBN: 987-622-6498-09-8.
- Vignes J. A stochastic approach to the analysis of round-off error propagation. A survey of the CESTAC method, In: Proceedings of the 2nd Real Numbers and Computers Conference, Marseille, France; 1996. p. 233–251.
- Abbasbandy S, Fariborzi Araghi MA. A stochastic scheme for solving definite integrals. Appl Numer Math. 2005;55:125–136.
- Abbasbandy S, Fariborzi Araghi MA. The use of the stochastic arithmetic to estimate the value of interpolation polynomial with optimal degree. Appl Numer Math. 2004;50:279–290.
- Abbasbandy S, Fariborzi Araghi MA. A reliable method to determine the ill-condition functions using stochastic arithmetic. Southwest J Pure Appl Math. 2002;1:33–38.
- Abbasbandy S, Fariborzi Araghi MA. Numerical solution of improper integrals with valid implementation. Math Comput Appl. 2002;7:83–91.
- Abbasbandy S, Fariborzi Araghi MA. The valid implementation of numerical integration methods. Far East J Appl Math. 2002;8:89–101.
- Chesneaux JM, Jezequel F. Dynamical control of computations using the trapezodial and simpson's rules. J Universal Comput Sci. 1998;4:2–10.
- Chesneaux JM. Study of the computing accuracy by using probabilistic approach. In: Ullrich C, editor. Contribution to Computer Arithmetic and Self-Validating Numerical Methods, IMACS, New Brunswick, 1990, p. 19–30.
- Chesneaux JM, Vignes J. Les fondements de larithmetique stochastique. C R Acad Sci Paris Sér I Math. 1992;315:1435–1440.
- Vignes J. A stochastic arithmetic for reliable scientific computation. Math Comp Simul. 1993;35:233–261.
- Barzegar Kelishami H, Fariborzi Araghi MA, Allahviranloo T. Dynamical control of computations using the finite differences method to solve fuzzy boundary value problem. J Intell & Fuzzy Syst. 2019;36:1785–1796.
- Fariborzi Araghi MA, Barzegar Kelishami H. Dynamical control of accuracy in the fuzzy Runge-Kutta methods to estimate the solution of a fuzzy differential equation. J Fuzzy Set Valued Anal. 2016;1:71–84.
- Fariborzi Araghi MA, Fattahi H. Solving fuzzy Linear systems in the stochastic arithmetic by applying CADNA library. Proceedings of the International Conference on Evolutionary Computation Theory and Applications (FCTA); SCITEPRESS (Science and Technology Publications, Lda.), Setúbal, Portugal; 2011. p. 446–450.
- Khojasteh Salkuyeh D, Toutounian F, Shariat Yazdi H. A procedure with step size control for solving n one-dimensional IVPs. Math Comput Simul. 2008;79:167–176.
- Bede B, Gal SG. Solutions of fuzzy differential equations based on generalized differentiability. Commun Math Anal. 2010;9:22–41.
- Anastassiou GA. Fuzzy mathematics: approximation theory. Berlin: Springer; 2010.
- Buckley JJ, Feuring T. Fuzzy differential equations. Fuzzy Sets Syst. 2000;110:43–54.
- Chang SL, Zadeh LA. On fuzzy mapping and control. IEEE Trans Syst Man Cybernet. 1972;2:30–34.
- Goetschel R, Voxman W. Elementary calculus. Fuzzy Sets Syst. 1986;18:31–43.
- Dubois D, Prade H. Toward fuzzy differential calculus: part 3, differentiation. Fuzzy Sets Syst. 1982;8:225–233.
- Jezequel F. Controle dynamique de methodes dapproximation, habilitationa diriger des recherches. Paris: Universite Pierre et Marie Curie; 2005 Feb.
- Kaleva O. The cauchy problem for fuzzy differential equations. Fuzzy Sets Syst. 1990;35:389–396.
- Jain MK. Numerical solution of differential equations. New Delhi: New Age International(p) Limited; 2000.
- Burden RL, Faires JD. Numerical analysis. 9th ed. Boston (MA): PWS Publishers; 1985.
- Gear CW. Numerical initial value problems in ordinary differential equations. Englewood Cliffs: Prentice-Hall; 1971.
- Hairer E, Wanner G. Solving ordinary differential equations II. Berlin: Springer; 1991.
- Isaacson E, Keller HB. Analysis of numerical methods. New York: Wiley; 1966.
- Chakrivat PC, Kamew MS. Stiffly stable second multi-step methods with higher order and improved stability regions. BIT. 1983;23:75–83.
- Jeong JU. Stability of a periodic solution for fuzzy differential equations. J Appl Math Comput. 2003;13:217–222.
- Vignes J. Discrete stochastic arithmetic for validating results of numerical software. Numer Alg. 2004;37:377–390.
- Jezequel F, Chesneaux JM. CADNA: a library for estimating round-off error propagation. Comput Phys Commun. 2008;178:933–955.
- Ma M, Friedman M, Kandel A. Numerical solution of fuzzy differential equations. Fuzzy Sets Syst. 1999;105:133–138.
- Puri ML, Ralescu D. Differential for fuzzy function. J Math Anal Appl. 1983;91:552–558.
- Seikkala S. On the fuzzy initial value problem. Fuzzy Sets Syst. 1987;24:319–330.
- Chalco-Cano Y, Roman-Flores H. On new solutions of fuzzy differential equations. Chaos, Solitons and Fractals. 2008;38:112–119.