FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks.
Alessandro AbateDaniele AhmedAlec EdwardsMirco GiacobbeAndrea PeruffoPublished in: HSCC (2021)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- nonlinear functions
- back propagation
- genetic algorithm
- lyapunov function
- stability analysis
- fuzzy systems
- recurrent neural networks
- dynamical systems
- feed forward
- closed loop
- access control
- self organizing maps
- neural nets
- control scheme
- fuzzy logic
- control theory
- functional programs
- class of nonlinear systems
- neural network model
- sufficient conditions
- formal model
- multi layer
- texture synthesis
- expert systems
- nonlinear dynamics
- learning algorithm