Formal Synthesis of Lyapunov Neural Networks.
Alessandro AbateDaniele AhmedMirco GiacobbeAndrea PeruffoPublished in: IEEE Control. Syst. Lett. (2021)
Keyphrases
- neural network
- pattern recognition
- sufficient conditions
- nonlinear dynamics
- fuzzy logic
- back propagation
- recurrent neural networks
- asymptotic stability
- stability analysis
- feed forward
- formal methods
- control theory
- dynamical systems
- neural nets
- control scheme
- multi layer
- rule extraction
- lyapunov function
- activation function
- texture synthesis
- fuzzy systems
- control law
- fuzzy neural network
- network architecture
- neural network model
- formal specification
- adaptive control
- real time
- multilayer perceptron
- hopfield neural network
- fault diagnosis
- control system
- genetic algorithm
- functional programs
- class of nonlinear systems