Lyapunov function proof of Poincaré's theorem.
Wassim M. HaddadSergey G. NersesovVijaySekhar ChellaboinaPublished in: Int. J. Syst. Sci. (2004)
Keyphrases
- lyapunov function
- lyapunov stability
- interactive theorem proving
- sufficient conditions
- nonlinear systems
- control method
- optimal control
- neural network
- hopfield neural network
- control law
- finite dimensional
- tracking error
- adaptive control
- infinite dimensional
- linear matrix inequality
- control strategy
- stability analysis
- evolutionary algorithm
- fuzzy control
- fuzzy systems
- fixed point
- dynamic programming
- control system