@Inproceedings{EPTCS232.7,
  author    = {Mizoguchi, Masashi and  Ushio, Toshimitsu},
  year      = {2016},
  title     = {Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems},
  editor    = {Kargahi, Mehdi and Trivedi, Ashutosh},
  booktitle = {{\rm Proceedings of the The First Workshop on}
               Verification and Validation of Cyber-Physical Systems,
               {\rm Reykjav\'ik, Iceland, June 4-5, 2016}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {232},
  publisher = {Open Publishing Association},
  pages     = {37-51},
  doi       = {10.4204/EPTCS.232.7},
}