Interval computation, Quantified systems, Linear equations, Interval systems
Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by ∀∃- quantification. The paper deals with the problem of what properties must the coefficient matrix have in order that there is guaranteed an existence of an AE solution. Based on this motivation, a concept of AE regularity is introduced, which implies that the AE solution set is nonempty and the system is AE solvable for every right-hand side. A characterization of AE regularity is discussed, and also various classes of matrices that are implicitly AE regular are investigated. Some of these classes are polynomially decidable, and therefore give an efficient way for checking AE regularity. Eventually, there are also stated open problems related to computational complexity and characterization of AE regularity.
"AE Regularity of Interval Matrices",
Electronic Journal of Linear Algebra,
Volume 33, pp. 137-146.