Counter-Example Guided Synthesis of control Lyapunov functions for switched systems.

Hadi Ravanbakhsh Sriram Sankaranarayanan

Published in: CDC (2015)

Keyphrases

control theory
control system
learning systems
expert systems
intelligent systems
complex systems
control strategies
adaptive control
lyapunov function
real time
nonlinear dynamics
autonomous systems
control method
control algorithm
computer systems
distributed systems
information retrieval