Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers.
Xia ZengZhengfeng YangLi ZhangXiaochao TangZhenbing ZengZhiming LiuPublished in: AAAI (2023)
Keyphrases
- nonlinear systems
- controller design
- neural network
- adaptive neural
- control law
- tracking control
- adaptive fuzzy
- adaptive control
- fuzzy systems
- nonlinear dynamic systems
- lyapunov function
- inverted pendulum
- stability analysis
- fuzzy control
- control system
- fuzzy model
- nonlinear functions
- closed loop
- learning rate
- sliding mode control
- fuzzy controller
- adaptive neural control
- control scheme
- control strategy
- control method
- control algorithm
- evolutionary computation
- sliding mode
- pattern recognition
- reinforcement learning
- cerebellar model articulation controller
- motion planning
- input output
- fuzzy logic
- genetic algorithm
- machine learning
- optimal control
- soft computing
- tracking error
- back propagation
- neural network controller
- artificial neural networks