Buchumschlag

Sample Efficient Certification of Discrete-Time Control Barrier Functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mulagaleti, Sampath Kumar, Del Prete, Andrea
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Systems and Control Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Learning Quasi-LPV Models and Robust Control Invariant Sets with Reduced Conservativeness
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2025)

Combined Learning of Linear Parameter-Varying Models and Robust Control Invariant Sets
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2024)

A Regularization and Active Learning Method for Identification of Quasi Linear Parameter Varying Systems
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2025)

Dual MPC for quasi-Linear Parameter Varying systems
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2026)

Parameter Dependent Robust Control Invariant Sets for LPV Systems with Bounded Parameter Variation Rate
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2023)

Data-Driven Permissible Safe Control with Barrier Certificates
von: Mazouz, Rayan, et al.
Veröffentlicht: (2024)

Robust Adaptive Discrete-Time Control Barrier Certificate
von: Liu, Changrui, et al.
Veröffentlicht: (2025)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
von: Mandal, Udayan, et al.
Veröffentlicht: (2024)

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

Zero-Shot, Safe and Time-Efficient UAV Navigation via Potential-Based Reward Shaping, Control Lyapunov and Barrier Functions
von: Naeem, Ashik Abrar, et al.
Veröffentlicht: (2026)

Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
von: Lefringhausen, Robert, et al.
Veröffentlicht: (2025)

Improved Sample Complexity of Imitation Learning for Barrier Model Predictive Control
von: Pfrommer, Daniel, et al.
Veröffentlicht: (2024)

Provably Safe Generative Sampling with Constricting Barrier Functions
von: Gadginmath, Darshan, et al.
Veröffentlicht: (2026)

On Piecewise Quadratic Terminal Costs for MPC
von: Mulagaleti, Sampath Kumar, et al.
Veröffentlicht: (2026)

Efficient Configuration-Constrained Tube MPC via Variables Restriction and Template Selection
von: Badalamenti, Filippo, et al.
Veröffentlicht: (2025)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
von: Schön, Oliver, et al.
Veröffentlicht: (2024)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
von: Castañeda, Fernando, et al.
Veröffentlicht: (2022)

Response-Aware Risk-Constrained Control Barrier Function With Application to Vehicles
von: Liao, Qijun, et al.
Veröffentlicht: (2026)

Mutual Information Optimal Control of Discrete-Time Linear Systems
von: Enami, Shoju, et al.
Veröffentlicht: (2025)

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
von: Wang, Zhuoyuan, et al.
Veröffentlicht: (2024)

Neural Network-assisted Interval Reachability for Systems with Control Barrier Function-Based Safe Controllers
von: Ajeyemi, Damola, et al.
Veröffentlicht: (2025)

Learning Local Control Barrier Functions for Hybrid Systems
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
von: Compton, William D., et al.
Veröffentlicht: (2024)

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations
von: Lindemann, Lars, et al.
Veröffentlicht: (2021)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
von: Xiao, Wei, et al.
Veröffentlicht: (2023)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
von: Hu, Hanjiang, et al.
Veröffentlicht: (2024)

A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
von: Damare, Amol, et al.
Veröffentlicht: (2022)

Learning Performance-Oriented Control Barrier Functions Under Complex Safety Constraints and Limited Actuation
von: Manda, Lakshmideepakreddy, et al.
Veröffentlicht: (2024)

Safe Reach Set Computation via Neural Barrier Certificates
von: Abate, Alessandro, et al.
Veröffentlicht: (2024)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
von: Wang, Chengxiao, et al.
Veröffentlicht: (2026)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
von: Vertovec, Nikolaus, et al.
Veröffentlicht: (2025)

Learning Locally Interacting Discrete Dynamical Systems: Towards Data-Efficient and Scalable Prediction
von: Kang, Beomseok, et al.
Veröffentlicht: (2024)

Configuration-Constrained Tube MPC for Tracking
von: Badalamenti, Filippo, et al.
Veröffentlicht: (2024)

Decomposing Control Lyapunov Functions for Efficient Reinforcement Learning
von: Lopez, Antonio, et al.
Veröffentlicht: (2024)

Verification and Synthesis of Discrete-Time Control Barrier Functions
von: Shakhesi, Erfan, et al.
Veröffentlicht: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
von: Vaisi, Goli, et al.
Veröffentlicht: (2025)

Active Learning of Discrete-Time Dynamics for Uncertainty-Aware Model Predictive Control
von: Saviolo, Alessandro, et al.
Veröffentlicht: (2022)

Real-Time Retargeting Using Controllability Boundary for Chandrayaan-3 Lunar Landing
von: Kumar, Suraj, et al.
Veröffentlicht: (2026)