Our aim in this paper is to present sufficient conditions for error bounds in terms of Frechet and limiting Frechet subdifferentials in general Banach spaces. This allows us to develop sufficient conditions in terms of the approximate subdifferential for systems of the form (x, y) is an element of C x D, g(x, y, u)=0, where g takes values in an infinite-dimensional space and u plays the role of a parameter. This symmetric structure offers us the choice of imposing conditions either on C or D. We use these results to prove the nonemptiness and weak-star compactness of Fritz-John and Karush-Kuhn-Tucker multiplier sets, to establish the Lipschitz continuity of the value function and to compute its subdifferential and finally to obtain results on local controllability in control problems of nonconvex unbounded differential inclusions.