A piecewise-polynomial approach to the stability analysis of non-linear switching controllers in presence of sliding modes with application to pneumatic systems.