Well-posedness of the considered SC problem: We begin our analysis of the considered SC problem by providing the necessary and sufficient condition for the existence of a correct supervisor. For the systematic characterization of this feasibility condition, we need the following definition: Definition 1. Consider an s-DES G ≡ 〈X × S, Σ ∪ E, δ, (x0, s0)〉, and the supervisor Γ∅ defined by: ∀(x, s...

In this paper, we define the concept of almost generalized (S, T )− contractive condition, and prove some common fixed point results for four mappings satisfying almost generalized (S, T )− contractive condition in partially ordered fuzzy metric spaces.

We study relations between evidence theory and S-approximation spaces. Both theories have their roots in the analysis of Dempsterchr('39')s multivalued mappings and lower and upper probabilities, and have close relations to rough sets. We show that an S-approximation space, satisfying a monotonicity condition, can induce a natural belief structure which is a fundamental block in evidence theory...

The aim of this paper is to investigate the geometric condition of singularity of ) ( 2 2 3 MS S Δ . The algebraic of singularityof ) ( 2 2 3 MS S Δ is obtained in (Luo and Chen, 2005). The result of this paper will be useful to further study the geometric condition of singularity of ) 3 )( ( 1 > Δ + μ μ μ μ MS S .