Buchumschlag

Stochastic Neural Control Barrier Functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Zhang, Hongchao, Tayal, Manan, Cox, Jackson, Jagtap, Pushpak, Kolathaya, Shishir, Clark, Andrew
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Robotics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

Semi-Supervised Safe Visuomotor Policy Synthesis using Barrier Certificates
von: Tayal, Manan, et al.
Veröffentlicht: (2024)

Learning a Formally Verified Control Barrier Function in Stochastic Environment
von: Tayal, Manan, et al.
Veröffentlicht: (2024)

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

Safe Legged Locomotion using Collision Cone Control Barrier Functions (C3BFs)
von: Tayal, Manan, et al.
Veröffentlicht: (2023)

Polygonal Cone Control Barrier Functions (PolyC2BF) for safe navigation in cluttered environments
von: Tayal, Manan, et al.
Veröffentlicht: (2023)

Neural Control Barrier Functions from Physics Informed Neural Networks
von: Agrawal, Shreenabh, et al.
Veröffentlicht: (2025)

BiRoDiff: Diffusion policies for bipedal robot locomotion on unseen terrains
von: Mothish, GVS, et al.
Veröffentlicht: (2024)

A Physics-Informed Machine Learning Framework for Safe and Optimal Control of Autonomous Systems
von: Tayal, Manan, et al.
Veröffentlicht: (2025)

Fixed time convergence guarantees for Higher Order Control Barrier Functions
von: K, Janani S, et al.
Veröffentlicht: (2025)

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

A Collision Cone Approach for Control Barrier Functions
von: Tayal, Manan, et al.
Veröffentlicht: (2024)

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

Safety Certification in the Latent space using Control Barrier Functions and World Models
von: Anand, Mehul, et al.
Veröffentlicht: (2025)

Verification and Synthesis of Compatible Control Lyapunov and Control Barrier Functions
von: Dai, Hongkai, et al.
Veröffentlicht: (2024)

Quantification of Sim2Real Gap via Neural Simulation Gap Function
von: Sangeerth, P, et al.
Veröffentlicht: (2025)

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

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
von: Zhang, Hongchao, et al.
Veröffentlicht: (2024)

V-OCBF: Learning Safety Filters from Offline Data via Value-Guided Offline Control Barrier Functions
von: Tayal, Mumuksh, et al.
Veröffentlicht: (2025)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
von: Zhang, Hongchao, et al.
Veröffentlicht: (2024)

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)

Neural Control Barrier Functions for Signal Temporal Logic Specifications with Input Constraints
von: Jagabathula, Vaishnavi, et al.
Veröffentlicht: (2025)

Smooth Spatiotemporal Tube Synthesis for Prescribed-Time Reach-Avoid-Stay Control
von: Upadhyay, Siddhartha, et al.
Veröffentlicht: (2025)

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

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

Sliding Mode Control for Safe Trajectory Tracking with Moving Obstacles Avoidance: Experimental Validation on Planar Robots
von: Sawarkar, Shubham, et al.
Veröffentlicht: (2026)

Temporal Reach-Avoid-Stay Control for Differential Drive Systems via Spatiotemporal Tubes
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)

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

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)

Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems
von: Das, Ratnangshu, et al.
Veröffentlicht: (2024)

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

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

Periodic Event-Triggered Prescribed Time Control of Euler-Lagrange Systems under State and Input Constraints
von: Kashyap, Chidre Shravista, et al.
Veröffentlicht: (2025)

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

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
von: Zhang, Hongchao, et al.
Veröffentlicht: (2026)

Barrier Functions Inspired Reward Shaping for Reinforcement Learning
von: Nilaksh, Nilaksh, et al.
Veröffentlicht: (2024)

Control Barrier Functions for the Full Class of Signal Temporal Logic Tasks using Spatiotemporal Tubes
von: Das, Ratnangshu, et al.
Veröffentlicht: (2025)

Safe Control for Nonlinear Systems Under Faults and Attacks Via Control Barrier Functions
von: Zhang, Hongchao, et al.
Veröffentlicht: (2022)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
von: Mazouz, Rayan, et al.
Veröffentlicht: (2022)