{"id":"https://openalex.org/W4402994369","doi":"https://doi.org/10.3390/computation12100196","title":"Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications","display_name":"Model Predictive Control of Spatially Distributed Systems with Spatio-Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-09-30","ids":{"openalex":"https://openalex.org/W4402994369","doi":"https://doi.org/10.3390/computation12100196"},"language":"en","primary_location":{"id":"doi:10.3390/computation12100196","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation12100196","pdf_url":"https://www.mdpi.com/2079-3197/12/10/196/pdf?version=1727674680","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2079-3197/12/10/196/pdf?version=1727674680","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107666539","display_name":"Ikkei Komizu","orcid":null},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Ikkei Komizu","raw_affiliation_strings":["Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, Japan"],"raw_orcid":"https://orcid.org/0009-0006-0389-4494","affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, Japan","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040531473","display_name":"Koichi Kobayashi","orcid":"https://orcid.org/0000-0002-3358-0254"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Koichi Kobayashi","raw_affiliation_strings":["Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, Japan"],"raw_orcid":"https://orcid.org/0000-0002-3358-0254","affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, Japan","institution_ids":["https://openalex.org/I205349734"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054322992","display_name":"Yuh Yamashita","orcid":"https://orcid.org/0000-0001-7190-6609"},"institutions":[{"id":"https://openalex.org/I205349734","display_name":"Hokkaido University","ror":"https://ror.org/02e16g702","country_code":"JP","type":"education","lineage":["https://openalex.org/I205349734"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yuh Yamashita","raw_affiliation_strings":["Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, Japan"],"raw_orcid":"https://orcid.org/0000-0001-7190-6609","affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technoloty, Hokkaido University, Sapporo 060-0814, Japan","institution_ids":["https://openalex.org/I205349734"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5040531473"],"corresponding_institution_ids":["https://openalex.org/I205349734"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.631,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6950954,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"12","issue":"10","first_page":"196","last_page":"196"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9879000186920166,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9836000204086304,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6443760991096497},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6280131340026855},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.6249464750289917},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.4438871443271637},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.35862940549850464},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3487411141395569},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27197980880737305},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19705769419670105}],"concepts":[{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6443760991096497},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6280131340026855},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.6249464750289917},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.4438871443271637},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.35862940549850464},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3487411141395569},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27197980880737305},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19705769419670105}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/computation12100196","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation12100196","pdf_url":"https://www.mdpi.com/2079-3197/12/10/196/pdf?version=1727674680","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:4ef0aa99415346e8998062569fc13e16","is_oa":true,"landing_page_url":"https://doaj.org/article/4ef0aa99415346e8998062569fc13e16","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation, Vol 12, Iss 10, p 196 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/computation12100196","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation12100196","pdf_url":"https://www.mdpi.com/2079-3197/12/10/196/pdf?version=1727674680","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5361909846","display_name":null,"funder_award_id":"JP22K04163","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6912140845","display_name":null,"funder_award_id":"JP21H04558","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G8578246701","display_name":null,"funder_award_id":"JP23H01430","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4402994369.pdf"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1547304883","https://openalex.org/W2052176811","https://openalex.org/W2063947461","https://openalex.org/W2103875014","https://openalex.org/W2143760481","https://openalex.org/W2397091787","https://openalex.org/W2489773810","https://openalex.org/W2726579140","https://openalex.org/W2972301400","https://openalex.org/W3042656839","https://openalex.org/W3108970914","https://openalex.org/W3112287059","https://openalex.org/W3135282524","https://openalex.org/W3189223768","https://openalex.org/W3200011036","https://openalex.org/W3214234367","https://openalex.org/W4210600503","https://openalex.org/W4298120769","https://openalex.org/W4364377857","https://openalex.org/W4386737220","https://openalex.org/W4388294838","https://openalex.org/W4388316838","https://openalex.org/W4389235528","https://openalex.org/W4400946192","https://openalex.org/W4401416934","https://openalex.org/W6681186362","https://openalex.org/W6740221252"],"related_works":["https://openalex.org/W858755136","https://openalex.org/W2140351986","https://openalex.org/W2143025323","https://openalex.org/W3005864166","https://openalex.org/W1981889059","https://openalex.org/W2572650333","https://openalex.org/W4288601052","https://openalex.org/W1969550103","https://openalex.org/W2184759525","https://openalex.org/W2556120871"],"abstract_inverted_index":{"In":[0,38],"this":[1],"paper,":[2],"for":[3],"spatially":[4],"distributed":[5],"systems,":[6],"we":[7],"propose":[8],"a":[9,51,81,121],"new":[10],"method":[11,117],"of":[12,91,114],"model":[13,92],"predictive":[14,93],"control":[15,24,48,67,75,94,97,106],"with":[16,26],"spatio-temporal":[17,32],"logic":[18,33],"specifications.":[19],"We":[20],"formulate":[21],"the":[22,39,42,54,60,89,96,104,115],"finite-time":[23,74,105],"problem":[25,40,76,107],"specifications":[27,49,68],"described":[28],"by":[29,46,102],"SSTLf":[30],"(signal":[31],"over":[34],"finite":[35],"traces)":[36],"formulas.":[37],"formulation,":[41],"feasibility":[43],"is":[44,118],"guaranteed":[45],"representing":[47],"as":[50,69,71,80],"penalty":[52],"in":[53,59],"cost":[55,61],"function.":[56],"Time-varying":[57],"weights":[58],"function":[62],"are":[63],"introduced":[64],"to":[65,88],"satisfy":[66],"well":[70],"possible.":[72],"The":[73,112],"can":[77,99],"be":[78,100],"written":[79],"mixed":[82],"integer":[83],"programming":[84],"(MIP)":[85],"problem.":[86],"According":[87],"policy":[90],"(MPC),":[95],"input":[98],"generated":[101],"solving":[103],"at":[108],"each":[109],"discrete":[110],"time.":[111],"effectiveness":[113],"proposed":[116],"presented":[119],"through":[120],"numerical":[122],"example.":[123]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}