13 citations · 13 across the 2 of their papers we have counts for
3 papers
Real-time Funnel Generation for Restricted Motion Planning
Hadi Ravanbakhsh, Forrest Laine, Sanjit A. Seshia
In autonomous systems, a motion planner generates reference trajectories which are tracked by a low-level controller. For safe operation, the motion planner should account for inev…
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh +4
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particu…
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…