Constrained controllability of second order semilinear systems

In the paper finite-dimensional dynamical control systems described by second order semilinear stationary ordinary differential state equations are considered. Using a generalized open mapping theorem, sufficient conditions for constrained local controllability in a given time interval are formulated and proved. These conditions require verification of constrained global controllability of the associated linear first-order dynamical control system. It is generally assumed, that the values of admissible controls are in a convex and closed cone with vertex at zero. Moreover, several remarks and comments on the existing results for controllability of semilinear dynamical control systems are also presented. Finally, simple numerical example which illustrates theoretical considerations is also given. It should be pointed out, that the results given in the paper extend for the case of semilinear second-order dynamical systems constrained controllability conditions, which were previously known only for linear second-order systems.