74 citations · 122 across the 8 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
eess.SY2015★ 1 cited
A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control Certificates
Hadi Ravanbakhsh, Sriram Sankaranarayanan
In this article, the problem of synthesizing switching controllers is considered through the synthesis of a "control certificate". Control certificates include control barrier and…
eess.SY2015
Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems
Hadi Ravanbakhsh, Sriram Sankaranarayanan
We investigate the problem of synthesizing switching controllers for stabilizing continuous-time plants. First, we introduce a class of control Lyapunov functions (CLFs) for switch…
eess.SY2015★ 10 cited
Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties
Hadi Ravanbakhsh, Sriram Sankaranarayanan
We introduce a counter-example guided inductive synthesis (CEGIS) framework for synthesizing continuous-time switching controllers that guarantee reach while stay (RWS) properties…