Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers.

Daniele Ahmed Andrea Peruffo Alessandro Abate

Published in: CoRR (2020)

Keyphrases

stability analysis
adaptive control
modulo theories
asymptotic stability
control theory
nonlinear functions
learning algorithm
closed loop
search algorithm
texture synthesis
control scheme
optimal control
sufficient conditions
program synthesis
natural language processing
exponential stability
functional programs