Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach⁎
Keywords
Interconnected Stochastic Control Systems
Compositionality
Finite Abstractions
Finite Markov Decision Processes
Small-Gain Conditions
Formal Synthesis
Cited by (0)
- ⁎
This work was supported in part by the German Research Foundation (DFG) through the grant ZA 873/1-1.
© 2016, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd.