A Lyapunov function proof of Poincare's theorem.

Wassim M. Haddad Sergey G. Nersesov VijaySekhar Chellaboina

Published in: ACC (2002)

Keyphrases

lyapunov function
lyapunov stability
interactive theorem proving
sufficient conditions
control method
nonlinear systems
optimal control
neural network
control law
hopfield neural network
tracking error
stability analysis
control system
control strategy
adaptive control
linear matrix inequality