A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets.
Let \({\mathbf A}= ({\mathbf a}_{ij})\) be an \(n\times n\) interval matrix and \({\mathbf b}= ({\mathbf b}_k)\) be an interval vector with \(n\) cmponents. Assume that with each interval \({\mathbf a}_{ij}\), \({\mathbf b}_k\) there is associated a quantifier \(\alpha_{ij}\), \(\beta_k\in \{\forall,\exists\}\). Denote by \(\{\gamma_k\mid k=1,\dots, p\}\), \(\{\overline\gamma_k\mid k=1,\dots, q\}\) and \(\{\delta_k\mid k= 1,\dots, s\}\), \(\{\overline\delta_k\mid k= 1,\dots, t\}\), respectively, the set of indices \((i, j)\) belonging to \(\alpha_{ij}= \forall\), \(\alpha_{ij}=\exists\), and set of indices \(k\) belonging to \(\beta_k= \forall\), \(\beta+k= \exists\), respectively. Then the AE-solution set \(\Xi_{\alpha\beta}({\mathbf A},{\mathbf b})\) is defined by \[ \begin{multlined} \Xi_{\alpha\beta}({\mathbf A},{\mathbf b})= \{x\in\mathbb{R}^n\mid (\forall a_{\gamma_1}\in{\mathbf a}_{\gamma_1})\cdots(\forall a_{\gamma_p}\in{\mathbf a}_{\gamma_p})(\forall b_{\delta_1}\in{\mathbf b}_{\delta_1})\cdots(\forall b_{\delta_s}\in{\mathbf b}_{\delta_s})\\ (\exists a_{\overline\gamma_1}\in{\mathbf a}_{\overline\gamma_1})\cdots(\exists a_{\overline\gamma_q}\in {\mathbf a}_{\overline\gamma_q})(\exists b_{\overline\delta_1}\cdots (\exists b_{\overline\delta_t}\in{\mathbf b}_{\overline\delta_t})(Ax= b\}.\end{multlined} \] With \({\mathbf A}\), \({\mathbf b}\), \((\alpha_{ij})\), \((\beta_k)\) there are uniquely associated some characteristic interval matrix \(\widetilde{\mathbf A}\) and some characteristic interval vector \(\widetilde{\mathbf b}\) with entries which may be improper intervals, i.e., intervals \([\underline c, \overline c]\) with \(\underline c\geq \overline c\). Using an appropriate extended interval arithmetic auxiliary interval equations are derived for \(\widetilde{\mathbf A}\), \(\widetilde{\mathbf b}\) whose algebraic solutions \({\mathbf x}= [\underline x, \overline x]\) are inner or outer estimates of \(\Xi_{\alpha\beta}({\mathbf A}, {\mathbf b})\) if \(\underline x\leq\overline x\). Replacing \(\widetilde{\mathbf A}\) by the matric product \(\widetilde{\mathbf A}C\) (= right-preconditioning) with some invertible real \(n\times n\) matrix \(C\) and solving the systems for the corresponding characteristic quantities yields inner and outer enclosures of \(\Xi_{\alpha\beta}({\mathbf A},{\mathbf b})\) in the form of parallelepipeds, provided that appropriate additional conditions hold. For \(C\) being the midpoint inverse of \({\mathbf A}\) results on the quality of these enclosures are given. In some cases they turn out to be superior to those being discussed in the literature up to now. Numerical experiments conclude the paper.
- A new technique in systems analysis under interval uncertainty and ambiguity
- Algebraic approach in the ``outer problem for interval linear equations
- Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of Kaucher arithmetic
- Formal solution to systems of interval linear or non-linear equations
- scientific article; zbMATH DE number 3653430 (Why is no real title available?)
- scientific article; zbMATH DE number 3738830 (Why is no real title available?)
- scientific article; zbMATH DE number 852338 (Why is no real title available?)
- Interval estimations of solution sets to real-valued systems of linear or non-linear equations
- Interval Methods for Systems of Equations
- Modal intervals
- Multiplication distributivity of proper and improper intervals
- On Shary's Algebraic Approach for Linear Interval Equations
- On the fixed points of the interval function \([f]([x])=[A][x]+[b]\)
- Outer estimation of generalized solution sets to interval linear systems
- Overestimation in Linear Interval Equations
- On preconditioning and solving an extended class of interval parametric linear systems
- AE solutions to interval linear systems over max-plus algebra
- On the unbounded parametric tolerable solution set
- Thick set inversion
- On sufficient conditions of the injectivity: Development of a numerical test algorithm via interval analysis
- Extension of the Hansen-Bliek method to right-quantified linear systems
- Extended gradual interval (EGI) arithmetic and its application to gradual weighted averages
- Inner estimation of the parametric tolerable solution set
- Farkas-type conditions of general interval linear systems for AE solvability
- AE solutions and AE solvability to general interval linear systems
- On approximation of the best case optimal value in interval linear programming
- Maximal inner boxes in parametric \textit{AE}-solution sets with linear shape
- AE solutions to two-sided interval linear systems over max-plus algebra
- Outer enclosures to the parametric \(AE\) solution set
- A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
This page was built for publication: A right-preconditioning process for the formal-algebraic approach to inner and outer estimation of AE-solution sets.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2568634)
