Abstract

Time‐invariant nonlinear systems with differentiable motions are considered. The algorithmic necessary and sufficient conditions are established in various forms for one‐shot construction of a Lyapunov function, for asymptotic stability of a compact invariant set and for the exact determination of the asymptotic stability domain of the invariant set.The classical conditions are expressed in terms of existence of a system Lyapunov functions. The conditions of theorems presented herein are expressed via properties of the solution ? to , or of the solution ? to , for arbitrarily selected p?P(S; f) or p?P1(S; f), where families P(S; f) and P1(S; f) are well defined. The equation , or its equivalent , should be solved only for one selection of the function p.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.