Local solvability of control systems with mixed constraints

We analyze the local solvability of a control system with mixed constraints and control constraints. We obtain a sufficient condition for the local solvability of the control system under the assumption of smoothness and 2-regularity of the mapping g specifying the mixed constraints. For the case in which the mapping g is not smooth, a sufficient condition for the local solvability is obtained under the assumption of coverability of g.