Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

Daniele Ahmed Andrea Peruffo Alessandro Abate

Published in: TACAS (1) (2020)

Keyphrases

modulo theories
closed loop
stability analysis
sufficient conditions
adaptive control
semi automated
functional programs
neural network
basis functions
sat solvers
fully automated
control scheme
nonlinear systems
nonlinear functions