Outer Bounds for the Parametric Controllable Solution Set with Linear Shape
Evgenija D. Popova · Lecture notes in computer science · 2016
We consider linear algebraic equations, where the elements of the matrix and of the right-hand side vector are linear functions of interval parameters, and their parametric AE -solution sets, which are defined by universal and existential quantifiers for the parameters. We present how some sufficient conditions for a parametric AE -solution set to have linear boundary can be exploited for obtaining sharp outer bounds of that parametric AE -solution set. For a parametric controllable solution set having linear boundary we present a numerical method for outer interval enclosure of the solution set. The new method has better properties than some other methods available so far.