  In this work, we propose novel method for certifying if a given set of vertex
linear systems constitute a linear difference inclusion for a nonlinear system.
The method relies on formulating the verification of the inclusion as an
optimization problem in a novel manner. The result is a Yes/No certificate. We
illustrate how the method can be useful in obtaining less conservative linear
enclosures for nonlinear systems.
