{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:21:48Z","timestamp":1730344908561,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T00:00:00Z","timestamp":1662422400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,6]]},"DOI":"10.23919\/sice56594.2022.9905828","type":"proceedings-article","created":{"date-parts":[[2022,10,6]],"date-time":"2022-10-06T19:43:18Z","timestamp":1665085398000},"page":"1113-1118","source":"Crossref","is-referenced-by-count":0,"title":["Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System"],"prefix":"10.23919","author":[{"given":"Ryo","family":"Miyashita","sequence":"first","affiliation":[{"name":"Osaka Prefecture University,Department of Electrical and Information Systems,Sakai,Japan"}]},{"given":"Yoshihiko","family":"Susuki","sequence":"additional","affiliation":[{"name":"Kyoto University,Department of Electrical Engineering,Kyoto,Japan"}]},{"given":"Atsushi","family":"Ishigame","sequence":"additional","affiliation":[{"name":"Osaka Prefecture University,Department of Electrical and Information Systems,Sakai,Japan"}]}],"member":"263","reference":[{"key":"ref10","article-title":"A design of hot-water supply system based on formal method and its numerical simulation","author":"otani","year":"2019","journal-title":"Proceedings of the 62nd Japan Joint Automatic Control Conference 1F1-02"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.03.046"},{"key":"ref12","article-title":"The Koopman Operator in Systems and Control","author":"mauroy","year":"2020","journal-title":"Concepts Methodologies and Applications"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.11.718"},{"key":"ref14","first-page":"795","article-title":"Koopman-model predictive control with signal temporal logic specifications and its application to a warm-water supply system","author":"miyashita","year":"2022","journal-title":"Proceedings of the Annual Conference of the Institute of Systems Control and Information Engineers"},{"key":"ref15","first-page":"36","article-title":"The ecological development of Kitakyushu smart community: the role and significance of medical facility in the Kitakyushu smart community","volume":"44","author":"matsuo","year":"2015","journal-title":"Environ Inform Sci"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1299\/kikaib.71.1885"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1541\/ieejpes.130.338"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1868","DOI":"10.1109\/LCSYS.2020.3047586","article-title":"On analytical construction of observable functions in extended dynamic mode decomposition for nonlinear estimation and prediction","volume":"5","author":"marcos","year":"2021","journal-title":"Systems & Control Letters"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref3","first-page":"215","article-title":"Formal design of controller:temporal logic specification and game theoretic approach","volume":"62","author":"ushio","year":"2018","journal-title":"Systems Control and Information"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref8","first-page":"160","article-title":"BluSTL: Controller synthesis from signal temporal logic specifications","volume":"34","author":"donz\u00e9","year":"2015","journal-title":"EPiC Series Comput"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-053018-023717"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062465"},{"key":"ref9","first-page":"589","article-title":"A study on control of hot water supply system using signal temporal logic","author":"miyashita","year":"2021","journal-title":"Proceedings of the Annual Conference of the Institute of Systems Control and Information Engineers"}],"event":{"name":"2022 61st Annual Conference of the Society of Instrument and Control Engineers (SICE)","start":{"date-parts":[[2022,9,6]]},"location":"Kumamoto, Japan","end":{"date-parts":[[2022,9,9]]}},"container-title":["2022 61st Annual Conference of the Society of Instrument and Control Engineers (SICE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9905734\/9905735\/09905828.pdf?arnumber=9905828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T20:24:47Z","timestamp":1669667087000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9905828\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.23919\/sice56594.2022.9905828","relation":{},"subject":[],"published":{"date-parts":[[2022,9,6]]}}}