{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T03:02:19Z","timestamp":1648522939494},"reference-count":17,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2017]]},"DOI":"10.1587\/transinf.2016fop0001","type":"journal-article","created":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T22:23:11Z","timestamp":1496269391000},"page":"1158-1165","source":"Crossref","is-referenced-by-count":5,"title":["Symbolic Design of Networked Control Systems with State Prediction"],"prefix":"10.1587","volume":"E100.D","author":[{"given":"Masashi","family":"MIZOGUCHI","sequence":"first","affiliation":[{"name":"Graduate School of Engineering Science, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Toshimitsu","family":"USHIO","sequence":"additional","affiliation":[{"name":"Graduate School of Engineering Science, Osaka University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] P. Tabuada, Verification and Control of Hybrid Systems \u2014 A Symbolic Approach, Springer Verlag, 2009.","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"2","unstructured":"[2] R. Milner, Communication and Concurrency, Prentice-Hall, 1989."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] A. Girard and G.J. Pappas, \u201cApproximation metrics for discrete and continuous systems,\u201d IEEE Trans. Automatic Control, vol.52, no.5, pp.782-798, 2007.","DOI":"10.1109\/TAC.2007.895849"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] A. Girard and G.J. Pappas, \u201cApproximation bisimulation: a bridge between computer science and control theory,\u201d European J. of Control, vol.5, no.6, pp.568-578, 2011.","DOI":"10.3166\/ejc.17.568-578"},{"key":"5","unstructured":"[5] P. Tabuada, \u201cAn approximate simulation approach to symbolic control,\u201d IEEE Trans. Automatic Control, vol.53, no.6, pp.1406-1418, 2008."},{"key":"6","unstructured":"[6] G. Pola, A. Girard, and P. Tabuada, \u201cApproximately bisimilar symbolic models for nonlinear control systems,\u201d Automatica, vol.44, no.10, pp.2508-2516, 2008."},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] A. Girard, G. Pola, and P. Tabuada, \u201cApproximately bisimilar symbolic models for incrementally stable switched systems,\u201d IEEE Trans. Automatic Control, vol.55, no.1, pp.116-126, 2010.","DOI":"10.1109\/TAC.2009.2034922"},{"key":"8","unstructured":"[8] E.A. Gol, X. Ding, M. Lazar, and C. Belta, \u201cFinite bisimulation for switched linear systems,\u201d IEEE Trans. Automatic Control, vol.59, no.12, pp.3122-3134, 2014."},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] G. Pola, P. Pepe, M.D. Di Benedetto, and P. Tabuada, \u201cSymbolic models for nonlinear time-delay systems using approximate bisimulation,\u201d Systems and Control Letters, vol.59, no.6, pp.365-373, 2010.","DOI":"10.1016\/j.sysconle.2010.04.001"},{"key":"10","unstructured":"[10] R. Alur, T.A. Henzinger, O. Kaupfman, and M.Y. Vardi, \u201cAlternating refinement relations,\u201d Lect. Notes Comput. Sci., vol.1466, pp.163-178, Springer, 1998."},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] G. Pola and P. Tabuada, \u201cSymbolic models for nonlinear control systems: alternating approximate bisimulations,\u201d SIAM J. Control Optim., vol.48, no.2, pp.719-733, 2009.","DOI":"10.1137\/070698580"},{"key":"12","unstructured":"[12] G. Pola, P. Pepe, and M.D.D. Benedetto, \u201cSymbolic models for time-varying time-delay systems via alternating approximate bisimulation,\u201d Int. J. Robust Nonlinear Control, vol.25, no.14, pp.2328-2347, 2015."},{"key":"13","unstructured":"[13] M. Rungger and P. Tabuada, \u201cA notion of robustness for cyber-physical systems,\u201d IEEE Trans. Automatic Control, vol.61, no.8, pp.2108-2123, 2016."},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] M. Mizoguchi and T. Ushio, \u201cObserver-based similarity output feedback control of cyber-physical systems,\u201d Proc. 5th IFAC Conf. on Analysis and Design of Hybrid Systems, pp.248-253, 2015.","DOI":"10.1016\/j.ifacol.2015.11.183"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] A. Borri, G. Pola, and M.D.D. Benedetto, \u201cA symbolic approach to the design of nonlinear networked control systems,\u201d Proc. 15th Hybrid Systems: Computation and Control, pp.255-264, 2012.","DOI":"10.1145\/2185632.2185670"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] M. Zamani, M. Mazo, and A. Abate, \u201cFinite abstractions of networked control systems,\u201d Proc. 53rd IEEE Conference on Decision and Control, pp.95-100, 2014.","DOI":"10.1109\/CDC.2014.7039365"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] T. Mita, \u201cOptimal digital feedback control systems counting computation time of control laws,\u201d IEEE Trans. Automatic Control, vol.30, no.6, pp.542-548, 1985.","DOI":"10.1109\/TAC.1985.1104007"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0001\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T10:01:57Z","timestamp":1569405717000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E100.D\/6\/E100.D_2016FOP0001\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2016fop0001","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}