In this article, by using the technique of upper and lower solutions, some comparison results for first-order fuzzy differential equations are established. Hukuhara derivative, difference, partial orderings used proving theorems. We extend our to initial time difference case as well. Also, practicality these is demonstrated giving an example.

The objective of this paper is to propose a model for the occupation, by leaf-cutting ants, of an attractive area using a form of the diffusion-advection partial differential equation, in which the population dispersal is modeled using a fuzzy parameter. In the studied domain there is an attractive region, which can represent areas with an elevated concentration of palatable host-plants with be...

In this paper, we consider fuzzy fractional partial differential equations under Caputo generalized Hukuhara differentiability. Some new results on the existence and uniqueness of two types of fuzzy solutions are studied via  weakly contractive mapping in the partially ordered metric space. Some application examples are presented to illustrate our main results.

Rule based specifications are popular for specifying protocols, e.g., cache coherence protocols specified in TLA+ [12], Murphi [7], or the BlueSpec language [1]. Specifications in these notations are a collection of unordered rules of the form guard(state) → atomic updates. There is no notion of a sequential process with local scopes or channels, and each rule tends to update multiple fields of...

The paper deals with veriication of untimed branching time properties of Time Petri Nets. The atomic variant of the geometric region method for preserving properties of CTL and ACTL is improved. Then, it is shown, for the rst time, how to apply the partial order reduction method to deal with next-time free branching properties of Time Petri Nets. The above two results are combined ooering an ee...

This paper first improves Chen and Hsieh’s definition of generalized fuzzy numbers, which makes it the generalization of definition of fuzzy numbers. Secondly, in terms of the generalized fuzzy numbers set, we introduce two different kinds of orders and arithmetic operations and metrics based on the λ-cutting sets or generalized λ-cutting sets, so that the generalized fuzzy numbers are integrat...

Complete lattices and closure operators in ordered sets are considered from the point of view of fuzzy logic. A typical example of a fuzzy order is the graded subsethood of fuzzy sets. Graded subsethood makes the set of all fuzzy sets in a given universe into a completely lattice fuzzy ordered set (i.e. a complete lattice in fuzzy setting). Another example of a completely lattice fuzzy ordered ...

in this paper, we study rst order linear fuzzy dierential equations with fuzzy coecient and initial value. we use the generalized dierentiability concept and apply the exponent matrix to present the general form of their solutions. finally, one example is given to illustrate our results.