Buchumschlag

Learning a Formally Verified Control Barrier Function in Stochastic Environment

Fuente: arXiv

Gespeichert in:

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

Ähnliche Einträge

Stochastic Neural Control Barrier Functions
von: Zhang, Hongchao, et al.
Veröffentlicht: (2025)

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)

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)

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

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

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

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

MAD-PINN: A Decentralized Physics-Informed Machine Learning Framework for Safe and Optimal Multi-Agent Control
von: Tayal, Manan, 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)

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

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

Signal Temporal Logic Compliant Co-design of Planning and Control
von: Juvvi, Manas Sashank, 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)

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

RISE: Robust Imitation through Stochastic Encoding
von: Tayal, Mumuksh, et al.
Veröffentlicht: (2025)

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

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

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

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

Prescribed Performance Control of Unknown Euler-Lagrange Systems Under Input Constraints
von: Das, Ratnangshu, 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)

STRIDE: Structured Lagrangian and Stochastic Residual Dynamics via Flow Matching
von: Kotecha, Prakrut, et al.
Veröffentlicht: (2026)

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

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

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

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

MULE: Multi-terrain and Unknown Load Adaptation for Effective Quadrupedal Locomotion
von: Kurva, Vamshi Kumar, et al.
Veröffentlicht: (2025)

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

VIP-Loco: A Visually Guided Infinite Horizon Planning Framework for Legged Locomotion
von: Shirwatkar, Aditya, et al.
Veröffentlicht: (2026)

Learning Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks using Physics-Informed Neural Networks
von: Basu, Ahan, 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)

Investigating Lagrangian Neural Networks for Infinite Horizon Planning in Quadrupedal Locomotion
von: Kotecha, Prakrut, et al.
Veröffentlicht: (2025)

Discrete time model predictive control for humanoid walking with step adjustment
von: Joshi, Vishnu, et al.
Veröffentlicht: (2024)

COMPAct: Computational Optimization and Automated Modular design of Planetary Actuators
von: Singh, Aman, et al.
Veröffentlicht: (2025)