@inproceedings(Alur98alternatingrefinement,
 author       = {R. Alur and T.A. Henzinger and O. Kupferman and M.Y. Vardi},
 year         = {1998},
 title        = {Alternating refinement relations},
 booktitle    = {Proc. of the 9th International Conference on Concurrency Theory, volume 1466 of LNCS},
 publisher    = {Springer},
 pages        = {163--178},
 doi          = {10.1007/BFb0055622},
)
@inproceedings(871304,
 author       = {R. Alur and T.A. Henzinger and G. Lafferriere and G.J. Pappas},
 year         = {2000},
 title        = {Discrete abstractions of hybrid systems},
 booktitle    = {Proc. of the IEEE},
 volume       = {88},
 publisher    = {IEEE},
 pages        = {971--984},
 doi          = {10.1109/5.871304},
)
@inproceedings(Bloem:2010:RPL:2144310.2144356,
 author       = {R. Bloem and K. Chatterjee and K. Greimel and T.A. Henzinger and B. Jobstmann},
 year         = {2010},
 title        = {Robustness in the presence of liveness},
 booktitle    = {Proc. of the 22nd International Conference on Computer Aided Verification},
 publisher    = {Springer},
 pages        = {410--424},
 doi          = {10.1007/978-3-642-14295-6\_36},
)
@inproceedings(5351139,
 author       = {R. Bloem and K. Greimel and T.A. Henzinger and B. Jobstmann},
 year         = {2009},
 title        = {Synthesizing robust systems},
 booktitle    = {Proc. of the Formal Methods in Computer-Aided Design 2009},
 publisher    = {FMCAD},
 pages        = {85--92},
 doi          = {10.1109/FMCAD.2009.5351139},
)
@book(cassandras2009introduction,
 author       = {C.G. Cassandras and S. Lafortune},
 year         = {2009},
 title        = {Introduction to Discrete Event Systems},
 edition      = {2nd},
 publisher    = {Springer},
)
@article(chatterjee2007algorithms,
 author       = {K. Chatterjee and L. Doyen and T.A. Henzinger and J.F. Raskin},
 year         = {2007},
 title        = {Algorithms for omega-regular games with imperfect information},
 journal      = {Logical Methods in Computer Science},
 volume       = {3},
 number       = {4},
 pages        = {1--23},
 doi          = {10.2168/LMCS-3(3:4)2007},
)
@inproceedings(Ehlers:2015:ERS:2728606.2728626,
 author       = {R. Ehlers and U. Topcu},
 year         = {2015},
 title        = {Estimator-based reactive synthesis under incomplete information},
 booktitle    = {Proc. of the 18th International Conference on Hybrid Systems: Computation and Control},
 publisher    = {ACM},
 pages        = {249--258},
 doi          = {10.1145/2728606.2728626},
)
@inproceedings(7039992,
 author       = {D. Fan and D.C. Tarraf},
 year         = {2014},
 title        = {On finite memory observability of a class of systems over finite alphabets with linear dynamics},
 booktitle    = {Proc. of the IEEE 53rd Annual Conference on Decision and Control},
 pages        = {3884--3891},
 doi          = {10.1109/CDC.2014.7039992},
)
@article(DBLP:journals/tac/GhaemiV14,
 author       = {R. Ghaemi and D.D. Vecchio},
 year         = {2014},
 title        = {Control for safety specifications of systems with imperfect information on a partial order},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {59},
 number       = {4},
 pages        = {982--995},
 doi          = {10.1109/TAC.2014.2301563},
)
@article(4200859,
 author       = {A. Girard and G.J. Pappas},
 year         = {2007},
 title        = {Approximation metrics for discrete and continuous systems},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {52},
 number       = {5},
 pages        = {782--798},
 doi          = {10.1109/TAC.2007.895849},
)
@article(Girard2011568,
 author       = {A. Girard and G.J. Pappas},
 year         = {2011},
 title        = {Approximate bisimulation: A bridge between computer science and control theory},
 journal      = {European Journal of Control},
 volume       = {17},
 number       = {5-6},
 pages        = {568 -- 578},
 doi          = {10.3166/ejc.17.568-578},
)
@article(5342460,
 author       = {A. Girard and G. Pola and P. Tabuada},
 year         = {2010},
 title        = {Approximately bisimilar symbolic models for incrementally stable switched systems},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {55},
 number       = {1},
 pages        = {116--126},
 doi          = {10.1109/TAC.2009.2034922},
)
@book(goebel2012hybrid,
 author       = {R. Goebel and R.G. Sanfelice and A.R. Teel},
 year         = {2012},
 title        = {Hybrid Dynamical Systems: Modeling, Stability, and Robustness},
 publisher    = {Princeton University Press},
)
@book(Milner:1989:CC:534666,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice-Hall},
)
@article(mizoguchi2015observer,
 author       = {M. Mizoguchi and T. Ushio},
 year         = {2015},
 title        = {Observer-based similarity output feedback control of cyber-physical systems},
 journal      = {IFAC-PapersOnLine},
 volume       = {48},
 number       = {27},
 pages        = {248--253},
 doi          = {10.1016/j.ifacol.2015.11.183},
)
@article(Pola20082508,
 author       = {G. Pola and A. Girard and P. Tabuada},
 year         = {2008},
 title        = {Approximately bisimilar symbolic models for nonlinear control systems},
 journal      = {Automatica},
 volume       = {44},
 number       = {10},
 pages        = {2508 -- 2516},
 doi          = {10.1016/j.automatica.2008.02.021},
)
@article(pola2009symbolic,
 author       = {G. Pola and P. Tabuada},
 year         = {2009},
 title        = {Symbolic models for nonlinear control systems: Alternating approximate bisimulations},
 journal      = {SIAM Journal on Control and Optimization},
 volume       = {48},
 number       = {2},
 pages        = {719--733},
 doi          = {10.1137/070698580},
)
@inproceedings(6760490,
 author       = {M. Rungger and P. Tabuada},
 year         = {2013},
 title        = {A symbolic approach to the design of robust cyber-physical systems},
 booktitle    = {Proc. of the IEEE 52nd Annual Conference on Decision and Control},
 pages        = {3932--3937},
 doi          = {10.1109/CDC.2013.6760490},
)
@inproceedings(rungger2014abstracting,
 author       = {M. Rungger and P. Tabuada},
 year         = {2014},
 title        = {Abstracting and refining robustness for cyber-physical systems},
 booktitle    = {Proc. of the 17th International Conference on Hybrid Systems: Computation and Control},
 organization = {ACM},
 pages        = {223--232},
 doi          = {10.1145/2562059.2562133},
)
@article(2013arXiv1310.5199R,
 author       = {M. {Rungger} and P. {Tabuada}},
 year         = {2015},
 title        = {{A Notion of robustness for cyber-physical systems}},
 journal      = {IEEE Transactions on Automatic Control},
 doi          = {10.1109/TAC.2015.2492438},
 note         = {To appear.},
)
@article(4610035,
 author       = {P. Tabuada},
 year         = {2008},
 title        = {An approximate simulation approach to symbolic control},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {53},
 number       = {6},
 pages        = {1406--1418},
 doi          = {10.1109/TAC.2008.925824},
)
@book(Tabuada:2009:VCH:1717907,
 author       = {P. Tabuada},
 year         = {2009},
 title        = {Verification and Control of Hybrid Systems: A Symbolic Approach},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4419-0224-5},
)
@article(6882838,
 author       = {P. Tabuada and S.Y. Caliskan and M. Rungger and R. Majumdar},
 year         = {2014},
 title        = {Towards robustness for cyber-physical systems},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {59},
 number       = {12},
 pages        = {3151--3163},
 doi          = {10.1109/TAC.2014.2351632},
)
@article(6199967,
 author       = {D.C. Tarraf},
 year         = {2012},
 title        = {A control-oriented notion of finite state approximation},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {57},
 number       = {12},
 pages        = {3197--3202},
 doi          = {10.1109/TAC.2012.2199180},
)
@article(6882777,
 author       = {D.C. Tarraf},
 year         = {2014},
 title        = {An input-output construction of finite state $\rho/\mu$ approximations for control design},
 journal      = {IEEE Transactions on Automatic Control},
 volume       = {59},
 number       = {12},
 pages        = {3164--3177},
 doi          = {10.1109/TAC.2014.2351631},
)
@article(110009640556,
 author       = {Tung Vu, N. and S. Takai},
 year         = {2016},
 title        = {Synthesis of output feedback controllers for bisimilarity control of transition systems},
 journal      = {IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences},
 volume       = {E99-A},
 number       = {2},
 pages        = {483--490},
 doi          = {10.1587/transfun.E99.A.483},
)