Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems.
Hongkai DaiBenoit LandryMarco PavoneRuss TedrakePublished in: CDC (2020)
Keyphrases
- linear systems
- dynamical systems
- sufficient conditions
- neural network
- control theory
- lyapunov function
- linear equations
- asymptotic stability
- artificial neural networks
- coefficient matrix
- state space
- exponential stability
- sparse linear systems
- nonlinear functions
- stability analysis
- hopfield neural network
- interior point methods
- adaptive control
- fuzzy systems
- differential equations
- rule base
- closed loop
- data fusion
- fuzzy logic
- expert systems
- reinforcement learning