*Correspondence: [email protected] Faculty of Mathematics and Informatics, Plovdiv University, Plovdiv, 4000, Bulgaria Abstract In this paper, we develop a unified theory for cone metric spaces over a solid vector space. As an application of the new theory, we present full statements of the iterated contraction principle and the Banach contraction principle in cone metric spaces over a sol...

In this paper we present a decomposition algorithm for computation of the spatial-temporal optical flow of a dynamic image sequence. We consider several applications, such as the extraction of temporal motion features and motion detection in dynamic sequences under varying illumination conditions, such as they appear for instance in psychological flickering experiments. For the numerical implem...

We present an inductive characterization for an invariant to stand in a given finite-state transition system. We show how this characterization can be computed by means of BDD-based operations, without performing a fixpoint iteration over sets of states as the CTL symbolic model checking algorithm does.

We propose a novel numerical method for solving a quadratic vector equation arising in Markovian Binary Trees. The numerical method consists in a fixed point iteration, expressed by means of the Perron vectors of a sequence of nonnegative matrices. A theoretical convergence analysis is performed. The proposed method outperforms the existing methods for close-to-critical problems.

We define strong regularity of a parametric interval matrix and give conditions that characterize it. The new conditions give a better estimation for regularity of a parametric matrix than the conditions used so far. Verifiable sufficient regularity conditions are also presented for parametric matrices. The new sufficient conditions motivate a generalization of Rump’s parametric fixed-point ite...

We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty set converges geometrically for any starting point. also show positivity is crucial this result to hold, and concept (nonlinear) spectral radius asymptotic provides us information about convergence factor. As a practical implication results shown here, we rigorously explain why some power control load e...

Iterative image estimation methods have been widely used in emission tomography. Accurate estimation of the uncertainty of the reconstructed images is essential for quantitative applications. While both iteration-based noise analysis and fixed-point noise analysis have been developed, current iteration-based results are limited to only a few algorithms that have an explicit multiplicative updat...

In this paper, the aim is to make the predictive control of a plant described by a Timed Event Graph which follows the specifications defined by a P-time Event Graph. We propose a compromise approach between the ideal optimality of the solution and the on-line application of the computed solution when the relevant optimal control cannot be applied for a given computer. The technique is based on...

We study a principal-agent game where the principal commits to an affine contract. We suppose that the principal has incomplete information but he can adjust the contract according to the myopically behaving agent’s reactions when the game is played repeatedly. The adjustment process can be considered as a learning model. We derive convergence conditions for fixed-point iteration as an adjustme...