Counterexample-guided stabilization of switched systems using control lyapunov functions
Hadi Ravanbakhsh, Sriram Sankaranarayanan · 2015
In this project, we address the problem of synthesizing region-stabilizing controllers for switched systems. The plant model consists of a continuous-time switched system with finitely many switching modes. Our approach searches for a state-feedback that chooses between finitely many switching modes at each time instant: (a) guaranteeing a minimum dwell time between mode changes and (b) region stabilizing to a suitably small set around a given state.