Summary: We consider two-point boundary value problems for second-order differential inclusion. Using the Leray-Schauder alternative theorem, we prove existence theorems under various sets of hypotheses for both the convex and nonconvex problems. A feedback control system is also considered.