In this paper we study subsystems, reverse subsystems and double subsystems of a fuzzy transition system. We characterize them in terms of fuzzy relation inequalities and equations, as eigen fuzzy sets of the fuzzy quasi-order Qδ and the fuzzy equivalence Eδ generated by fuzzy transition relations, and as linear combinations of aftersets and foresets of Qδ and equivalence classes of Eδ. We also...

David maps are generalizations of classical planar quasiconformal maps for which the dilatation is allowed to tend to infinity in a controlled fashion. In this note we examine how these maps distort Hausdorff dimension. We show: – Given α and β in [0, 2] , there exists a David map φ: C → C and a compact set Λ such that dimH Λ = α and dimH φ(Λ) = β . – There exists a David map φ: C → C such that...

Kinodynamic planning algorithms like Rapidly-Exploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex, non-convex constraints. In practice, these algorithms perform very well on configuration space planning, but struggle to grow efficiently in systems with dynamics or differential constraints. This is due in part to the fact tha...

In (Chaudhuri and Rosenfeld, 1996), metrics were developed for fuzzy sets u and v defined on the same support set S. These metrics are based on applying the Hausdorff metric to pairs of membership level sets (u 1 ( [ tk, 1 ] ), v1 ( [ tk, 1 ] ) ), where tk E [0, 1] is a (possible) membership value of u or v. The metrics of (Chaudhuri and Rosenfeld, 1996) give nice comparisons of fuzzy sets by m...

Generalizing Duality Theorem of V. V. Fedorchuk [11], we prove Stone-type duality theorems for the following four categories: all of them have as objects the locally compact Hausdorff spaces, and their morphisms are, respectively, the continuous skeletal maps, the quasi-open perfect maps, the open maps, the open perfect maps. In particular, a Stone-type duality theorem for the category of all c...

In this paper, the authors prove some existence results of solutions for a new class of generalized bi-quasi-variational inequalities (GBQVI) for quasi-pseudo-monotone type I operators in non-compact settings in locally convex Hausdorff topological vector spaces. In obtaining these results on GBQVI for quasi-pseudo-monotone type I operators in non-compact settings, we shall use the concept of e...

In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems f...