The following publications are possibly variants of this publication:
- Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic SystemsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. tac, 65(12):5280-5295, 2020. [doi]
- Compositional abstraction-based synthesis for networks of stochastic switched systemsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. automatica, 114:108827, 2020. [doi]
- Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologiesAsad Ullah Awan, Majid Zamani. amcc 2018: 1586-1591 [doi]
- Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite AbstractionsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. eucc 2019: 2802-2807 [doi]
- Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching SystemsAbolfazl Lavaei, Emilio Frazzoli. cdc 2022: 7510-7515 [doi]
- Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched SystemsAmeneh Nejati, Sadegh Soudjani, Majid Zamani. csysl, 4(4):845-850, 2020. [doi]
- From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched SystemsAbolfazl Lavaei, Majid Zamani. tac, 67(9):4422-4437, 2022. [doi]