The following publications are possibly variants of this publication:
- Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain ApproachAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. adhs 2018: 265-270 [doi]
- Compositional Synthesis of Finite-State AbstractionsKaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar. tac, 64(6):2629-2636, 2019. [doi]
- Compositional synthesis of finite abstractions for networks of systems: A small-gain approachAbdalla Swikir, Majid Zamani. automatica, 107:551-561, 2019. [doi]
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systemsSiyuan Liu, Majid Zamani. automatica, 131:109745, 2021. [doi]
- Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity ApproachAbdalla Swikir, Antoine Girard, Majid Zamani. hybrid 2018: 275-276 [doi]
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systemsAmeneh Nejati, Sadegh Soudjani, Majid Zamani. ejcon, 57:82-94, 2021. [doi]
- Compositional abstraction-based synthesis for networks of stochastic switched systemsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. automatica, 114:108827, 2020. [doi]
- Compositional finite abstractions for large-scale stochastic switched systemsAbolfazl Lavaei, Majid Zamani. snr 2019: 3-5 [doi]
- Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic SystemsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. tac, 65(12):5280-5295, 2020. [doi]
- Compositional construction of finite state abstractions for stochastic control systemsKaushik Mallik, Sadegh Esmaeil Zadeh Soudjani, Anne-Kathrin Schmuck, Rupak Majumdar. cdc 2017: 550-557 [doi]
- Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. hybrid 2018: 273-274 [doi]