Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Nazeri, Mahdi, Badings, Thom, Schmuck, Anne-Kathrin, Soudjani, Sadegh, Abate, Alessandro
Format:	Preprint
Publié:	2025
Sujets:	Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems
par: Nazeri, Mahdi, et autres
Publié: (2025)

Probabilistic Alternating Simulations for Policy Synthesis in Uncertain Stochastic Dynamical Systems
par: Badings, Thom, et autres
Publié: (2025)

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions
par: Badings, Thom, et autres
Publié: (2024)

Incremental Data-Driven Policy Synthesis via Game Abstractions
par: Sağlam, Irmak, et autres
Publié: (2025)

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
par: Riccardi, Alessandro, et autres
Publié: (2026)

Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation
par: Zhang, Zhi, et autres
Publié: (2024)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
par: Badings, Thom, et autres
Publié: (2024)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
par: Vertovec, Nikolaus, et autres
Publié: (2025)

Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations
par: Schön, Oliver, et autres
Publié: (2023)

Stochastic Generalized Dynamic Games with Coupled Chance Constraints
par: Yadollahi, Seyed Shahram, et autres
Publié: (2025)

Sum-of-Squares Certificates for Almost-Sure Reachability of Stochastic Polynomial Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Almost Sure Reachability in Continuous-time Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2026)

Temporal Logic Resilience for Dynamical Systems
par: Saoud, Adnane, et autres
Publié: (2024)

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems
par: Casablanca, Ernesto, et autres
Publié: (2025)

Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
par: Schön, Oliver, et autres
Publié: (2024)

Data-Driven Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

Integrating Expert and Physics Knowledge for Modeling Heat Load in District Heating Systems
par: Souza, Francisco, et autres
Publié: (2025)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
par: Schön, Oliver, et autres
Publié: (2024)

Policy Synthesis for Interval MDPs via Polyhedral Lyapunov Functions
par: Monir, Negar, et autres
Publié: (2026)

On Certificates for Almost Sure Reachability in Stochastic Systems
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Robust Control of Uncertain Switched Affine Systems via Scenario Optimization
par: Monir, Negar, et autres
Publié: (2025)

Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances
par: Gracia, Ibon, et autres
Publié: (2024)

Logic-based Resilience Computation of Power Systems Against Frequency Requirements
par: Monir, Negar, et autres
Publié: (2025)

Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
par: Wooding, Ben, et autres
Publié: (2023)

Context-triggered Abstraction-based Control Design
par: Nayak, Satya Prakash, et autres
Publié: (2023)

Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)
par: Schön, Oliver, et autres
Publié: (2025)

BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
par: Taheri, Ali, et autres
Publié: (2025)

Safe Reach Set Computation via Neural Barrier Certificates
par: Abate, Alessandro, et autres
Publié: (2024)

Barrier Certificates for Uncertain Temporal Specifications
par: Mamduhi, Mohammad H., et autres
Publié: (2026)

Logic-based Knowledge Awareness for Autonomous Agents in Continuous Spaces
par: Ghosh, Arabinda, et autres
Publié: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
par: Kordabad, Arash Bahari, et autres
Publié: (2025)

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems
par: Cauchi, Nathalie, et autres
Publié: (2019)

Continuous-time Data-driven Barrier Certificate Synthesis
par: Rickard, Luke, et autres
Publié: (2025)

Second-Order Policy Gradient Methods for the Linear Quadratic Regulator
par: Valaei, Amirreza, et autres
Publié: (2025)

Certificates Synthesis for A Class of Observational Properties in Stochastic Systems: A Unified Approach
par: Cui, Bohan, et autres
Publié: (2026)

Kernel-Based Safe Exploration in Deep Reinforcement Learning
par: Majumdar, Rupak, et autres
Publié: (2026)

Safety Certification is Classification
par: Schön, Oliver, et autres
Publié: (2026)

Existence and Synthesis of Multi-Resolution Approximate Bisimulations for Continuous-State Dynamical Systems
par: Coppola, Rudi, et autres
Publié: (2025)

Resilient and Effort-Optimal Controller Synthesis under Temporal Logic Specifications
par: Si, Youssef Ait, et autres
Publié: (2026)