{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:37:41Z","timestamp":1648672661559},"reference-count":21,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"11","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Fundamentals"],"published-print":{"date-parts":[[2021,11,1]]},"DOI":"10.1587\/transfun.2021eap1002","type":"journal-article","created":{"date-parts":[[2021,5,13]],"date-time":"2021-05-13T22:07:37Z","timestamp":1620943657000},"page":"1593-1602","source":"Crossref","is-referenced-by-count":0,"title":["Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems"],"prefix":"10.1587","volume":"E104.A","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","unstructured":"[1] Z. Palmor, \u201cTime-delay compensation \u2014 Smith predictor and its modifications,\u201d The Control Handbook, vol.1, pp.224-229, 1996."},{"key":"2","unstructured":"[2] O. Smith, \u201cCloser control of loops with dead time,\u201d Chemical Engineering Progress, vol.53, no.5, pp.217-219, 1957."},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] G. Alevisakis and D. Seborg, \u201cControl of multivariable systems containing time delays using a multivariable Smith predictor,\u201d Chemical Engineering Science, vol.29, no.2, pp.373-380, 1974. 10.1016\/0009-2509(74)80046-1","DOI":"10.1016\/0009-2509(74)80046-1"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] M. Matau\u0161ek and A. Mici\u0107, \u201cA modified Smith predictor for controlling a process with an integrator and long dead-time,\u201d IEEE Trans. Autom. Control, vol.41, no.8, pp.1199-1203, 1996. 10.1109\/9.533684","DOI":"10.1109\/9.533684"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] C. Kravaris and R. Wright, \u201cDeadtime compensation for nonlinear processes,\u201d AIChE J., vol.35, no.9, pp.1535-1542, 1989. 10.1002\/aic.690350914","DOI":"10.1002\/aic.690350914"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Z. Palmor and Y. Halevi, \u201cRobustness properties of sampled-data systems with dead time compensators,\u201d Automatica, vol.26, no.3, pp.637-640, 1990. 10.1016\/0005-1098(90)90040-o","DOI":"10.1016\/0005-1098(90)90040-O"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[9] R. Goebel, R. Sanfelice, and A. Teel, Hybrid Dynamical Systems: Modeling, Stability, and Robustness, Princeton University Press, 2012. 10.23943\/princeton\/9780691153896.001.0001","DOI":"10.23943\/princeton\/9780691153896.001.0001"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[10] G. Pola and P. Tabuada, \u201cSymbolic models for nonlinear control systems: Alternating approximate bisimulations,\u201d SIAM J. Control and Optim., vol.48, no.2, pp.719-733, 2009. 10.1137\/070698580","DOI":"10.1137\/070698580"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[11] M. Rungger and P. Tabuada, \u201cA notion of robustness for cyber-physical systems,\u201d IEEE Trans. Autom. Control, vol.61, no.8, pp.2108-2123, Aug. 2016. 10.1109\/tac.2015.2492438","DOI":"10.1109\/TAC.2015.2492438"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[12] P. Tabuada, S. Caliskan, M. Rungger, and R. Majumdar, \u201cTowards robustness for cyber-physical systems,\u201d IEEE Trans. Autom. Control, vol.59, no.12, pp.3151-3163, Dec. 2014. 10.1109\/tac.2014.2351632","DOI":"10.1109\/TAC.2014.2351632"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[13] M. Mizoguchi and T. Ushio, \u201cObserver-based similarity output feedback control of cyber-physical systems,\u201d Proc. 5th IFAC Conference on Analysis and Design of Hybrid Systems, pp.248-253, Oct. 2015. 10.1016\/j.ifacol.2015.11.183","DOI":"10.1016\/j.ifacol.2015.11.183"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[14] M. Mizoguchi and T. Ushio, \u201cOutput feedback controller design with symbolic observers for cyber-physical systems,\u201d Proc. 1st International Workshop on Verification and Validation of Cyber-Physical Systems, pp.37-51, June 2016. 10.4204\/eptcs.232.7","DOI":"10.4204\/EPTCS.232.7"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[15] M. Mizoguchi and T. Ushio, \u201cDeadlock-free output feedback controller design based on approximately abstracted observers,\u201d Nonlinear Analysis: Hybrid Systems, vol.30, pp.58-71, 2018. 10.1016\/j.nahs.2018.04.001","DOI":"10.1016\/j.nahs.2018.04.001"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[16] M. Mizoguchi and T. Ushio, \u201cSymbolic control of systems with dead times using symbolic Smith predictors,\u201d Proc. 55th IEEE Conference on Decision and Control, pp.5726-5731, Dec. 2016. 10.1109\/cdc.2016.7799149","DOI":"10.1109\/CDC.2016.7799149"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[17] M. Mizoguchi and T. Ushio, \u201cSymbolic design of networked control systems with state prediction,\u201d IEICE Trans. Inf. & Syst., vol.E100-D, no.6, pp.1158-1165, June 2017. 10.1587\/transinf.2016fop0001","DOI":"10.1587\/transinf.2016FOP0001"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[18] M. Zamani, M. Mazo, M. Khaled, and A. Abate, \u201cSymbolic abstractions of networked control systems,\u201d IEEE Trans, Control Netw. Syst., vol.5, no.4, pp.1622-1634, 2018. 10.1109\/tcns.2017.2739645","DOI":"10.1109\/TCNS.2017.2739645"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[19] A. Borri, G. Pola, and M.D.D. Benedetto, \u201cDesign of symbolic controllers for networked control systems,\u201d IEEE Trans. Autom. Control, vol.64, no.3, pp.1034-1046, 2019. 10.1109\/tac.2018.2833630","DOI":"10.1109\/TAC.2018.2833630"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[20] G. Pola, P. Pepe, and M.D.D. Benedetto, \u201cSymbolic models for networks of control systems,\u201d IEEE Trans. Autom. Control, vol.61, no.11, pp.3663-3668, Nov. 2016. 10.1109\/tac.2016.2528046","DOI":"10.1109\/TAC.2016.2528046"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[21] A. Borri, G. Pola, and M.D. Di Benedetto, \u201cA symbolic approach to the design of nonlinear networked control systems,\u201d Proc. 15th International Conference on Hybrid Systems: Computation and Control, pp.255-264, April 2012. 10.1145\/2185632.2185670","DOI":"10.1145\/2185632.2185670"},{"key":"20","doi-asserted-by":"crossref","unstructured":"[22] A. Borri, G. Pola, and M.D. Di Benedetto, \u201cIntegrated symbolic design of unstable nonlinear networked control systems,\u201d Proc. 51st IEEE Conference on Decision and Control, pp.1374-1379, Dec. 2012. 10.1109\/cdc.2012.6426158","DOI":"10.1109\/CDC.2012.6426158"},{"key":"21","unstructured":"[23] A. Borri, G. Pola, and M.D. Di Benedetto, \u201cSymbolic control design of nonlinear networked control systems,\u201d arXiv preprint arXiv:1404.0237, 2014."}],"container-title":["IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E104.A\/11\/E104.A_2021EAP1002\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,6]],"date-time":"2021-11-06T03:20:11Z","timestamp":1636168811000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E104.A\/11\/E104.A_2021EAP1002\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,1]]},"references-count":21,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2021]]}},"URL":"https:\/\/doi.org\/10.1587\/transfun.2021eap1002","relation":{},"ISSN":["0916-8508","1745-1337"],"issn-type":[{"value":"0916-8508","type":"print"},{"value":"1745-1337","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,1]]},"article-number":"2021EAP1002"}}