paper-with-me

Papers

MDP Abstractions from Data: Large-Scale Stochastic Networks

2023-09-14 · Abolfazl Lavaei

This work proposes a compositional data-driven technique for the construction of finite Markov decision processes (MDPs) for large-scale stochastic networks with unknown mathematical models. Our proposed framework leverages dissipativity properties of subsystems and their finite MDPs using a notion of stochastic storage functions (SStF). In our data-driven scheme, we first build an SStF between each unknown subsystem and its data-driven finite MDP with a certified probabilistic confidence. We then derive dissipativity-type compositional conditions to construct a stochastic bisimulation function (SBF) between an interconnected network and its finite MDP using data-driven SStF of subsystems. Accordingly, we formally quantify the probabilistic distance between trajectories of an unknown large-scale stochastic network and those of its finite MDP with a guaranteed confidence. We illustrate the efficacy of our data-driven results over a room temperature network composing 100 rooms with unknown models.

📄 PDF Abstract BibTeX arXiv:2309.07941

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Property-driven Causal Abstractions for Markov Decision Processes

2026-07-29 · Jule Schmidt, Maximilian Weininger, Clemens Dubslaff, David Parker 외 arxiv

Markov Decision Processes (MDPs) are widely used as decision-making models, commonly specified over factored state spaces through state variables and their valuations. The exponential blowup in the number of states rende…

Robustly Complete Finite-State Abstractions for Control Synthesis of Stochastic Systems

2023-03-08 · Yiming Meng, Jun Liu

The essential step of abstraction-based control synthesis for nonlinear systems to satisfy a given specification is to obtain a finite-state abstraction of the original systems. The complexity of the abstraction is usual…

Memory-dependent abstractions of stochastic systems through the lens of transfer operators

2025-02-06 · Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti, Manuel Mazo Jr. 외

With the increasing ubiquity of safety-critical autonomous systems operating in uncertain environments, there is a need for mathematical methods for formal verification of stochastic models. Towards formally verifying pr…

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems

2020-05-13

In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic systems. This tool is employed to (i) build…

Cloud Computing

A Stability-Based Abstraction Framework for Reach-Avoid Control of Stochastic Dynamical Systems with Unknown Noise Distributions

2024-04-02 · Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

Finite-state abstractions are widely studied for the automated synthesis of correct-by-construction controllers for stochastic dynamical systems. However, existing abstraction methods often lead to prohibitively large fi…