Copertina

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Reed, Robert, Lahijanian, Morteza
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Systems and Control Machine Learning
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Promises of Deep Kernel Learning for Control Synthesis
di: Reed, Robert, et al.
Pubblicazione: (2023)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
di: Amorese, Peter, et al.
Pubblicazione: (2025)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Verification of Unknown Dynamical Systems via Autoencoder Latent Space
di: Reed, Robert, et al.
Pubblicazione: (2025)

Shielded Deep Reinforcement Learning for Complex Spacecraft Tasking
di: Reed, Robert, et al.
Pubblicazione: (2024)

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

Provably Safe Motion Planning Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2026)

Approximate Model-Based Shielding for Safe Reinforcement Learning
di: Goodall, Alexander W., et al.
Pubblicazione: (2023)

Learning Contextual Runtime Monitors for Safe AI-Based Autonomy
di: Luque-Cerpa, Alejandro, et al.
Pubblicazione: (2026)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
di: Skovbekk, John, et al.
Pubblicazione: (2021)

Safely Learning Dynamical Systems
di: Ahmadi, Amir Ali, et al.
Pubblicazione: (2023)

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

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
di: Amorese, Peter, et al.
Pubblicazione: (2026)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2024)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers
di: Ferlez, James, et al.
Pubblicazione: (2020)

Learning Maximal Safe Sets Using Hypernetworks for MPC-based Local Trajectory Planning in Unknown Environments
di: Derajić, Bojan, et al.
Pubblicazione: (2024)

Learning to Stabilize Unknown LTI Systems on a Single Trajectory under Stochastic Noise
di: Zhang, Ziyi, et al.
Pubblicazione: (2024)

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

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

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
di: Amorese, Peter, et al.
Pubblicazione: (2025)

Safe and Near-Optimal Control with Online Dynamics Learning
di: Prajapat, Manish, et al.
Pubblicazione: (2025)

An Efficient Reachability-Based Framework for Provably Safe Autonomous Navigation in Unknown Environments
di: Bajcsy, Andrea, et al.
Pubblicazione: (2019)

Finite-Sample-Based Reachability for Safe Control with Gaussian Process Dynamics
di: Prajapat, Manish, et al.
Pubblicazione: (2025)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
di: Majumdar, Rupak, et al.
Pubblicazione: (2026)

On the Optimality of Uncertain MDP Abstractions
di: Gracia, Ibon, et al.
Pubblicazione: (2026)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
di: Gracia, Ibon, et al.
Pubblicazione: (2025)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
di: Gracia, Ibon, et al.
Pubblicazione: (2025)

A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions
di: Laurenti, Luca, et al.
Pubblicazione: (2023)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
di: Gracia, Ibon, et al.
Pubblicazione: (2024)

Concurrent Learning of Policy and Unknown Safety Constraints in Reinforcement Learning
di: Yifru, Lunet, et al.
Pubblicazione: (2024)

Learning to Control Unknown Strongly Monotone Games
di: Chandak, Siddharth, et al.
Pubblicazione: (2024)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
di: Kong, Chun-Wei, et al.
Pubblicazione: (2024)

Distributionally Robust Imitation Learning: Layered Control Architecture for Certifiable Autonomy
di: Gahlawat, Aditya, et al.
Pubblicazione: (2025)

LexiSafe: Offline Safe Reinforcement Learning with Lexicographic Safety-Reward Hierarchy
di: Yang, Hsin-Jung, et al.
Pubblicazione: (2026)

Nonlinear System Identification of Swarm of UAVs Using Deep Learning Methods
di: Yazdannik, Saman, et al.
Pubblicazione: (2023)

Safe Online Control-Informed Learning
di: Zhou, Tianyu, et al.
Pubblicazione: (2025)

Error Bounds For Gaussian Process Regression Under Bounded Support Noise With Applications To Safety Certification
di: Reed, Robert, et al.
Pubblicazione: (2024)

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

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

Safe Learning-Based Optimization of Model Predictive Control: Application to Battery Fast-Charging
di: Hirt, Sebastian, et al.
Pubblicazione: (2024)