{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T07:35:22Z","timestamp":1762068922921,"version":"build-2065373602"},"reference-count":22,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"10","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2022,10,1]]},"DOI":"10.1587\/transinf.2021fop0003","type":"journal-article","created":{"date-parts":[[2022,9,30]],"date-time":"2022-09-30T22:33:40Z","timestamp":1664577220000},"page":"1658-1664","source":"Crossref","is-referenced-by-count":2,"title":["Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications"],"prefix":"10.1587","volume":"E105.D","author":[{"given":"Takuma","family":"KINUGAWA","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] R. Kontchakov, A. Kurucz, F. Wolter, and M. Zakharyaschev, \u201cSpatial logic + temporal Logic =?,\u201d Handbook of Spatial Logics, Springer, pp.497-564, 2007.","DOI":"10.1007\/978-1-4020-5587-4_9"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] I. Haghighi, A. Jones, Z. Kong, E. Bartocci, R. Gros, and C. Belta, \u201cSpaTeL: a novel spatial-temporal logic and its applications to networked systems,\u201d Proc. of the 18th International Conference on Hybrid Systems: Computation and Control, pp.189-198, 2015. 10.1145\/2728606.2728633","DOI":"10.1145\/2728606.2728633"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] E. Bartocci, L. Bortolussi, D. Milios, L. Nenzi, and G. Sanguinetti, \u201cStudying emergent behaviours in morphogenesis using signal spatio-temporal logic,\u201d Proc. of International Workshop on Hybrid Systems Biology, pp.156-172, 2015. 10.1007\/978-3-319-26916-0_9","DOI":"10.1007\/978-3-319-26916-0_9"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] C. Tsigkanos, L. Nenzi, M. Lereti, M. Garriga, S. Dustdar, and C. Ghezzi, \u201cInferring analyzable models from trajectories of spatially-distributed internet of things,\u201d Proc. of IEEE\/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp.100-106, 2019. 10.1109\/seams.2019.00021","DOI":"10.1109\/SEAMS.2019.00021"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] T. Li, J. Liu, J. Kang, H. Sun, W. Yin, X. Chen, and H. Wang, \u201cSTSL: a novel spatio-temporal specification language for cyber-physical systems,\u201d Proc. of the 2020 IEEE International Conference on Software Quality, Reliability, and Security, pp.309-319, 2020. 10.1109\/qrs51102.2020.00048","DOI":"10.1109\/QRS51102.2020.00048"},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] E. Bartocci, L. Bortolussi, L. Nenzi, and M. Loreti, \u201cA Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems,\u201d vol.18, no.1, 2022. 10.46298\/lmcs-18(1:4)2022","DOI":"10.46298\/lmcs-18(1:4)2022"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] E.A. Gol, E. Bartocci, and C. Belta, \u201cA formal methods approach to pattern synthesis in reaction diffusion systems,\u201d Proc. of the 53rd IEEE Conference on Decision and Control, pp.108-113, 2014. 10.1109\/cdc.2014.7039367","DOI":"10.1109\/CDC.2014.7039367"},{"key":"8","unstructured":"[8] O. Maler and D. Nickovic, \u201cMonitoring temporal properties of continuous signals,\u201d Lecture Notes in Computer Science, vol.3253, pp.152-166, Springer, 2004. 10.1007\/978-3-540-30206-3_12"},{"key":"9","unstructured":"[9] L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, and M. Massink, \u201cQualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL,\u201d Logical Methods in Computer Science, vol.14, no.4, pp.1-38, 2018."},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] M. Ma, E. Bartocci, E. Lifland, J. Stankovic, and L. Feng, \u201cA novel spatial-temporal specification-based monitoring system for smart cities,\u201d IEEE Internet Things J., vol.8, no.15, pp.11793-11806, 2021. 10.1109\/jiot.2021.3069943","DOI":"10.1109\/JIOT.2021.3069943"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] E.M. Wolff, U. Topcu, and R.M. Murray, \u201cOptimization-based trajectory generation with linear temporal logic specifications,\u201d Proc. of 2014 IEEE International Conference on Robotics and Automation, pp.5319-5325, 2014. 10.1109\/icra.2014.6907641","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] V. Raman, A. Donz\u00e9, M. Maasoumy, R.M. Murray, A. Sangiovanni-Vincentelli, and S.A. Seshia, \u201cModel predictive control with signal temporal logic specifications,\u201d Proc. of the 53rd IEEE Conference on Decision and Control, pp.81-87, 2014. 10.1109\/cdc.2014.7039363","DOI":"10.1109\/CDC.2014.7039363"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] Y.E. Sahin, P. Nilsson, and N. Ozay, \u201cMultirobot coordination with counting temporal logics,\u201d IEEE Trans. Robot., vol.36, no.4, pp.1189-1206, 2020. 10.1109\/tro.2019.2957669","DOI":"10.1109\/TRO.2019.2957669"},{"key":"14","doi-asserted-by":"publisher","unstructured":"[14] Z. Liu, B. Wu, J. Dai, and H. Lin, \u201cDistributed communication-aware motion planning for networked mobile robots under formal specifications,\u201d IEEE Transactions on Control of Network Systems, vol.7, no.4, pp.1801-1811, 2020. 10.1109\/tcns.2020.3000742","DOI":"10.1109\/TCNS.2020.3000742"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] E. Bartocci, E.A. Gol, I. Haghighi, and C. Belta, \u201cA formal methods approach to pattern recognition and synthesis in reaction diffusion networks,\u201d IEEE Transactions on Control of Network Systems, vol.5, no.1, pp.308-320, 2018. 10.1109\/tcns.2016.2609138","DOI":"10.1109\/TCNS.2016.2609138"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] F. Penedo, H. Park, and C. Belta, \u201cControl synthesis for partial differential equations from spatio-temporal specifications,\u201d Proc. of the 57th IEEE Conference on Decision and Control, pp.4890-4895, 2018. 10.1109\/cdc.2018.8619313","DOI":"10.1109\/CDC.2018.8619313"},{"key":"17","doi-asserted-by":"publisher","unstructured":"[17] K. Kobayashi, T. Nagami, and K. Hiraishi, \u201cOptimal control of multi-vehicle systems with temporal logic constraints,\u201d IEICE Transations on Fundamentals, vol.E98-A, no.2, pp.626-634, 2015. 10.1587\/transfun.e98.a.626","DOI":"10.1587\/transfun.E98.A.626"},{"key":"18","unstructured":"[18] G. De Giacomo and M.Y. Vardi, \u201cLinear temporal logic and linear dynamic logic on finite traces,\u201d Proc. of the 23rd International Joint Conference on Artificial Intelligence, pp.854-860, 2013."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] K. He, M. Lahijanian, L.E. Kavraki, and M.Y. Vardi, \u201cReactive synthesis for finite tasks under resource constraints,\u201d Proc. of 2017 IEEE\/RSJ International Conference on Intelligent Robotics and Systems, pp.5326-5332, 2017. 10.1109\/iros.2017.8206426","DOI":"10.1109\/IROS.2017.8206426"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] A.M. Wells, M. Lahijanian, L.E. Kavraki, and M.Y. Vardi, \u201cLTLf synthesis on probabilistic systems,\u201d Proc. of the 11th International Symposium on Games, Automata, Logics, and Formal Verification, vol.326, pp.166-181, 2020. 10.4204\/eptcs.326.11","DOI":"10.4204\/EPTCS.326.11"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] T. Kinugawa, K. Hashimoto, and T. Ushio, \u201cControl of timed discrete event systems with ticked linear temporal logic constraints,\u201d IFAC-PapersOnLine, vol.53, no.2, pp.2143-2148, 2020. 10.1016\/j.ifacol.2020.12.2539","DOI":"10.1016\/j.ifacol.2020.12.2539"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] A. Biere, K. Heljanko, T. Junttila, T. Latvala, and V. Schuppan, \u201cLinear encodings of bounded LTL model checking,\u201d Logical Methods in Computer Science, vol.2, no.5, pp.1-64, 2006. 10.2168\/lmcs-2(5:5)2006","DOI":"10.2168\/LMCS-2(5:5)2006"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E105.D\/10\/E105.D_2021FOP0003\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T04:25:08Z","timestamp":1664598308000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E105.D\/10\/E105.D_2021FOP0003\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,1]]},"references-count":22,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2022]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2021fop0003","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"type":"print","value":"0916-8532"},{"type":"electronic","value":"1745-1361"}],"subject":[],"published":{"date-parts":[[2022,10,1]]},"article-number":"2021FOP0003"}}