Copertina

Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nazeri, Mahdi, Badings, Thom, Schmuck, Anne-Kathrin, Soudjani, Sadegh, Abate, Alessandro
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Systems and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
di: Nazeri, Mahdi, et al.
Pubblicazione: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
di: Badings, Thom, et al.
Pubblicazione: (2025)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
di: Badings, Thom, et al.
Pubblicazione: (2024)

Incremental Data-Driven Policy Synthesis via Game Abstractions
di: Sağlam, Irmak, et al.
Pubblicazione: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
di: Riccardi, Alessandro, et al.
Pubblicazione: (2026)

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

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

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

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
di: Schön, Oliver, et al.
Pubblicazione: (2023)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
di: Yadollahi, Seyed Shahram, et al.
Pubblicazione: (2025)

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

Almost Sure Reachability in Continuous-time Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2026)

Temporal Logic Resilience for Dynamical Systems
di: Saoud, Adnane, et al.
Pubblicazione: (2024)

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

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
di: Schön, Oliver, et al.
Pubblicazione: (2024)

Data-Driven Certificate Synthesis
di: Rickard, Luke, et al.
Pubblicazione: (2025)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
di: Souza, Francisco, 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)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
di: Monir, Negar, et al.
Pubblicazione: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

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

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
di: Monir, Negar, et al.
Pubblicazione: (2025)

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

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
di: Monir, Negar, et al.
Pubblicazione: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
di: Wooding, Ben, et al.
Pubblicazione: (2023)

Context-triggered Abstraction-based Control Design
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2023)

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

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

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

Barrier Certificates for Uncertain Temporal Specifications
di: Mamduhi, Mohammad H., et al.
Pubblicazione: (2026)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
di: Ghosh, Arabinda, et al.
Pubblicazione: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
di: Kordabad, Arash Bahari, et al.
Pubblicazione: (2025)

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

Continuous-time Data-driven Barrier Certificate Synthesis
di: Rickard, Luke, et al.
Pubblicazione: (2025)

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
di: Valaei, Amirreza, et al.
Pubblicazione: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
di: Cui, Bohan, et al.
Pubblicazione: (2026)

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

Safety Certification is Classification
di: Schön, Oliver, et al.
Pubblicazione: (2026)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
di: Coppola, Rudi, et al.
Pubblicazione: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
di: Si, Youssef Ait, et al.
Pubblicazione: (2026)