Formal Control Synthesis for Stochastic Neural Network Dynamic Models.
Steven AdamsMorteza LahijanianLuca LaurentiPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- dynamic model
- neural network
- neural controller
- controller design
- experimental data
- control scheme
- robot manipulators
- reduced order model
- adaptive neural
- multiple models
- neural network controller
- control method
- feed forward
- artificial neural networks
- back propagation
- control system
- program synthesis
- discrete event
- control policy
- sliding mode control
- formal specification
- control policies
- neural model
- network architecture
- neural nets
- recurrent neural networks
- pattern recognition
- genetic algorithm