Mahmoud Khaled, Matthias Rungger, Majid Zamani. Symbolic models of networked control systems: A feedback refinement relation approach. In 54th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2016, Monticello, IL, USA, September 27-30, 2016. pages 187-193, IEEE, 2016. [doi]
Abstract is missing.