activity
20172026
most citedAutomata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations

14 citations · 46 across the 58 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

eess.SY2017

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes

Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani

This paper is concerned with a compositional approach for constructing finite Markov decision processes of interconnected discrete-time stochastic control systems. The proposed app…

eess.SY2017

Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems

Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar +1

This paper is concerned with a compositional approach for constructing abstractions of interconnected discrete-time stochastic control systems. The abstraction framework is based o…