{"id":"https://openalex.org/W4400646411","doi":"https://doi.org/10.3390/s24144567","title":"Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications","display_name":"Model Predictive Control with Variational Autoencoders for Signal Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-07-14","ids":{"openalex":"https://openalex.org/W4400646411","doi":"https://doi.org/10.3390/s24144567","pmid":"https://pubmed.ncbi.nlm.nih.gov/39065965"},"language":"en","primary_location":{"id":"doi:10.3390/s24144567","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s24144567","pdf_url":"https://www.mdpi.com/1424-8220/24/14/4567/pdf?version=1721212332","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"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":"Sensors","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj","pubmed"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1424-8220/24/14/4567/pdf?version=1721212332","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108955330","display_name":"Eunji Im","orcid":null},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Eunji Im","raw_affiliation_strings":["Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea","institution_ids":["https://openalex.org/I146429904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102799508","display_name":"Minji Choi","orcid":"https://orcid.org/0000-0001-6533-3760"},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Minji Choi","raw_affiliation_strings":["Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea","institution_ids":["https://openalex.org/I146429904"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034975936","display_name":"Kyunghoon Cho","orcid":"https://orcid.org/0000-0002-4679-6660"},"institutions":[{"id":"https://openalex.org/I146429904","display_name":"Incheon National University","ror":"https://ror.org/02xf7p935","country_code":"KR","type":"education","lineage":["https://openalex.org/I146429904"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Kyunghoon Cho","raw_affiliation_strings":["Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea"],"raw_orcid":"https://orcid.org/0000-0002-4679-6660","affiliations":[{"raw_affiliation_string":"Department of Information and Telecommunication Engineering, Incheon National University, Incheon 22012, Republic of Korea","institution_ids":["https://openalex.org/I146429904"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5034975936"],"corresponding_institution_ids":["https://openalex.org/I146429904"],"apc_list":{"value":2400,"currency":"CHF","value_usd":2598},"apc_paid":{"value":2400,"currency":"CHF","value_usd":2598},"fwci":0.685,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.72043818,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"24","issue":"14","first_page":"4567","last_page":"4567"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9930999875068665,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9930999875068665,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9894999861717224,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6418346166610718},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.6049216389656067},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.5898795127868652},{"id":"https://openalex.org/keywords/margin","display_name":"Margin (machine learning)","score":0.5858815908432007},{"id":"https://openalex.org/keywords/autoencoder","display_name":"Autoencoder","score":0.5723955631256104},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5496075749397278},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5177901983261108},{"id":"https://openalex.org/keywords/rule-based-system","display_name":"Rule-based system","score":0.45797914266586304},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3438783884048462},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3329787850379944},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.26432812213897705},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.21568596363067627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6418346166610718},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.6049216389656067},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.5898795127868652},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.5858815908432007},{"id":"https://openalex.org/C101738243","wikidata":"https://www.wikidata.org/wiki/Q786435","display_name":"Autoencoder","level":3,"score":0.5723955631256104},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5496075749397278},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5177901983261108},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.45797914266586304},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3438783884048462},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3329787850379944},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.26432812213897705},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.21568596363067627},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/s24144567","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s24144567","pdf_url":"https://www.mdpi.com/1424-8220/24/14/4567/pdf?version=1721212332","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"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":"Sensors","raw_type":"journal-article"},{"id":"pmid:39065965","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/39065965","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sensors (Basel, Switzerland)","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:11280958","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/11280958","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC11280958/pdf/sensors-24-04567.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors (Basel)","raw_type":"Text"},{"id":"pmh:oai:doaj.org/article:4326f5a4b33444358f521a206a91a3a4","is_oa":true,"landing_page_url":"https://doaj.org/article/4326f5a4b33444358f521a206a91a3a4","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sensors, Vol 24, Iss 14, p 4567 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/s24144567","is_oa":true,"landing_page_url":"https://doi.org/10.3390/s24144567","pdf_url":"https://www.mdpi.com/1424-8220/24/14/4567/pdf?version=1721212332","source":{"id":"https://openalex.org/S101949793","display_name":"Sensors","issn_l":"1424-8220","issn":["1424-8220"],"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":"Sensors","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.75,"id":"https://metadata.un.org/sdg/10"}],"awards":[{"id":"https://openalex.org/G5046556569","display_name":null,"funder_award_id":"IITP-2024-RS-2023-00259678","funder_id":"https://openalex.org/F4320328359","funder_display_name":"Ministry of Science and ICT, South Korea"},{"id":"https://openalex.org/G8340648883","display_name":null,"funder_award_id":"IITP-2024-RS-2023-00259678","funder_id":"https://openalex.org/F4320335489","funder_display_name":"Institute for Information and Communications Technology Promotion"}],"funders":[{"id":"https://openalex.org/F4320328359","display_name":"Ministry of Science and ICT, South Korea","ror":"https://ror.org/01wpjm123"},{"id":"https://openalex.org/F4320335489","display_name":"Institute for Information and Communications Technology Promotion","ror":"https://ror.org/01g0hqq23"},{"id":"https://openalex.org/F4320337407","display_name":"Division of Human Resource Development","ror":"https://ror.org/03mamvh39"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4400646411.pdf","grobid_xml":"https://content.openalex.org/works/W4400646411.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1999874108","https://openalex.org/W2048563056","https://openalex.org/W2086092403","https://openalex.org/W2092884371","https://openalex.org/W2095901198","https://openalex.org/W2153813483","https://openalex.org/W2165364079","https://openalex.org/W2188365844","https://openalex.org/W2281096776","https://openalex.org/W2281287867","https://openalex.org/W2410617946","https://openalex.org/W2559767995","https://openalex.org/W2738712722","https://openalex.org/W2869375357","https://openalex.org/W2892110232","https://openalex.org/W2896642734","https://openalex.org/W2962894046","https://openalex.org/W2963945659","https://openalex.org/W2964147651","https://openalex.org/W2981402159","https://openalex.org/W3202328163","https://openalex.org/W3205423339","https://openalex.org/W4225373745","https://openalex.org/W4286423847","https://openalex.org/W4312329801","https://openalex.org/W4324290363","https://openalex.org/W4386737220","https://openalex.org/W4386766454","https://openalex.org/W4400770903","https://openalex.org/W6631332758","https://openalex.org/W6678424646","https://openalex.org/W6756040250"],"related_works":["https://openalex.org/W3013693939","https://openalex.org/W2159052453","https://openalex.org/W2566616303","https://openalex.org/W3131327266","https://openalex.org/W2734887215","https://openalex.org/W4297051394","https://openalex.org/W2752972570","https://openalex.org/W2145836866","https://openalex.org/W2803255133","https://openalex.org/W2909431601"],"abstract_inverted_index":{"This":[0,120],"paper":[1],"presents":[2],"a":[3,36,60,75,79,115,139],"control":[4,81],"strategy":[5],"synthesis":[6],"method":[7,66,77,144],"for":[8],"dynamical":[9],"systems":[10],"with":[11,78],"differential":[12],"constraints,":[13],"emphasizing":[14],"the":[15,42,84,104,127,132,146],"prioritization":[16,133],"of":[17,106,136,153],"specific":[18],"rules.":[19,137],"Special":[20],"attention":[21],"is":[22,48,109,123],"given":[23,37],"to":[24,34,44,68,86,130,148],"scenarios":[25],"where":[26],"not":[27],"all":[28],"rules":[29,52],"can":[30],"be":[31,54],"simultaneously":[32],"satisfied":[33],"complete":[35],"task,":[38],"necessitating":[39],"decisions":[40],"on":[41],"extent":[43],"which":[45,51],"each":[46],"rule":[47,107],"satisfied,":[49],"including":[50],"must":[53],"upheld":[55],"or":[56,134],"disregarded.":[57],"We":[58],"propose":[59],"learning-based":[61],"Model":[62],"Predictive":[63],"Control":[64],"(MPC)":[65],"designed":[67],"address":[69],"these":[70],"challenges.":[71],"Our":[72],"approach":[73],"integrates":[74],"learning":[76],"traditional":[80],"scheme,":[82],"enabling":[83],"controller":[85],"emulate":[87],"human":[88,154],"expert":[89,112],"behavior.":[90],"Rules":[91],"are":[92],"represented":[93],"as":[94],"Signal":[95],"Temporal":[96],"Logic":[97],"(STL)":[98],"formulas.":[99],"A":[100],"robustness":[101],"margin,":[102],"quantifying":[103],"degree":[105],"satisfaction,":[108],"learned":[110,121],"from":[111],"demonstrations":[113],"using":[114],"Conditional":[116],"Variational":[117],"Autoencoder":[118],"(CVAE).":[119],"margin":[122],"then":[124],"applied":[125],"in":[126],"MPC":[128],"process":[129],"guide":[131],"exclusion":[135],"In":[138],"track":[140],"driving":[141],"simulation,":[142],"our":[143],"demonstrates":[145],"ability":[147],"generate":[149],"behavior":[150],"resembling":[151],"that":[152],"experts":[155],"and":[156],"effectively":[157],"manage":[158],"rule-based":[159],"dilemmas.":[160]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}