Reserve of Characteristic Inclusion as Recognizing Functional for Interval Linear Systems
Irene A. Sharaya, Sergey P. Shary · Lecture notes in computer science · 2016
The paper considers the interval linear inclusion $${\varvec{C}}x\subseteq {\varvec{d}}$$ in the Kaucher interval arithmetic. We introduce a quantitative measure of its fulfillment, called “reserve”, and investigate its properties and application. We show that the reserve proves useful in the study of AE-solutions and quantifier solutions to interval linear problems. In particular, using the reserve can help to recognize position of a point with respect to the solution set, emptiness of the solution set and of its interior, etc.