A piecewise-affine approach to the analysis of non-linear control laws for pneumatic systems.