A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks.
Alessandro AbateDaniele AhmedAlec EdwardsMirco GiacobbeAndrea PeruffoPublished in: OVERLAY@GandALF (2021)
Keyphrases
- neural network
- nonlinear functions
- recurrent neural networks
- pattern recognition
- stability analysis
- artificial neural networks
- back propagation
- dynamical systems
- neural nets
- feed forward
- nonlinear dynamics
- fuzzy systems
- fuzzy logic
- multilayer perceptron
- closed loop
- formal methods
- fault diagnosis
- genetic algorithm
- asymptotic stability
- real time
- neural network model
- fuzzy control
- control theory