This work explores Lyapunov characterizations of the input-output-to-state stability (ioss) property for nonlinear systems. The notion of ioss is a natural generalization of the standard zero-detectability property used in the linear case. The main contribution of this work is to establish a complete equivalence between the input-output-to-state stability property and the existence of a certain type of smooth Lyapunov function. As corollaries, one shows the existence of "norm-estimators", and obtains characterizations of nonlinear detectability in terms of relative stability and of finite-energy estimates.
We show that any globally asymptotically controllable system on any smooth manifold can be globally stabilized by a state feedback. Since we allow discontinuous feedbacks, we interpret the solutions of our systems in the "sample and hold" sense introduced by Clarke-Ledyaev-Sontag-Subbotin (CLSS). Our work generalizes the CLSS Theorem which is the special case of our result for systems on Euclidean space. We apply our result to the input-to-state stabilization of systems on manifolds relative to actuator errors, under small observation noise.
A construction of a globally asymptotically stable time-invariant system which can be destabilized by some integrable perturbation is given. Besides its intrinsic interest, this serves to provide counterexamples to an open question regarding Lyapunov functions.
This work explores Lyapunov characterizations of the input-output-to-state stability (IOSS) property for nonlinear systems. The notion of IOSS is a natural generalization of the standard detectability property used in the linear case. The main contribution of this work is to establish a complete equivalence between the inputoutput-testate stability property and the existence of a certain type of smooth Lyapunov function.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.