Cover Image

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Skovbekk, John, Laurenti, Luca, Frew, Eric, Lahijanian, Morteza
Format:	Preprint
Published:	2021
Subjects:	Systems and Control Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Interval Markov Decision Processes with Continuous Action-Spaces
by: Delimpaltadakis, Giannis, et al.
Published: (2022)

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

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

Piecewise Control Barrier Functions for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2025)

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

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

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
by: Mazouz, Rayan, et al.
Published: (2026)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
by: Figueiredo, Eduardo, et al.
Published: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
by: Cauchi, Nathalie, et al.
Published: (2019)

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

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
by: Mazouz, Rayan, et al.
Published: (2022)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
by: Mathiesen, Frederik Baymler, et al.
Published: (2024)

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

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

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

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

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

Hybrid Energy-Based Models for Physical AI: Provably Stable Identification of Port-Hamiltonian Dynamics
by: Betteti, Simone, et al.
Published: (2026)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
by: Mazouz, Rayan, et al.
Published: (2026)

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
by: Gracia, Ibon, et al.
Published: (2022)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
by: Adams, Steven, et al.
Published: (2025)

Reinforcement Learning for Robust Ageing-Aware Control of Li-ion Battery Systems with Data-Driven Formal Verification
by: Coppola, Rudi, et al.
Published: (2025)

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

Gaussian Process Regression for Improved Underwater Navigation
by: Cohen, Nadav, et al.
Published: (2025)

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

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
by: Taheri, Ali, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

A Systems-Theoretical Formalization of Closed Systems
by: Shadab, Niloofar, et al.
Published: (2023)

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

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

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

Analysis of Thompson Sampling for Controlling Unknown Linear Diffusion Processes
by: Faradonbeh, Mohamad Kazem Shirani, et al.
Published: (2022)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
by: Zhang, Zhi, et al.
Published: (2024)

A Black-Box Physics-Informed Estimator based on Gaussian Process Regression for Robot Inverse Dynamics Identification
by: Giacomuzzos, Giulio, et al.
Published: (2023)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
by: Schön, Oliver, et al.
Published: (2025)

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

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

ViSTR-GP: Online Cyberattack Detection via Vision-to-State Tensor Regression and Gaussian Processes in Automated Robotic Operations
by: Aftabi, Navid, et al.
Published: (2025)

Verification of Neural Network Control Systems in Continuous Time
by: ArjomandBigdeli, Ali, et al.
Published: (2024)