Finding sets of solutions to systems of nonlinear inequalities

The problem of approximating the set of all solutions to a system of nonlinear inequalities is studied. A method based on the concept of nonuniform coverings is proposed. It allows one to obtain an interior and exterior approximation of this set with a prescribed accuracy. The efficiency of the method is demonstrated by determining the workspace of a parallel robot.