{"id":"https://openalex.org/W4386737220","doi":"https://doi.org/10.1109/lra.2023.3315536","title":"Signal Temporal Logic Neural Predictive Control","display_name":"Signal Temporal Logic Neural Predictive Control","publication_year":2023,"publication_date":"2023-09-14","ids":{"openalex":"https://openalex.org/W4386737220","doi":"https://doi.org/10.1109/lra.2023.3315536"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2023.3315536","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2023.3315536","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-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/A5101926455","display_name":"Yue Meng","orcid":"https://orcid.org/0000-0003-0204-4819"},"institutions":[{"id":"https://openalex.org/I46020346","display_name":"American Institute of Aeronautics and Astronautics","ror":"https://ror.org/00a1rzv11","country_code":"US","type":"other","lineage":["https://openalex.org/I46020346"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yue Meng","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0000-0003-0204-4819","affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I46020346","https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019603699","display_name":"Chuchu Fan","orcid":"https://orcid.org/0000-0003-4671-233X"},"institutions":[{"id":"https://openalex.org/I46020346","display_name":"American Institute of Aeronautics and Astronautics","ror":"https://ror.org/00a1rzv11","country_code":"US","type":"other","lineage":["https://openalex.org/I46020346"]},{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chuchu Fan","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4671-233X","affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA","institution_ids":["https://openalex.org/I46020346","https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.109,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.93021702,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"8","issue":"11","first_page":"7719","last_page":"7726"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9962999820709229,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9775000214576721,"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.7900629043579102},{"id":"https://openalex.org/keywords/backup","display_name":"Backup","score":0.7085071206092834},{"id":"https://openalex.org/keywords/model-predictive-control","display_name":"Model predictive control","score":0.6215649247169495},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6129546761512756},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.582298755645752},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.46836745738983154},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.4624747037887573},{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.45771920680999756},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.44385749101638794},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4320519268512726},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37049606442451477},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3449188768863678},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3066614866256714},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.0884709358215332}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7900629043579102},{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.7085071206092834},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.6215649247169495},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6129546761512756},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.582298755645752},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.46836745738983154},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.4624747037887573},{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.45771920680999756},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.44385749101638794},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4320519268512726},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37049606442451477},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3449188768863678},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3066614866256714},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0884709358215332},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","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/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/lra.2023.3315536","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2023.3315536","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5599049367","display_name":null,"funder_award_id":"CCF-2238030","funder_id":"https://openalex.org/F4320335353","funder_display_name":"National Science Foundation of Sri Lanka"}],"funders":[{"id":"https://openalex.org/F4320335353","display_name":"National Science Foundation of Sri Lanka","ror":"https://ror.org/010xaa060"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W1522301498","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1791240938","https://openalex.org/W1995626426","https://openalex.org/W2023808162","https://openalex.org/W2026629052","https://openalex.org/W2071797744","https://openalex.org/W2101804404","https://openalex.org/W2132083787","https://openalex.org/W2144588269","https://openalex.org/W2524638160","https://openalex.org/W2567705466","https://openalex.org/W2618970890","https://openalex.org/W2621540998","https://openalex.org/W2772485446","https://openalex.org/W2781726626","https://openalex.org/W2841721725","https://openalex.org/W2842089854","https://openalex.org/W2892110232","https://openalex.org/W2971273347","https://openalex.org/W3004091789","https://openalex.org/W3021964239","https://openalex.org/W3033621224","https://openalex.org/W3045535642","https://openalex.org/W3103842254","https://openalex.org/W3120924814","https://openalex.org/W3155735978","https://openalex.org/W3157648907","https://openalex.org/W3176233416","https://openalex.org/W3200011036","https://openalex.org/W3216772467","https://openalex.org/W4205291195","https://openalex.org/W4210600503","https://openalex.org/W4288319859","https://openalex.org/W4295312788","https://openalex.org/W4298206671","https://openalex.org/W4312828861","https://openalex.org/W4391020624","https://openalex.org/W6631190155","https://openalex.org/W6747473740","https://openalex.org/W6751494529","https://openalex.org/W6764053384","https://openalex.org/W6766978945","https://openalex.org/W6785439472","https://openalex.org/W6804601995"],"related_works":["https://openalex.org/W2955195711","https://openalex.org/W2354454611","https://openalex.org/W2993266126","https://openalex.org/W2392283887","https://openalex.org/W2351388597","https://openalex.org/W2829881200","https://openalex.org/W2184647741","https://openalex.org/W2367727984","https://openalex.org/W2939925694","https://openalex.org/W2401318764"],"abstract_inverted_index":{"Ensuring":[0],"safety":[1,156],"and":[2,23,43,80,169,192],"meeting":[3],"temporal":[4,14],"specifications":[5,66,206],"are":[6,40],"critical":[7],"challenges":[8],"for":[9],"long-term":[10],"robotic":[11],"tasks.":[12],"Signal":[13],"logic":[15],"(STL)":[16],"has":[17],"been":[18],"widely":[19],"used":[20],"to":[21,46,62,78,92,99,109,113,124,139,154,165],"systematically":[22],"rigorously":[24],"specify":[25],"these":[26],"requirements.":[27],"However,":[28],"traditional":[29],"methods":[30,57,188,195],"of":[31,143],"finding":[32],"the":[33,60,64,83,101,115,129,141,144,182,186,212],"control":[34],"policy":[35,61,151,184],"under":[36],"those":[37],"STL":[38,65,116,145,197,205],"requirements":[39,102],"computationally":[41],"complex":[42,51,204],"not":[44],"scalable":[45],"high-dimensional":[47],"or":[48,69],"systems":[49],"with":[50,181,203],"nonlinear":[52],"dynamics.":[53],"Reinforcement":[54],"learning":[55],"(RL)":[56],"can":[58,163],"learn":[59,94],"satisfy":[63,100],"via":[67],"hand-crafted":[68],"STL-inspired":[70],"rewards,":[71],"but":[72],"might":[73],"encounter":[74],"unexpected":[75],"behaviors":[76],"due":[77],"ambiguity":[79],"sparsity":[81],"in":[82,104,119,147,196],"reward.":[84],"In":[85,121],"this":[86],"letter,":[87],"we":[88],"propose":[89],"a":[90,95,133,136],"method":[91,180],"directly":[93],"neural":[96],"network":[97],"controller":[98,107,131,159],"specified":[103],"STL.":[105],"Our":[106,161],"learns":[108],"roll":[110],"out":[111],"trajectories":[112],"maximize":[114],"robustness":[117],"score":[118],"training.":[120],"testing,":[122],"similar":[123],"Model":[125],"Predictive":[126],"Control":[127],"(MPC),":[128],"learned":[130],"predicts":[132],"trajectory":[134],"within":[135],"planning":[137],"horizon":[138],"ensure":[140,155],"satisfaction":[142,198],"requirement":[146],"deployment.":[148],"A":[149],"backup":[150,183],"is":[152],"designed":[153],"when":[157],"our":[158,179],"fails.":[160],"approach":[162],"adapt":[164],"various":[166],"initial":[167],"conditions":[168],"environmental":[170],"parameters.":[171],"We":[172],"conduct":[173],"experiments":[174],"on":[175,201],"six":[176],"tasks,":[177],"where":[178],"outperforms":[185],"classical":[187,213],"(MPC,":[189],"STL-solver),":[190],"model-free":[191],"model-based":[193],"RL":[194],"rate,":[199],"especially":[200],"tasks":[202],"while":[207],"being":[208],"10X-100X":[209],"faster":[210],"than":[211],"methods.":[214]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":8}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}