← Search

Hadi Ravanbakhsh

3 accepted papers

2019

Formal Policy Learning from Demonstrations for Reachability Properties

ICRA 2019poster

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 behavioral specifications such as reaching a target set of states are satisfied. Our approach uses a “counterexample-guided” ite…

Cited by 2SourceScholar
2018

Path-Following through Control Funnel Functions

IROS 2018poster

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 autonomous vehicles. Robustness, in this context, requires our controllers to handle a specified amount of deviation fr…

Cited by 16SourceScholar
2017

Learning Lyapunov (Potential) Functions from Counterexamples and Demonstrations

RSS 2017poster

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 uses a demonstrator that implements a black-box, untrusted strategy presumed to solve the problem of interest, a learn…

Cited by 26SourcePDFScholar