75 citations · 261 across the 31 of their papers we have counts for
3 papers · 2 filters
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…
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…
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…