{"id":"https://openalex.org/W4302774961","doi":"https://doi.org/10.23919/sice56594.2022.9905828","title":"Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System","display_name":"Koopman-Model Predictive Control with Signal Temporal Logic Specifications for Temperature Regulation of a Warm-Water Supply System","publication_year":2022,"publication_date":"2022-09-06","ids":{"openalex":"https://openalex.org/W4302774961","doi":"https://doi.org/10.23919/sice56594.2022.9905828"},"language":"en","primary_location":{"id":"doi:10.23919/sice56594.2022.9905828","is_oa":false,"landing_page_url":"https://doi.org/10.23919/sice56594.2022.9905828","pdf_url":null,"source":{"id":"https://openalex.org/S4363608498","display_name":"2022 61st Annual Conference of the Society of Instrument and Control Engineers (SICE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 61st Annual Conference of the Society of Instrument and Control Engineers (SICE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049384937","display_name":"Ryo Miyashita","orcid":"https://orcid.org/0009-0002-2225-192X"},"institutions":[{"id":"https://openalex.org/I15807432","display_name":"Osaka Prefecture University","ror":"https://ror.org/02cf1je33","country_code":"JP","type":"education","lineage":["https://openalex.org/I15807432"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Ryo Miyashita","raw_affiliation_strings":["Osaka Prefecture University,Department of Electrical and Information Systems,Sakai,Japan","Department of Electrical and Information Systems, Osaka Prefecture University, Sakai, Japan"],"affiliations":[{"raw_affiliation_string":"Osaka Prefecture University,Department of Electrical and Information Systems,Sakai,Japan","institution_ids":["https://openalex.org/I15807432"]},{"raw_affiliation_string":"Department of Electrical and Information Systems, Osaka Prefecture University, Sakai, Japan","institution_ids":["https://openalex.org/I15807432"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037688537","display_name":"Yoshihiko Susuki","orcid":"https://orcid.org/0000-0003-4701-1199"},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshihiko Susuki","raw_affiliation_strings":["Kyoto University,Department of Electrical Engineering,Kyoto,Japan","Department of Electrical Engineering, Kyoto University, Kyoto, Japan"],"affiliations":[{"raw_affiliation_string":"Kyoto University,Department of Electrical Engineering,Kyoto,Japan","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Department of Electrical Engineering, Kyoto University, Kyoto, Japan","institution_ids":["https://openalex.org/I22299242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054555479","display_name":"Atsushi Ishigame","orcid":"https://orcid.org/0000-0002-8470-5774"},"institutions":[{"id":"https://openalex.org/I15807432","display_name":"Osaka Prefecture University","ror":"https://ror.org/02cf1je33","country_code":"JP","type":"education","lineage":["https://openalex.org/I15807432"]},{"id":"https://openalex.org/I4387152983","display_name":"Osaka Metropolitan University","ror":"https://ror.org/01hvx5h04","country_code":null,"type":"education","lineage":["https://openalex.org/I4387152983"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Atsushi Ishigame","raw_affiliation_strings":["Osaka Prefecture University,Department of Electrical and Information Systems,Sakai,Japan","Department of Electrical and Information Systems, Osaka Prefecture University, Sakai, Japan","Department of Electrical and Electronic Systems Engineering, Osaka Metropolitan University, Sakai, Japan"],"affiliations":[{"raw_affiliation_string":"Osaka Prefecture University,Department of Electrical and Information Systems,Sakai,Japan","institution_ids":["https://openalex.org/I15807432"]},{"raw_affiliation_string":"Department of Electrical and Information Systems, Osaka Prefecture University, Sakai, Japan","institution_ids":["https://openalex.org/I15807432"]},{"raw_affiliation_string":"Department of Electrical and Electronic Systems Engineering, Osaka Metropolitan University, Sakai, Japan","institution_ids":["https://openalex.org/I4387152983"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049384937"],"corresponding_institution_ids":["https://openalex.org/I15807432"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18490566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1113","last_page":"1118"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10217","display_name":"Cardiac electrophysiology and arrhythmias","score":0.9800000190734863,"subfield":{"id":"https://openalex.org/subfields/2705","display_name":"Cardiology and Cardiovascular Medicine"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.6955204010009766},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.694156289100647},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.66917484998703},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6209527254104614},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5859836339950562},{"id":"https://openalex.org/keywords/temperature-control","display_name":"Temperature control","score":0.5527151226997375},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.5433524250984192},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5032071471214294},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4908088147640228},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.47602421045303345},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.459404855966568},{"id":"https://openalex.org/keywords/water-supply","display_name":"Water supply","score":0.43016955256462097},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.41295501589775085},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2123599350452423},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13406962156295776},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12768268585205078},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1100664734840393}],"concepts":[{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.6955204010009766},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.694156289100647},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.66917484998703},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6209527254104614},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5859836339950562},{"id":"https://openalex.org/C536315585","wikidata":"https://www.wikidata.org/wiki/Q7698332","display_name":"Temperature control","level":2,"score":0.5527151226997375},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.5433524250984192},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5032071471214294},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4908088147640228},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.47602421045303345},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.459404855966568},{"id":"https://openalex.org/C97053079","wikidata":"https://www.wikidata.org/wiki/Q1061108","display_name":"Water supply","level":2,"score":0.43016955256462097},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.41295501589775085},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2123599350452423},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13406962156295776},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12768268585205078},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1100664734840393},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C87717796","wikidata":"https://www.wikidata.org/wiki/Q146326","display_name":"Environmental engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/sice56594.2022.9905828","is_oa":false,"landing_page_url":"https://doi.org/10.23919/sice56594.2022.9905828","pdf_url":null,"source":{"id":"https://openalex.org/S4363608498","display_name":"2022 61st Annual Conference of the Society of Instrument and Control Engineers (SICE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 61st Annual Conference of the Society of Instrument and Control Engineers (SICE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/6","score":0.8399999737739563,"display_name":"Clean water and sanitation"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1513578097","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1985912541","https://openalex.org/W2026629052","https://openalex.org/W2092884371","https://openalex.org/W2561027863","https://openalex.org/W2575165025","https://openalex.org/W2764273609","https://openalex.org/W2905277694","https://openalex.org/W2963874965","https://openalex.org/W3081700098","https://openalex.org/W4239539940","https://openalex.org/W6820368328"],"related_works":["https://openalex.org/W1990079087","https://openalex.org/W2101188133","https://openalex.org/W3202234113","https://openalex.org/W4248731570","https://openalex.org/W2381210024","https://openalex.org/W2060165215","https://openalex.org/W2384015130","https://openalex.org/W4285595274","https://openalex.org/W81137451","https://openalex.org/W2962938355"],"abstract_inverted_index":{"Control":[0,89],"of":[1,13,23,33,48,95,114,122,138],"warm-water":[2,24,50,139],"supply":[3,25,51],"for":[4,29,53,104],"dialysis":[5],"treatment":[6],"in":[7,44,81],"a":[8,30,45,49,73,92,112,123],"hospital":[9],"environment":[10],"is":[11,37,72,132,144],"typical":[12],"safety-critical":[14],"control":[15,55,64],"problems.":[16],"In":[17,57],"order":[18],"to":[19,39,62,110,134],"guarantee":[20],"the":[21,41,54,85,100,119,128,135],"continuity":[22],"satisfying":[26],"physical":[27],"specifications":[28,65],"wide":[31],"range":[32],"operating":[34],"conditions,":[35],"it":[36],"inevitable":[38],"consider":[40],"nonlinearity":[42],"involved":[43],"dynamic":[46],"model":[47],"system":[52,125],"design.":[56],"this":[58],"paper,":[59],"we":[60],"propose":[61],"incorporate":[63],"described":[66],"by":[67],"signal":[68],"temporal":[69,74],"logic,":[70],"which":[71],"logic":[75],"with":[76],"semantics":[77],"over":[78],"finite-time":[79],"signals":[80],"formal":[82],"methods,":[83],"into":[84],"so-called":[86],"Koopman-Model":[87],"Predictive":[88],"(MPC)":[90],"as":[91],"novel":[93],"technique":[94],"nonlinear":[96,105,124],"MPC":[97],"based":[98],"on":[99],"Koopman":[101],"operator":[102],"framework":[103],"systems.":[106],"This":[107],"enables":[108],"us":[109],"generate":[111],"sequence":[113],"optimal":[115],"inputs":[116],"such":[117],"that":[118],"controlled":[120],"state":[121],"can":[126],"satisfy":[127],"specifications.":[129],"The":[130],"proposal":[131],"applied":[133],"temperature":[136],"regulation":[137],"supply,":[140],"and":[141],"its":[142],"effectiveness":[143],"established":[145],"numerically.":[146]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}