Automated Formal Synthesis of Lyapunov Neural Networks.
Alessandro AbateDaniele AhmedMirco GiacobbeAndrea PeruffoPublished in: CoRR (2020)
Keyphrases
- neural network
- pattern recognition
- semi automated
- stability analysis
- sufficient conditions
- back propagation
- fuzzy systems
- artificial neural networks
- fuzzy logic
- recurrent neural networks
- neural network model
- lyapunov function
- program synthesis
- automated analysis
- nonlinear systems
- dynamical systems
- fully automated
- multilayer perceptron
- real time
- self organizing maps
- genetic algorithm
- asymptotic stability
- nonlinear dynamics
- class of nonlinear systems
- rule extraction
- adaptive control
- formal specification
- formal model
- closed loop