75 citations · 261 across the 31 of their papers we have counts for
4 papers · 1 filter
Mixed-integer bilevel representability
Amitabh Basu, Christopher Thomas Ryan, Sriram Sankaranarayanan
We study the representability of sets that admit extended formulations using mixed-integer bilevel programs. We show that feasible regions modeled by continuous bilevel constraints…
Path-Following through Control Funnel Functions
Hadi Ravanbakhsh, Sina Aghli, Christoffer Heckman +1
We present an approach to path following using so-called control funnel functions. Synthesizing controllers to "robustly" follow a reference trajectory is a fundamental problem for…
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,…
Can cut generating functions be good and efficient?
Amitabh Basu, Sriram Sankaranarayanan
Making cut generating functions (CGFs) computationally viable is a central question in modern integer programming research. One would like to find CGFs that are simultaneously good…