Existence results for ϕ-Laplacian Dirichlet BVP of differential inclusions with application to control theory