A Necessary and Sufficient Condition for Bounded-Input Bounded-State Stability of Nonlinear Systems (Q4507464)

The authors investigate the bounded-input bounded-state stability of nonlinear nonautonomous control systems. Namely the trajectory of the control system is bounded by a function which depends only on the initial condition and the \(\mathbb{L}^\infty\)-norm of the associated control. The main result of the paper consists in a characterization of the above stability property through the existence of possibly discontinuous -- Lyapunov function. In the case of control systems, with locally bounded and locally Lipschitz right-hand side, the authors prove that the above Lyapunov function is upper-semicontinuous. At the end of the paper, the author note that the monotonicity property of the above nonsmooth Lyapunov function can be characterized by a partial differential inequality written in terms of contingent epiderivatives.