Formalization of the interval circuit analysis

General problems of the interval circuit analysis theory are considered. Quantifier interpretation of the interval circuit parameters in the analysis and diagnosis problems is analysed. The rules of the applied interval problems are formalised. As applied to various problem definition of the circuit analysis and diagnosis two kind of the interval variable are introduced, which are associated with universal quantifier and existential quantifier. The quantifier description of the problem solution set is considered. Formal solution set, united solution set, tolerable solution set, controllable solution set are considered. The example is given.