Copertina

CP-NCBF: A Conformal Prediction-based Approach to Synthesize Verified Neural Control Barrier Functions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Tayal, Manan, Singh, Aditya, Jagtap, Pushpak, Kolathaya, Shishir
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Artificial Intelligence Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Stochastic Neural Control Barrier Functions
di: Zhang, Hongchao, et al.
Pubblicazione: (2025)

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

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

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

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

BiRoDiff: Diffusion policies for bipedal robot locomotion on unseen terrains
di: Mothish, GVS, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

Safe Beyond the Horizon: Efficient Sampling-based MPC with Neural Control Barrier Functions
di: Yin, Ji, et al.
Pubblicazione: (2025)

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

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

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

Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach
di: Li, Xiao, et al.
Pubblicazione: (2024)

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

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

CPED-NCBFs: A Conformal Prediction for Expert Demonstration-based Neural Control Barrier Functions
di: MS, Sumeadh, et al.
Pubblicazione: (2025)

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

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

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

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

Estimating Control Barriers from Offline Data
di: Yu, Hongzhan, et al.
Pubblicazione: (2025)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
di: Wang, Chengxiao, et al.
Pubblicazione: (2026)

Stranding Risk for Underactuated Vessels in Complex Ocean Currents: Analysis and Controllers
di: Doering, Andreas, et al.
Pubblicazione: (2023)

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

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

Real-Time Spatiotemporal Tubes for Dynamic Unsafe Sets
di: Das, Ratnangshu, et al.
Pubblicazione: (2025)

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

Maximizing Seaweed Growth on Autonomous Farms: A Dynamic Programming Approach for Underactuated Systems Navigating on Uncertain Ocean Currents
di: Killer, Matthias, et al.
Pubblicazione: (2023)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
di: Lin, Albert, et al.
Pubblicazione: (2023)