Reissig, Gunther; Weber, Alexander; Rungger, Matthias Feedback refinement relations for the synthesis of symbolic controllers. (English) Zbl 1366.93363 IEEE Trans. Autom. Control 62, No. 4, 1781-1796 (2017). Editorial remark: No review copy delivered. Cited in 34 Documents MSC: 93C65 Discrete event control/observation systems 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) 37N35 Dynamical systems in control 68W30 Symbolic computation and algebraic computation PDFBibTeX XMLCite \textit{G. Reissig} et al., IEEE Trans. Autom. Control 62, No. 4, 1781--1796 (2017; Zbl 1366.93363) Full Text: DOI arXiv