A new pruning test for parametric interval linear systems

Abstrakt

We deal with the weak solution set of parametric interval linear systems. We adopt the branch-and-prune SIVIA algorithm to obtain an outer approximation of the weak solution set and, if possible, also an inner approximation.

We propose a new pruning test, based on the fact that solvability of a linear system can be viewed as a zonotope membership problem. The proposed test works efficiently in its full strength especially when pruning infeasible boxes.

Klíčová slova

• Parametric interval linear systems
• Branch-and-prune
• Zonotope