Compositional Verification of Large-Scale Nonlinear Systems via Sums-of-Squares Optimization.
Shen ShenRuss TedrakePublished in: ACC (2018)
Keyphrases
- machine learning
- nonlinear systems
- stability analysis
- adaptive control
- tracking control
- controller design
- learning rate
- dead zone
- nonlinear dynamic systems
- fuzzy systems
- optimization algorithm
- fuzzy model
- learning algorithm
- lyapunov function
- adaptive neural
- control law
- adaptive neural control
- fuzzy control
- computational intelligence
- global optimization
- fuzzy controller
- reinforcement learning
- decision trees
- data mining
- pose estimation
- dynamic environments