Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John Symbolic control of stochastic systems via approximately bisimilar finite abstractions. (English) Zbl 1360.93445 IEEE Trans. Autom. Control 59, No. 12, 3135-3150 (2014). Editorial remark: No review copy delivered. Cited in 24 Documents MSC: 93C65 Discrete event control/observation systems 68Q45 Formal languages and automata 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 93B50 Synthesis problems 93E03 Stochastic systems in control theory (general) PDFBibTeX XMLCite \textit{M. Zamani} et al., IEEE Trans. Autom. Control 59, No. 12, 3135--3150 (2014; Zbl 1360.93445) Full Text: DOI arXiv