LMI-based stability tests for LPV and switched discrete-time linear systems through redundant equations