Derived cones to reachable sets of discrete inclusions

Abstract

We consider a discrete inclusion and we prove that the reachable set of a certain variational discrete inclusion is a derived cone in the sense of Hestenes to the reachable set of the discrete inclusion. This result allows to obtain sufficient conditions for local controllability along a reference trajectory and a new proof of maximum principle for an optimization problem given by a discrete inclusion with end point constraints.