75 citations · 261 across the 31 of their papers we have counts for
5 papers · 1 filter
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…
Bernstein Polynomial Relaxations for Polynomial Optimization Problems
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan
In this paper, we examine linear programming (LP) relaxations based on Bernstein polynomials for polynomial optimization problems (POPs). We present a progression of increasingly m…
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…
Stabilization of polynomial dynamical systems using linear programming based on Bernstein polynomials
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan
In this paper, we deal with the problem of synthesizing static output feedback controllers for stabilizing polynomial systems. Our approach jointly synthesizes a Lyapunov function…