Observer-based Similarity Output Feedback Control of Cyber-Physical Systems**This work was supported by JSPS KAKENHI No. 15K14007.

R. Goebel, R. G. Sanfelice, and A. R. Teel. Hybrid Dynamical Systems Modeling, Stability, and Robustness. Princeton University Press, 2012. P. Tabuada. Verification and Control of Hybrid Systems. A Symbolic Approach. Springer, 2009. Alur, 2000, Discrete abstractions of hybrid systems, In Proceedings of IEEE, 88, 971, 10.1109/5.871304 R. Milner. Communication and concurrency. Prentice-Hall, 1989. Girard, 2007, Approximation metrics for discrete and continuous systems, IEEE Transactions on Automatic Control, 52, 782, 10.1109/TAC.2007.895849 Pola, 2008, Approximately bisimilar symbolic models for nonlinear control systems, Automatica, 44, 2508, 10.1016/j.automatica.2008.02.021 A. Girard, G. Pola, and P. Tabuada. Approximately bisim-ilar symbolic models for incrementally stable switched systems. IEEE Transactions on Automatic Control, 55(1):116-126, 2010. Tabuada, 2008, An approximate simulation approach to symbolic control, IEEE Transactions on Automatic Control, 53, 1406, 10.1109/TAC.2008.925824 Girard, 2011, Approximation bisimulation: a bridge between computer science and control theory, European Journal of Control, 5, 568, 10.3166/ejc.17.568-578 R. Alur, T. Henzinger, O. Kaupfman, and M. Vardi. Alternating refinement relations. Lecture Notes in Computer Science, vol. 1466, pages 163-178, Springer, 1998. Vu, 2014, Similarity control of transition systems by output feedback. IEICE Trans, Fundamentals of Electronics, Communications and Computer Sciences, J97-A, 140 C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems. 2nd ed, Springer, 2008. Pola, 2009, Symbolic models for nonlinear control systems: alternating approximate bisimulations, SIAM J. Control and Optimiz., 48, 719, 10.1137/070698580 R. Bloem, K. Chatterjee, K. Greimel, T. A. Henzinger, and B. Jobstmann. Robustness in the presence of liveness. Computer Aided Verification, vol. 6174, pages 410-424, 2010. R. Bloem, K. Greimel, T. A. Henzinger, and B. Jobst-mann. Synthesizing robust systems. In Proceedings of international conference on Formal Methods in Computer Aided Design, pages 85-92, 2009. Tabuada, 2014, Towards robustness for cyber-physical systems, IEEE Transactions on Automatic Control, 59, 3151, 10.1109/TAC.2014.2351632 M. Rungger and P. Tabuada. Abstracting and refining robustness for cyber-physical systems. In Proceedings of the 17th ACM international conference on Hybrid Systems: Computation and Control, pages 223-232, 2014. M. Rungger and P. Tabuada. A notion of robustness for cyber-physical systems. arXiv:1310.5199v2, 2014. M. Rungger and P. Tabuada. A symbolic approach to the design of robust cyber-physical systems. In Proceedings of 52nd IEEE Conference on Decision and Control, pages 3932-3937, 2013. Ghaemi, 2014, Control for safety specifications of systems with imperfect information on a partial order, IEEE Transactions on Automatic Control, 59, 982, 10.1109/TAC.2014.2301563 D. Fan and D.C. Tarraf. On finite memory observability of a class of systems over finite alphabets with linear dynamics. In Proceedings of 53rd IEEE Conference on Decision and Control, pages 3884-3891, 2014. K. Chatterjee, L. Doyen, T. A. Henzinger, and J.F. Raskin. Algorithms for omega-regular games with imperfect information. Logical Methods in Computer Science, vol. 3(3:4), pages 1-23, 2007. Tarraf, 2011, Finite approximations of switched homogeneous systems for controller synthesis, IEEE Transactions on Automatic Control, 56, 1140, 10.1109/TAC.2011.2108350 Tarraf, 2012, A control-oriented notion of finite state approximation, IEEE Transactions on Automatic Control, 57, 3197, 10.1109/TAC.2012.2199180 Tarraf, 2014, An input-output construction of finite state approximations for control design, IEEE Transactions on Automatic Control, 59, 3164, 10.1109/TAC.2014.2351631 R. Ehlers and U. Topcu. Estimator-based reactive synthesis under incomplete information. In Proceedings of the 18th ACM international conference on Hybrid Systems: Computation and Control, pages 249-258, 2015.