摘要

Consider a closed subset K subset of R-n and f : [0, T] x R-n x U -> R-n, where U is a complete separable metric space. We associate to these data the control system under a state constraint {x '(t) = f(t,x(t), u(t)), u(t) is an element of U a.e in [0, T] x(t) is an element of K for all t is an element of [0,T) x(u) = x(0). When the boundary of K is smooth, then an inward pointing condition guarantees that under standard assumptions on f (measurable in t, Lipschitz in x, continuous in u) the sets of solutions to the above system depend on the initial state x 0 in a Lipschitz way. This follows from the so-called Neighboring Feasible Trajectories (NFT) theorems. Some recent counterexamples imply that NFT theorems are not valid when f is discontinuous in time and K is a finite intersection of sets with smooth boundaries, that is in the presence of multiple state constraints. In this paper we prove that for multiple state constraints the inward pointing condition yields local Lipschitz dependence of solution sets on the initial states from the interior of K. Furthermore we relax the usual inward pointing condition. The novelty of our approach lies in an application of a generalized inverse mapping theorem to investigate feasible solutions of control systems. Our results also imply a viability theorem without convexity of right-hand sides for initial states taken in the interior of K.

  • 出版日期2012-1