:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Juvvi, Manas Sashank, Kurne, Tushar Dilip, J, Vaishnavi, Kolathaya, Shishir, Jagtap, Pushpak
Format:	Preprint
Published:	2025
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2507.13225
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions
by: Tayal, Manan, et al.
Published: (2025)

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
by: Tayal, Manan, et al.
Published: (2024)

Safe and Performant Controller Synthesis using Gradient-based Model Predictive Control and Control Barrier Functions
by: Singh, Aditya, et al.
Published: (2025)

Learning a Formally Verified Control Barrier Function in Stochastic Environment
by: Tayal, Manan, et al.
Published: (2024)

Real Time Safety of Fixed-wing UAVs using Collision Cone Control Barrier Functions
by: Agarwal, Aryan, et al.
Published: (2024)

Stochastic Neural Control Barrier Functions
by: Zhang, Hongchao, et al.
Published: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

Barrier Functions Inspired Reward Shaping for Reinforcement Learning
by: Nilaksh, Nilaksh, et al.
Published: (2024)

A Collision Cone Approach for Control Barrier Functions
by: Tayal, Manan, et al.
Published: (2024)

Energy-Efficient Quadruped Locomotion with Compliant Feet
by: Pal, Pramod, et al.
Published: (2026)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Fixed time convergence guarantees for Higher Order Control Barrier Functions
by: K, Janani S, et al.
Published: (2025)

Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs)
by: Tayal, Manan, et al.
Published: (2023)

Polygonal Cone Control Barrier Functions (PolyC2BF) for safe navigation in cluttered environments
by: Tayal, Manan, et al.
Published: (2023)

VIP-Loco: A Visually Guided Infinite Horizon Planning Framework for Legged Locomotion
by: Shirwatkar, Aditya, et al.
Published: (2026)

A Co-Design Framework for High-Performance Jumping of a Five-Bar Monoped with Actuator Optimization
by: Mishra, Aastha, et al.
Published: (2026)

Investigating Lagrangian Neural Networks for Infinite Horizon Planning in Quadrupedal Locomotion
by: Kotecha, Prakrut, et al.
Published: (2025)

COMPAct: Computational Optimization and Automated Modular design of Planetary Actuators
by: Singh, Aman, et al.
Published: (2025)

Safety Certification in the Latent space using Control Barrier Functions and World Models
by: Anand, Mehul, et al.
Published: (2025)

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
by: Das, Ratnangshu, et al.
Published: (2025)

Neural Network-based Co-design of Output-Feedback Control Barrier Function and Observer with Input Constraints
by: Jagabathula, Vaishnavi, et al.
Published: (2025)

Data-Driven Physics Embedded Dynamics with Predictive Control and Reinforcement Learning for Quadrupeds
by: Kotecha, Prakrut, et al.
Published: (2026)

Tracking Control of Euler-Lagrangian Systems with Prescribed State, Input, and Temporal Constraints
by: Kashyap, Chidre Shravista, et al.
Published: (2025)

Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
by: Basu, Ahan, et al.
Published: (2025)

Approximation-Free Control Barrier Functions for Prescribed-Time Reach-Avoid of Unknown Systems
by: Sawarkar, Shubham, et al.
Published: (2025)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
by: Das, Ratnangshu, et al.
Published: (2024)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Spatiotemporal Tubes for Probabilistic Temporal Reach-Avoid-Stay Task in Uncertain Dynamic Environment
by: Upadhyay, Siddhartha, et al.
Published: (2025)

MULE: Multi-terrain and Unknown Load Adaptation for Effective Quadrupedal Locomotion
by: Kurva, Vamshi Kumar, et al.
Published: (2025)

PIP-Loco: A Proprioceptive Infinite Horizon Planning Framework for Quadrupedal Robot Locomotion
by: Shirwatkar, Aditya, et al.
Published: (2024)

Real-Time Gait Adaptation for Quadrupeds using Model Predictive Control and Reinforcement Learning
by: Kotecha, Prakrut, et al.
Published: (2025)

DTEA: A Dual-Topology Elastic Actuator Enabling Real-Time Switching Between Series and Parallel Compliance
by: Ramesh, Vishal, et al.
Published: (2026)

Control Barrier Functions in Dynamic UAVs for Kinematic Obstacle Avoidance: A Collision Cone Approach
by: Tayal, Manan, et al.
Published: (2023)

Quantification of Sim2Real Gap via Neural Simulation Gap Function
by: Sangeerth, P, et al.
Published: (2025)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
by: Upadhyay, Siddhartha, et al.
Published: (2025)

Control Barrier Functions for Prescribed-time Reach-Avoid-Stay Tasks using Spatiotemporal Tubes
by: Das, Ratnangshu, et al.
Published: (2025)

Incorporating Social Awareness into Control of Unknown Multi-Agent Systems: A Real-Time Spatiotemporal Tubes Approach
by: Upadhyay, Siddhartha, et al.
Published: (2025)

A Co-Design Framework for Energy-Aware Monoped Jumping with Detailed Actuator Modeling
by: Singh, Aman, et al.
Published: (2025)

MAD-PINN: A Decentralized Physics-Informed Machine Learning Framework for Safe and Optimal Multi-Agent Control
by: Tayal, Manan, et al.
Published: (2025)

Neural Control Barrier Functions from Physics Informed Neural Networks
by: Agrawal, Shreenabh, et al.
Published: (2025)