2 citations · 3 across the 8 of their papers we have counts for
4 papers
Certifiably-correct Control Policies for Safe Learning and Adaptation in Assistive Robotics
Keyvan Majd, Geoffrey Clark, Tanmay Khandait +4
Guaranteeing safety in human-centric applications is critical in robot learning as the learned policies may demonstrate unsafe behaviors in formerly unseen scenarios. We present a…
Timed Partial Order Inference Algorithm
Kandai Watanabe, Bardh Hoxha, Danil Prokhorov +4
In this work, we propose the model of timed partial orders (TPOs) for specifying workflow schedules, especially for modeling manufacturing processes. TPOs integrate partial orders…
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments
Amir Salimi Lafmejani, Spring Berman, Georgios Fainekos
In this paper, we present a decentralized control approach based on a Nonlinear Model Predictive Control (NMPC) method that employs barrier certificates for safe navigation of mult…
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi +2
In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on nois…