Login / Signup
Counter-example guided inductive synthesis of control Lyapunov functions for uncertain systems.
Daniele Masti
Filippo Fabiani
Giorgio Gnecco
Alberto Bemporad
Published in:
CoRR (2023)
Keyphrases
</>
robust stability
control strategies
mechanical systems
adaptive control
control system
control theory
machine learning
inductive learning
functional programs
real time control
complex systems
distributed systems
control strategy
dynamical systems
autonomous systems
management system
expert systems