Buchumschlag

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gracia, Ibon, Boskos, Dimitris, Laurenti, Luca, Lahijanian, Morteza
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty
von: Gracia, Ibon, et al.
Veröffentlicht: (2022)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2024)

Provably Safe Motion Planning Under Unknown Disturbances
von: Gracia, Ibon, et al.
Veröffentlicht: (2026)

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems
von: Gracia, Ibon, et al.
Veröffentlicht: (2025)

Data-Driven Control via Conditional Mean Embeddings: Formal Guarantees via Uncertain MDP Abstraction
von: Gracia, Ibon, et al.
Veröffentlicht: (2025)

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

On the Optimality of Uncertain MDP Abstractions
von: Gracia, Ibon, et al.
Veröffentlicht: (2026)

Piecewise Control Barrier Functions for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2025)

Time-Varying Reach-Avoid Control Certificates for Stochastic Systems
von: Mazouz, Rayan, et al.
Veröffentlicht: (2026)

StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
von: Mazouz, Rayan, et al.
Veröffentlicht: (2026)

Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
von: Skovbekk, John, et al.
Veröffentlicht: (2021)

Uncertainty Propagation in Stochastic Systems via Mixture Models with Error Quantification
von: Figueiredo, Eduardo, et al.
Veröffentlicht: (2024)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
von: Cauchi, Nathalie, et al.
Veröffentlicht: (2019)

Promises of Deep Kernel Learning for Control Synthesis
von: Reed, Robert, et al.
Veröffentlicht: (2023)

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
von: Mazouz, Rayan, et al.
Veröffentlicht: (2022)

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
von: Mathiesen, Frederik Baymler, et al.
Veröffentlicht: (2024)

Learning Nonlinear Continuous-Time Systems for Formal Uncertainty Propagation and Probabilistic Evaluation
von: Amorese, Peter, et al.
Veröffentlicht: (2026)

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

Learning-Based Shielding for Safe Autonomy under Unknown Dynamics
von: Reed, Robert, et al.
Veröffentlicht: (2024)

Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
von: Kong, Chun-Wei, et al.
Veröffentlicht: (2026)

On Polynomial Stochastic Barrier Functions: Bernstein Versus Sum-of-Squares
von: Amorese, Peter, et al.
Veröffentlicht: (2025)

Model Predictive Control for Cooperative Docking Between Autonomous Surface Vehicles with Disturbance Rejection
von: Battocletti, Gianpietro, et al.
Veröffentlicht: (2025)

Interval Markov Decision Processes with Continuous Action-Spaces
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2022)

Universal Learning of Stochastic Dynamics for Exact Belief Propagation using Bernstein Normalizing Flows
von: Amorese, Peter, et al.
Veröffentlicht: (2025)

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Online Data-Driven Safety Certification for Systems Subject to Unknown Disturbances
von: Rober, Nicholas, et al.
Veröffentlicht: (2023)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
von: Riccardi, Alessandro, et al.
Veröffentlicht: (2026)

Error Bounds for Physics-Informed Neural Networks in Fokker-Planck PDEs
von: Kong, Chun-Wei, et al.
Veröffentlicht: (2024)

Formal Uncertainty Propagation for Stochastic Dynamical Systems with Additive Noise
von: Adams, Steven, et al.
Veröffentlicht: (2025)

Verification of Unknown Dynamical Systems via Autoencoder Latent Space
von: Reed, Robert, et al.
Veröffentlicht: (2025)

Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
von: Amorese, Peter, et al.
Veröffentlicht: (2026)

PAC Finite-Time Safety Guarantees for Stochastic Systems with Unknown Disturbance Distributions
von: Wu, Taoran, et al.
Veröffentlicht: (2026)

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
von: Nazeri, Mahdi, et al.
Veröffentlicht: (2025)

Formal Analysis of the Sampling Behaviour of Stochastic Event-Triggered Control
von: Delimpaltadakis, Giannis, et al.
Veröffentlicht: (2022)

Falsification of Autonomous Systems in Rich Environments
von: Elimelech, Khen, et al.
Veröffentlicht: (2024)

Bayesian Diagnosability and Active Fault Identification
von: Kong, Chun-Wei, et al.
Veröffentlicht: (2025)

Stochastic Reinforcement Learning with Stability Guarantees for Control of Unknown Nonlinear Systems
von: Quartz, Thanin, et al.
Veröffentlicht: (2024)

Data-Driven Observability Analysis for Nonlinear Stochastic Systems
von: Massiani, Pierre-François, et al.
Veröffentlicht: (2023)

Reinforcement Learning with Distributed MPC for Fuel-Efficient Platoon Control with Discrete Gear Transitions
von: Mallick, Samuel, et al.
Veröffentlicht: (2026)

Robust Operation of Distribution Networks: Generalized Uncertainty Modelling in Confidence-Level-Based Information Gap Decision
von: Xiong, Zhisheng, et al.
Veröffentlicht: (2026)