The theory in this paper is motivated by the problem of aircraft guidance i
n automatic flight control, in which plant models are nonlinear. This leads
us to consider the stable inversion problem, which in turn can be cast as
the problem of finding a bounded solution of a time-varying nonlinear syste
m subject to a bounded input. Under the appropriate assumptions there is a
unique bounded (for all time) continuous solution to this time-varying nonl
inear system in response to the bounded (for all time) input. We show that
there is a (local) stable manifold containing-all bounded continuous soluti
ons for non-negative time, and that all such solutions converge to the afor
ementioned unique solution as time: goes to infinity. Likewise there is a (
local) unstable manifold containing all bounded solutions for non-positive
time and these converge to the unique solution as time goes to minus infini
ty. In fact, the unique solution (cross the time axis) is the intersection
of the stable and unstable manifolds. (C) 1999 John Wiley & Sons, Ltd.