:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Mulagaleti, Sampath Kumar, Del Prete, Andrea
Format:	Preprint
Published:	2025
Subjects:	Systems and Control Machine Learning
Online Access:	https://arxiv.org/abs/2509.03899
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Dual MPC for quasi-Linear Parameter Varying systems
by: Mulagaleti, Sampath Kumar, et al.
Published: (2026)

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

Data-Driven Permissible Safe Control with Barrier Certificates
by: Mazouz, Rayan, et al.
Published: (2024)

Robust Adaptive Discrete-Time Control Barrier Certificate
by: Liu, Changrui, et al.
Published: (2025)

On Piecewise Quadratic Terminal Costs for MPC
by: Mulagaleti, Sampath Kumar, et al.
Published: (2026)

Formally Verifying Deep Reinforcement Learning Controllers with Lyapunov Barrier Certificates
by: Mandal, Udayan, et al.
Published: (2024)

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

Efficient Configuration-Constrained Tube MPC via Variables Restriction and Template Selection
by: Badalamenti, Filippo, et al.
Published: (2025)

Provably Safe Generative Sampling with Constricting Barrier Functions
by: Gadginmath, Darshan, et al.
Published: (2026)

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

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

Improved Sample Complexity of Imitation Learning for Barrier Model Predictive Control
by: Pfrommer, Daniel, et al.
Published: (2024)

Configuration-Constrained Tube MPC for Tracking
by: Badalamenti, Filippo, et al.
Published: (2024)

Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions
by: Castañeda, Fernando, et al.
Published: (2022)

Response-Aware Risk-Constrained Control Barrier Function With Application to Vehicles
by: Liao, Qijun, et al.
Published: (2026)

Mutual Information Optimal Control of Discrete-Time Linear Systems
by: Enami, Shoju, et al.
Published: (2025)

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

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

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
by: Wang, Zhuoyuan, et al.
Published: (2024)

Learning Local Control Barrier Functions for Hybrid Systems
by: Yang, Shuo, et al.
Published: (2024)

Learning for Layered Safety-Critical Control with Predictive Control Barrier Functions
by: Compton, William D., et al.
Published: (2024)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Safe Neural Control for Non-Affine Control Systems with Differentiable Control Barrier Functions
by: Xiao, Wei, et al.
Published: (2023)

Safe Reach Set Computation via Neural Barrier Certificates
by: Abate, Alessandro, et al.
Published: (2024)

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

Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations
by: Lindemann, Lars, et al.
Published: (2021)

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

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
by: Edwards, Alec, et al.
Published: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
by: Edwards, Alec, et al.
Published: (2023)

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

Learning Locally Interacting Discrete Dynamical Systems: Towards Data-Efficient and Scalable Prediction
by: Kang, Beomseok, et al.
Published: (2024)

Decomposing Control Lyapunov Functions for Efficient Reinforcement Learning
by: Lopez, Antonio, et al.
Published: (2024)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions
by: Vaisi, Goli, et al.
Published: (2025)

Active Learning of Discrete-Time Dynamics for Uncertainty-Aware Model Predictive Control
by: Saviolo, Alessandro, et al.
Published: (2022)

Verification and Synthesis of Discrete-Time Control Barrier Functions
by: Shakhesi, Erfan, et al.
Published: (2025)