Robust simulation and nonlinear performance

Robust simulation, defined as the simulation of sets, allows the computation of a system´s global properties. By simulating entire sets, instead of individual points, performance guarantees can made. While exact algorithms for robust simulation are computationally prohibitive, reasonable approximations which preserve performance guarantees exist. An approximate solution, which provides an upper bound on performance, is tested on a large number of systems. In general, the upper bound is close to the best lower bound computed by search. Furthermore, when the bounds differ, several techniques exist to improve the upper bound