Formal Control Synthesis for Stochastic Neural Network Dynamic Models.
Steven AdamsMorteza LahijanianLuca LaurentiPublished in: CoRR (2022)
Keyphrases
- dynamic model
- neural network
- neural controller
- control scheme
- experimental data
- robot manipulators
- controller design
- artificial neural networks
- neural network controller
- control system
- reduced order model
- control signals
- adaptive neural
- pattern recognition
- formal model
- fuzzy logic
- control method
- back propagation
- monte carlo
- multiple models
- hopfield neural network
- recurrent neural networks
- parameter estimates
- inverted pendulum
- adaptive fuzzy
- program synthesis
- fault diagnosis
- control law
- network architecture
- prediction model
- genetic algorithm