motivated by samet et al. [nonlinear anal., 75(4) (2012), 2154-2165], we introduce the notions of $alpha$-$phi$-fuzzy contractive mapping and $beta$-$psi$-fuzzy contractive mapping and prove two theorems which ensure the existence and uniqueness of a fixed point for these two types of mappings. the presented theorems extend, generalize and improve the corresponding results given in the literature.

We investigate properties of the formula p → 2p in the basic modal logic K. We show that K satisfies an infinitary weak variant of the rule of margins, which leads to a description of a complete set of unifiers of p → 2p. Using this information, we establish that K has nullary unification type. Moreover, we show that the formula p → 2p is admissibly saturated, but not exact.

1 0-7803-6599-2/01/$10.00 © 2001 IEEE. Abstract— This paper presents an adaptive guidance system approach applied to hypersonic Reusable Launch Vehicles (RLVs). After an effector failure, it is assumed that the inner-closed-loop system utilizes a reconfigurable control algorithm to recover nominal maneuvering capabilities to the extent possible. However, nominal performance will typically not b...

In this paper, we prove some fixed point results in the setting of a Banach space via cyclic \((\alpha ,\beta ,z)\)-admissible mapping imbedded simulation function. Our extend and generalize well known existing literature.

In this article we consider shape optimization problems as optimal control via the method of mappings. Instead optimizing over a set admissible shapes reference domain is introduced and it optimized transformations. The focus on choice transformations, which motivate from function space perspective. order to guarantee local injectivity transformations enrich problem by nonlinear constraint. app...

Abstract The aim of this paper is to broaden the applicability convex orbital $(\alpha, \beta )$ ( α , β ) -contraction mappings geodesic spaces. This class a natural extension iterated contraction mappings. derives fixed-point theorems both ...

1.Introduction. Let M be a C∞ -manifold and TM the total space of the tangent bundle. A control system is a subset V ⊂ TM. Fix an initial point q0 ∈ M and a segment [0, t] ⊂ R. Admissible trajectories are Lipschitzian curves q(τ), 0 ≤ τ ≤ t, q(0) = q0, satisfying a differential equation of the form (1) q̇ = vτ (q), where vτ (q) ∈ V ∩ TqM, ∀q ∈ M, vτ (q) is smooth in q, bounded and measurable in ...

A section of a Hamiltonian system is hypersurface in the phase space system, usually representing set one-sided constraints (e. g., boundary, an obstacle or admissible states). In this paper we give local classification results for all typical singularities sections regular (non-singular) systems, problem equivalent to systems with constraints. particular, complete list exact normal forms funct...