Related papers: An application of continuous logic to fixed point …

In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement…

The Cauchy problem for a quasilinear system of hyperbolic-parabolic equations is addressed with the method of linearization and fixed point. Coupling between the hyperbolic and parabolic variables is allowed in the linearization and we do…

In this paper, we prove the existence of fixed points of mappings satisfying the condition (Da), a kind of generalized nonexpansive mappings, on a weakly compact convex subset in a Banach space satisfying Opial's condition. And we use…

We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a…

We point out how Banach Fixed Point Theorem, and the Picard successive approximation methods induced by it, allows us to treat some mathematical methods in Combinatorics. In particular we get, by this way, a proof and an iterative algorithm…

Fixed point theorems are one of the many tools used to prove existence and uniqueness of differential equations. When the data involved contains products of distributions, some of these tools may not be useful. Thus rises the necessity to…

The design of fixed point algorithms is at the heart of monotone operator theory, convex analysis, and of many modern optimization problems arising in machine learning and control. This tutorial reviews recent advances in understanding the…

Our general aim is to give sufficient conditions for robustness behavior and convergence to the equilibrium point of linear time-varying fractional system's solutions. We approach this problem using as a framework a series of recent results…

We present a class of iterative fully distributed fixed point methods to solve a system of linear equations, such that each agent in the network holds one of the equations of the system. Under a generic directed, strongly connected network,…

In this paper, the existence and uniqueness of the fixed point for the product of two nonlinear operator in Banach algebra is discussed. In addition, an approximation method of the fixed point of hybrid nonlinear equations in Banach…

This work considers a second order impulsive coupled system of differential equations with generalized jump conditions in half-line, which can depend on the impulses of the unknown functions and their first derivatives. The arguments apply…

In this article we extend the notion of orthogonal metric space to weak orthogonal metric space. Then we establish fixed point results for a mapping satisfying a more general contraction condition. Several nontrivial examples are given in…

In this paper, we prove coincidence and common fixed points results under nonlinear contractions on a metric space equipped with an arbitrary binary relation. Our results extend, generalize, modify and unify several known results especially…

Stability analysis and control of linear impulsive systems is addressed in a hybrid framework, through the use of continuous-time time-varying discontinuous Lyapunov functions. Necessary and sufficient conditions for stability of impulsive…

Classical conditions for ensuring the robust stability of a linear system in feedback with a sector-bounded nonlinearity include small gain, circle, passivity, and conicity theorems. In this work, we present a similar stability condition,…

We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of simpler components. The crucial results required by the…

Based on the convergence of their infinitesimal generators in the mixed topology, we provide a stability result for strongly continuous convex monotone semigroups on spaces of continuous functions. In contrast to previous results, we do not…

The aim of this paper is to establish a strong convergence theorem for a strongly nonexpansive sequence in a Banach space. We also deal with some applications of the convergence theorem.

The linear isometries between weighted Banach spaces of continuous functions are considered. Some of well known theorems on isometries between spaces of continuous functions are proved and stated, but all they are in an appropriate form. In…

This article presents a novel numerically tractable technique for synthesizing Lyapunov functions for equilibria of nonlinear vector fields. In broad strokes, corresponding to an isolated equilibrium point of a given vector field, a…