Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani, Rupak Majumdar. Compositional Synthesis of Finite-State Abstractions. IEEE Trans. Automat. Contr., 64(6):2629-2636, 2019. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite AbstractionsAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. eucc 2019: 2802-2807 [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 Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain ApproachAbolfazl Lavaei, Sadegh Soudjani, Majid Zamani. adhs 2018: 265-270 [doi]
The following publications are possibly variants of this publication: