CURRENT LINES OF FORMALIZATION OF THE PROBLEMS OF INTERVAL ANALYSIS OF ELECTRICAL CIRCUITS
The questions of quantifier interpretation of interval description of the parameters and modes of electric circuits based on modern main stream in the mathematical theory of interval analysis are considered. An example is given.
Keywords: electrical circuits, interval analysis, quantified formalizations.