Copertina

Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lefringhausen, Robert, Hanna, Sami Leon Noel Aziz, August, Elias, Hirche, Sandra
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning-Based Optimal Control with Performance Guarantees for Unknown Systems with Latent States
di: Lefringhausen, Robert, et al.
Pubblicazione: (2023)

Online Bayesian Learning of Agent Behavior in Differential Games
di: Bianchin, Francesco, et al.
Pubblicazione: (2026)

On the Existence of Quadratic Control Lyapunov Functions for Koopman-Operator based Bilinear Systems
di: Hanna, Sami Leon Noel Aziz, et al.
Pubblicazione: (2026)

A Set-Theoretic Robust Control Approach for Linear Quadratic Games with Unknown Counterparts
di: Bianchin, Francesco, et al.
Pubblicazione: (2025)

Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials
di: Wooding, Ben, et al.
Pubblicazione: (2024)

k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics
di: Wooding, Ben, et al.
Pubblicazione: (2026)

Asynchronous Distributed Gaussian Process Regression for Online Learning and Dynamical Systems: Complementary Document
di: Yang, Zewen, et al.
Pubblicazione: (2024)

Learning Koopman-based Stability Certificates for Unknown Nonlinear Systems
di: Zhou, Ruikun, et al.
Pubblicazione: (2024)

Learning-based Parameterized Barrier Function for Safety-Critical Control of Unknown Systems
di: Zhang, Sihua, et al.
Pubblicazione: (2024)

Learning-based Prescribed-Time Safety for Control of Unknown Systems with Control Barrier Functions
di: Huang, Tzu-Yuan, et al.
Pubblicazione: (2024)

Where to Put Safety? Control Barrier Function Placement in Networked Control Systems
di: Beger, Severin, et al.
Pubblicazione: (2026)

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

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

PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems
di: Wooding, Ben, et al.
Pubblicazione: (2024)

Optimal Control of Nonlinear Systems with Unknown Dynamics
di: Hao, Wenjian, et al.
Pubblicazione: (2023)

Uniform Error Bounds for Gaussian Process Regression with Application to Safe Control
di: Lederer, Armin, et al.
Pubblicazione: (2019)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
di: Mulagaleti, Sampath Kumar, et al.
Pubblicazione: (2025)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
di: Oumer, Mohammed Adib, et al.
Pubblicazione: (2025)

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

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
di: Reed, Robert, et al.
Pubblicazione: (2024)

Online Learning for Dynamic Vickrey-Clarke-Groves Mechanism in Unknown Environments
di: Leon, Vincent, et al.
Pubblicazione: (2025)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
di: Badings, Thom, et al.
Pubblicazione: (2024)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
di: Casablanca, Ernesto, et al.
Pubblicazione: (2025)

A Robust Model Predictive Control Method for Networked Control Systems
di: Beger, Severin, et al.
Pubblicazione: (2025)

Reinforcement Learning of Structured Control for Linear Systems with Unknown State Matrix
di: Mukherjee, Sayak, et al.
Pubblicazione: (2020)

Stable Inverse Reinforcement Learning: Policies from Control Lyapunov Landscapes
di: Tesfazgi, Samuel, et al.
Pubblicazione: (2024)

SafeFlow: Safe Robot Motion Planning with Flow Matching via Control Barrier Functions
di: Dai, Xiaobing, et al.
Pubblicazione: (2025)

Decentralized Event-Triggered Online Learning for Safe Consensus of Multi-Agent Systems with Gaussian Process Regression
di: Dai, Xiaobing, et al.
Pubblicazione: (2024)

Data-driven Force Observer for Human-Robot Interaction with Series Elastic Actuators using Gaussian Processes
di: Tesfazgi, Samuel, et al.
Pubblicazione: (2024)

Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks
di: Tesfazgi, Samuel, et al.
Pubblicazione: (2025)

Data-Driven Stochastic Optimal Control in Reproducing Kernel Hilbert Spaces
di: Hoischen, Nicolas, et al.
Pubblicazione: (2024)

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

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

On the Construction of Barrier Certificate: A Dynamic Programming Perspective
di: Chen, Yu, et al.
Pubblicazione: (2025)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
di: Rober, Nicholas, et al.
Pubblicazione: (2023)

Learning of Linear Dynamical Systems as a Non-Commutative Polynomial Optimization Problem
di: Zhou, Quan, et al.
Pubblicazione: (2020)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

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

Identifiable Representation and Model Learning for Latent Dynamic Systems
di: Zhang, Congxi, et al.
Pubblicazione: (2024)

Learning Barrier-Certified Polynomial Dynamical Systems for Obstacle Avoidance with Robots
di: Schonger, Martin, et al.
Pubblicazione: (2024)