14 citations · 46 across the 58 of their papers we have counts for
3 papers · 1 filter
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
In this paper, we provide a compositional approach for constructing finite abstractions (a.k.a. finite Markov decision processes (MDPs)) of interconnected discrete-time stochastic…
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
We propose a compositional approach for constructing abstractions of general Markov decision processes using approximate probabilistic relations. The abstraction framework is based…
Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
In this paper, we propose a compositional approach for the construction of finite abstractions (a.k.a. finite Markov decision processes (MDPs)) for networks of discrete-time stocha…