75 citations · 261 across the 31 of their papers we have counts for
9 papers · 1 filter
Template-Based Piecewise Affine Regression
Guillaume O. Berger, Sriram Sankaranarayanan
We investigate the problem of fitting piecewise affine functions (PWA) to data. Our algorithm divides the input domain into finitely many polyhedral regions whose shapes are specif…
Formal Policy Learning from Demonstrations for Reachability Properties
Hadi Ravanbakhsh, Sriram Sankaranarayanan, Sanjit A. Seshia
We consider the problem of learning structured, closed-loop policies (feedback laws) from demonstrations in order to control under-actuated robotic systems, so that formal behavior…
Learning Control Lyapunov Functions from Counterexamples and Demonstrations
Hadi Ravanbakhsh, Sriram Sankaranarayanan
We present a technique for learning control Lyapunov-like functions, which are used in turn to synthesize controllers for nonlinear dynamical systems that can stabilize the system,…
A Class of Control Certificates to Ensure Reach-While-Stay for Switched Systems
Hadi Ravanbakhsh, Sriram Sankaranarayanan
In this article, we consider the problem of synthesizing switching controllers for temporal properties through the composition of simple primitive reach-while-stay (RWS) properties…
Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations
Hadi Ravanbakhsh, Sriram Sankaranarayanan
We present a technique for learning control Lyapunov (potential) functions, which are used in turn to synthesize controllers for nonlinear dynamical systems. The learning framework…
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…