We demonstrate the equivalence of robust global asymptotic stability (GAS) of the origin and the existence of a smooth Lyapunov function for di$erence inclusions de6ned by upper semicontinuous set-valued maps. Su8cient conditions for robust GAS are given. As an application of these results, we give conditions for robust GAS of di$erence equations de6ned by… (More)