74 citations · 122 across the 8 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
eess.SY2018
Inductive Certificate Synthesis for Control Design
Hadi Ravanbakhsh
The focus of this thesis is developing a framework for designing correct-by-construction controllers using control certificates. We use nonlinear dynamical systems to model the phy…
cs.RO2018
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…
eess.SY2018★ 74 cited
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,…