A characterization of strong regularity of interval matrices.
A comparative study of some results of Mihailo Petrović and results of interval methematics
A Mathematical Basis for an Interval Arithmetic Standard
Basic concepts for an interval arithmetic standard are discussed in the paper. Interval arithmetic deals with closed and connected sets of real numbers. Unlike floating-point arithmetic it is free of exceptions. A complete set of formulas to approximate real interval arithmetic on the computer is displayed in section 3 of the paper. The essential comparison relations and lattice operations are discussed in section 6. Evaluation of functions for interval arguments is studied in section 7. The desirability...
A necessary and sufficient criterion to guarantee feasibility of the interval Gaussian algorithm for a class of matrices
A necessary and sufficient to guarantee feasibility of the interval Gaussian algorithms for a class of matrices. We apply the interval Gaussian algorithm to an interval matrix the comparison matrix of which is irreducible and diagonally dominant. We derive a new necessary and sufficient criterion for the feasibility of this method extending a recently given sufficient criterion.
A New Approach to Fuzzy Arithmetic
This work shows an application of a generalized approach for constructing dilation-erosion adjunctions on fuzzy sets. More precisely, operations on fuzzy quantities and fuzzy numbers are considered. By the generalized approach an analogy with the well known interval computations could be drawn and thus we can define outer and inner operations on fuzzy objects. These operations are found to be useful in the control of bioprocesses, ecology and other domains where data uncertainties exist.* This work...
A note on regularity and positive definiteness of interval matrices
We present a sufficient regularity condition for interval matrices which generalizes two previously known ones. It is formulated in terms of positive definiteness of a certain point matrix, and can also be used for checking positive definiteness of interval matrices. Comparing it with Beeck’s strong regularity condition, we show by counterexamples that none of the two conditions is more general than the other one.
A Solver for Complex-Valued Parametric Linear Systems
This work reports on a new software for solving linear systems involving affine-linear dependencies between complex-valued interval parameters. We discuss the implementation of a parametric residual iteration for linear interval systems by advanced communication between the system Mathematica and the library C-XSC supporting rigorous complex interval arithmetic. An example of AC electrical circuit illustrates the use of the presented software.* This work was partly supported by the DFG grant GZ:...
Algebraic Computations with Hausdorff Continuous Functions
The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006.The set of Hausdorff continuous functions is the largest set of interval valued functions to which the ring structure of the set of continuous real functions can be extended. The paper deals with the automation of the algebraic operations for Hausdorff continuous functions using an ultra- arithmetical approach.
An algorithm for checking Hurwitz stability of K-symmetrizable interval matrices
An Implementation of Vincent's Theorem.
An Interval Arithmetic Algorithm for Multivariate Constrained Global Optimization Using Cord-Slope Forms of Taylor's Expansion
An interval method for nonlinear systems of equations
An iterative algorithm for testing solvability of max-min interval systems
This paper is dealing with solvability of interval systems of linear equations in max-min algebra. Max-min algebra is the algebraic structure in which classical addition and multiplication are replaced by and , where . The notation represents an interval system of linear equations, where and are given interval matrix and interval vector, respectively. We can define several types of solvability of interval systems. In this paper, we define the T4 and T5 solvability and give necessary and...
Ansätze für einen intervallmathematischen bzw. logisch dreiwertigen Aufbau der analytischen Geometrie
Anwendungen des Fixpunktsatzes für Pseudometrische Räume in der Intervallrechnung.
Application of interval arithmetic in the evaluation of transfer capabilities by considering the sources of uncertainty.
Bemerkungen zum Verfahren der koordinatenweisen Suche
In der vorliegenden Arbeit wird das Verfahren der koordinatenweisen Suche mit Hilfe der Intervallarithmetik realisiert. Dadurch ist es möglich, bei speziellen nichtlinearen Optimierungsproblemen alle auftretenden Fehlerarten zu erfaßen, einschliesslich eingangsbedingter Fehler. Vor- und Nachteile werden erläutert sowie Testbeispiele angegeben.
Checking positive definiteness or stability of symmetric interval matrices is NP-hard
It is proved that checking positive definiteness, stability or nonsingularity of all [symmetric] matrices contained in a symmetric interval matrix is NP-hard.
Complexity issues for the symmetric interval eigenvalue problem
We study the problem of computing the maximal and minimal possible eigenvalues of a symmetric matrix when the matrix entries vary within compact intervals. In particular, we focus on computational complexity of determining these extremal eigenvalues with some approximation error. Besides the classical absolute and relative approximation errors, which turn out not to be suitable for this problem, we adapt a less known one related to the relative error, and also propose a novel approximation error....
Componentwise Inclusion and Exclusion Sets for Solutions of Quadratic Equations in Finite Dimensional Spaces.