OurmainpurposeofthispaperistointroducethemodifiedMannandIshikawaiteratesforfindingacommonattractivepoint of a finite family multivalued nonexpansive mappings in the setting uniformly convex Banach spaces. Weobtain necessary and sufficient conditions to guarantee strong convergence proposed algorithms withoutclosedness domain such mappings. Moreover, we derive some consequences from our main res...

This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provides a compromise between conventional fixed-point and floating-point representations. It has the implementation complexity similar to that of a fixed-point system together with the improved dynamic range offered by a floating-poi...

Since a number of signal processing algorithms requiring the EVD of a symmetric matrix are implemented on fixedpoint DSPs, there is considerable interest in matrix diagonalization algorithms that can be implemented in fixed-point arithmetic. We propose modifications to the Jacobi Cyclic Row algorithm that favor a fixed-point implementation. We then compare the eigenvalues and eigenvectors obtai...

I give short and constructive proofs of Tarski’s fixedpoint theorem, and of Zhou’s extension of Tarski’s fixed-point theorem to set-valued maps.

This correspondence considers error analysis of blockimplemented 2-D digital filters. Expressions for error bound and meansquare error for roundoff error accumulation are derived using fixedpoint arithmetic, and compared with the results obtained usingordinary 2-D difference equations.

This paper presents a fixedpoint approach to inductive definitions. Instead of using a syntactic test such as “strictly positive,” the approach lets definitions involve any operators that have been proved monotone. It is conceptually simple, which has allowed the easy implementation of mutual recursion and iterated definitions. It also handles coinductive definitions: simply replace the least f...

The classical method for constructing the least fixedpoint of a recursive definition is to generate a sequence of functions whose initial element is the totally undefined function and which converges to the desired least fixedpoint. This method, due to Kleene, cannot be generalized to allow the construction of other fixedpoints. In this paper we present an alternate definition of convergence an...

We introduce a fixedpoint algorithm for verifying safety properties of hybrid systems with differential equations that have right-hand sides that are polynomials in the state variables. In order to verify non-trivial systems without solving their differential equations and without numerical errors, we use a continuous generalization of induction, for which our algorithm computes the required di...

In the present paper, we give a new approach to Caristi's fixed pointtheorem on non-Archimedean fuzzy metric spaces. For this we define anordinary metric $d$ using the non-Archimedean fuzzy metric $M$ on a nonemptyset $X$ and we establish some relationship between $(X,d)$ and $(X,M,ast )$%. Hence, we prove our result by considering the original Caristi's fixedpoint theorem.

We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, the principle fixedpoint engine runs interleaved with coverability queries. We discuss algorithmic enhancements and provide experimental evidence that Petruchio copes with models of reasonable size.