{"id":"https://openalex.org/W2892110232","doi":"https://doi.org/10.1109/icra.2018.8460811","title":"Learning-Based Model Predictive Control Under Signal Temporal Logic Specifications","display_name":"Learning-Based Model Predictive Control Under Signal Temporal Logic Specifications","publication_year":2018,"publication_date":"2018-05-01","ids":{"openalex":"https://openalex.org/W2892110232","doi":"https://doi.org/10.1109/icra.2018.8460811","mag":"2892110232"},"language":"en","primary_location":{"id":"doi:10.1109/icra.2018.8460811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra.2018.8460811","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE International Conference on Robotics and Automation (ICRA)","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/A5034975936","display_name":"Kyunghoon Cho","orcid":"https://orcid.org/0000-0002-4679-6660"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Kyunghoon Cho","raw_affiliation_strings":["Department of Electrical and Computer Engineering and ASRI, Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering and ASRI, Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033764106","display_name":"Songhwai Oh","orcid":"https://orcid.org/0000-0002-9781-2018"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Songhwai Oh","raw_affiliation_strings":["Department of Electrical and Computer Engineering and ASRI, Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering and ASRI, Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5034975936"],"corresponding_institution_ids":["https://openalex.org/I139264467"],"apc_list":null,"apc_paid":null,"fwci":1.3107,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.81688921,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"7322","last_page":"7329"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9987000226974487,"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.9987000226974487,"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/T11236","display_name":"Control Systems and Identification","score":0.9745000004768372,"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/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":0.9689000248908997,"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/computer-science","display_name":"Computer science","score":0.6829891204833984},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.6193480491638184},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.5669937133789062},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5140934586524963},{"id":"https://openalex.org/keywords/margin","display_name":"Margin (machine learning)","score":0.4804393947124481},{"id":"https://openalex.org/keywords/gaussian-process","display_name":"Gaussian process","score":0.47138720750808716},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4709506928920746},{"id":"https://openalex.org/keywords/rule-based-system","display_name":"Rule-based system","score":0.4483071565628052},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4256208539009094},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.36089062690734863},{"id":"https://openalex.org/keywords/gaussian","display_name":"Gaussian","score":0.34057408571243286}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6829891204833984},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.6193480491638184},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.5669937133789062},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5140934586524963},{"id":"https://openalex.org/C774472","wikidata":"https://www.wikidata.org/wiki/Q6760393","display_name":"Margin (machine learning)","level":2,"score":0.4804393947124481},{"id":"https://openalex.org/C61326573","wikidata":"https://www.wikidata.org/wiki/Q1496376","display_name":"Gaussian process","level":3,"score":0.47138720750808716},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4709506928920746},{"id":"https://openalex.org/C149271511","wikidata":"https://www.wikidata.org/wiki/Q1417149","display_name":"Rule-based system","level":2,"score":0.4483071565628052},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4256208539009094},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.36089062690734863},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.34057408571243286},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icra.2018.8460811","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra.2018.8460811","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7400000095367432,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1527587747","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1971984830","https://openalex.org/W1999874108","https://openalex.org/W2003132288","https://openalex.org/W2006859604","https://openalex.org/W2042795879","https://openalex.org/W2048563056","https://openalex.org/W2086092403","https://openalex.org/W2092884371","https://openalex.org/W2095901198","https://openalex.org/W2124623089","https://openalex.org/W2153813483","https://openalex.org/W2165364079","https://openalex.org/W2281096776","https://openalex.org/W2536620281","https://openalex.org/W2735511423","https://openalex.org/W2738712722","https://openalex.org/W4211049957","https://openalex.org/W4294399973","https://openalex.org/W6632722279","https://openalex.org/W6682753972","https://openalex.org/W6684353038","https://openalex.org/W6695206914","https://openalex.org/W6741774138"],"related_works":["https://openalex.org/W1990079087","https://openalex.org/W3125011624","https://openalex.org/W1508631387","https://openalex.org/W2370917603","https://openalex.org/W2952760143","https://openalex.org/W2101188133","https://openalex.org/W3202234113","https://openalex.org/W2017776670","https://openalex.org/W2169866437","https://openalex.org/W1964286703"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,16,43,52,75,88,94,116,125,148],"control":[4,79,99,151],"strategy":[5],"synthesis":[6],"method":[7,80,96,176],"for":[8],"dynamical":[9],"systems":[10],"with":[11],"differential":[12],"constraints":[13],"while":[14],"satisfying":[15],"set":[17],"of":[18,23,57,59,130],"given":[19,30,44],"rules":[20,35],"in":[21,39,81,147],"consideration":[22],"their":[24],"importances.":[25],"A":[26,111,122],"special":[27],"attention":[28],"is":[29,91,113,133,145],"to":[31,41,50,83,92,108,127,155,159],"situations":[32],"where":[33,87],"all":[34],"cannot":[36],"be":[37,66],"met":[38],"order":[40,82],"fulfill":[42],"task.":[45],"Such":[46],"dilemmas":[47,183],"compel":[48],"us":[49],"make":[51],"decision":[53],"on":[54],"the":[55,103,128,131,174],"degree":[56],"satisfaction":[58,129],"each":[60,161],"rule":[61,64,112],"including":[62],"which":[63,153],"should":[65],"maintained":[67],"or":[68],"not.":[69],"In":[70,167],"this":[71,85],"work,":[72],"we":[73,171],"propose":[74],"learning-based":[76],"model":[77,149],"predictive":[78,150],"solve":[84],"problem,":[86],"key":[89],"insight":[90],"combine":[93],"learning":[95],"and":[97,180],"traditional":[98],"scheme":[100],"so":[101],"that":[102,173],"designed":[104],"controller":[105],"behaves":[106],"close":[107],"human":[109,185],"experts.":[110],"represented":[114],"as":[115,184],"signal":[117],"temporal":[118],"logic":[119],"(STL)":[120],"formula.":[121],"robustness":[123],"slackness,":[124],"margin":[126,144],"rule,":[132,162],"learned":[134,143],"from":[135],"expert's":[136],"demonstrations":[137],"using":[138],"Gaussian":[139],"process":[140],"regression.":[141],"The":[142],"used":[146],"procedure,":[152],"helps":[154],"decide":[156],"how":[157],"much":[158],"obey":[160],"even":[163],"ignoring":[164],"specific":[165],"rules.":[166],"track":[168],"driving":[169],"simulation,":[170],"show":[172],"proposed":[175],"generates":[177],"human-like":[178],"behavior":[179],"efficiently":[181],"handles":[182],"teachers":[186],"do.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}