Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems.

Hadi Ravanbakhsh Sriram Sankaranarayanan

Published in: CoRR (2015)

Keyphrases

control theory
neural network
program synthesis
adaptive control
retrieval systems
mechanical systems
complex systems
computer systems
intelligent systems
learning systems
control strategy
dynamic model
nonlinear systems
chaotic systems
real time control
expert systems
data sets