Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems.
Shen ShenRuss TedrakePublished in: CDC (2020)
Keyphrases
- nonlinear systems
- stability analysis
- adaptive control
- tracking control
- controller design
- fuzzy systems
- learning rate
- adaptive neural
- fuzzy model
- fuzzy control
- lyapunov function
- fuzzy controller
- control law
- nonlinear dynamic systems
- adaptive neural control
- neural network
- least squares
- control system
- artificial intelligence