4 citations · 4 across the 4 of their papers we have counts for
4 papers
Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
Manan Tayal, Aditya Singh, Pushpak Jagtap +1
In modern robotics, addressing the lack of accurate state space information in real-world scenarios has led to a significant focus on utilizing visuomotor observation to provide sa…
Learning a Formally Verified Control Barrier Function in Stochastic Environment
Manan Tayal, Hongchao Zhang, Pushpak Jagtap +2
Safety is a fundamental requirement of control systems. Control Barrier Functions (CBFs) are proposed to ensure the safety of the control system by constructing safety filters or s…
A Collision Cone Approach for Control Barrier Functions
Manan Tayal, Bhavya Giri Goswami, Karthik Rajgopal +5
This work presents a unified approach for collision avoidance using Collision-Cone Control Barrier Functions (CBFs) in both ground (UGV) and aerial (UAV) unmanned vehicles. We prop…
Collision Cone Control Barrier Functions: Experimental Validation on UGVs for Kinematic Obstacle Avoidance
Bhavya Giri Goswami, Manan Tayal, Karthik Rajgopal +2
Autonomy advances have enabled robots in diverse environments and close human interaction, necessitating controllers with formal safety guarantees. This paper introduces an experim…