5 papers
Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
Aditya Singh, Aastha Mishra, Manan Tayal +2
Ensuring both performance and safety is critical for autonomous systems operating in real-world environments. While safety filters such as Control Barrier Functions (CBFs) enforce…
Neural Control Barrier Functions from Physics Informed Neural Networks
Shreenabh Agrawal, Manan Tayal, Aditya Singh +1
As autonomous systems become increasingly prevalent in daily life, ensuring their safety is paramount. Control Barrier Functions (CBFs) have emerged as an effective tool for guaran…
CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
Manan Tayal, Aditya Singh, Pushpak Jagtap +1
Control Barrier Functions (CBFs) are a practical approach for designing safety-critical controllers, but constructing them for arbitrary nonlinear dynamical systems remains a chall…
A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
Manan Tayal, Aditya Singh, Shishir Kolathaya +1
As autonomous systems become more ubiquitous in daily life, ensuring high performance with guaranteed safety is crucial. However, safety and performance could be competing objectiv…
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…