75 citations · 86 across the 8 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2021
Predictive Runtime Monitoring for Mobile Robots using Logic-Based Bayesian Intent Inference
Hansol Yoon, Sriram Sankaranarayanan
We propose a predictive runtime monitoring framework that forecasts the distribution of future positions of mobile robots in order to detect and avoid impending property violations…
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…