{"id":"https://openalex.org/W4404133795","doi":"https://doi.org/10.1145/3649329.3657332","title":"Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation","display_name":"Safe Controller Synthesis for Nonlinear Systems via Reinforcement Learning and PAC Approximation","publication_year":2024,"publication_date":"2024-06-23","ids":{"openalex":"https://openalex.org/W4404133795","doi":"https://doi.org/10.1145/3649329.3657332"},"language":"en","primary_location":{"id":"doi:10.1145/3649329.3657332","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/3649329.3657332","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 61st ACM/IEEE Design Automation Conference","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/A5079927285","display_name":"Xia Zeng","orcid":"https://orcid.org/0000-0003-2575-7045"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xia Zeng","raw_affiliation_strings":["Southwest University, Chongqing, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"Southwest University, Chongqing, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059888387","display_name":"Banglong Liu","orcid":"https://orcid.org/0009-0002-3584-1339"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Banglong Liu","raw_affiliation_strings":["East China Normal University, Shanghai, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058328411","display_name":"Zhenbing Zeng","orcid":"https://orcid.org/0000-0002-9728-1114"},"institutions":[{"id":"https://openalex.org/I113940042","display_name":"Shanghai University","ror":"https://ror.org/006teas31","country_code":"CN","type":"education","lineage":["https://openalex.org/I113940042"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenbing Zeng","raw_affiliation_strings":["Shanghai University, Shanghai, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Shanghai University, Shanghai, Shanghai, China","institution_ids":["https://openalex.org/I113940042"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100405109","display_name":"Zhiming Liu","orcid":"https://orcid.org/0000-0001-9771-3071"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiming Liu","raw_affiliation_strings":["Southwest University, Chongqing, Chongqing, China"],"affiliations":[{"raw_affiliation_string":"Southwest University, Chongqing, Chongqing, China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065028030","display_name":"Zhengfeng Yang","orcid":"https://orcid.org/0000-0003-1209-8191"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhengfeng Yang","raw_affiliation_strings":["East China Normal University, Shanghai, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5079927285"],"corresponding_institution_ids":["https://openalex.org/I142108993"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23736261,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9994999766349792,"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.9994999766349792,"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.996399998664856,"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/T12794","display_name":"Adaptive Dynamic Programming Control","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reinforcement-learning","display_name":"Reinforcement learning","score":0.7412696480751038},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6212925314903259},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.6143348217010498},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5271149277687073},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.38412290811538696},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3340202271938324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3135755658149719},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.17533954977989197},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.15818020701408386},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07309156656265259}],"concepts":[{"id":"https://openalex.org/C97541855","wikidata":"https://www.wikidata.org/wiki/Q830687","display_name":"Reinforcement learning","level":2,"score":0.7412696480751038},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6212925314903259},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.6143348217010498},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5271149277687073},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.38412290811538696},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3340202271938324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3135755658149719},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.17533954977989197},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.15818020701408386},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07309156656265259},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649329.3657332","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1145/3649329.3657332","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 61st ACM/IEEE Design Automation Conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1285319566","display_name":null,"funder_award_id":"12171159","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2838552071","display_name":null,"funder_award_id":"2022YFA1005101","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G6641716459","display_name":null,"funder_award_id":"62272397","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8592490694","display_name":null,"funder_award_id":"62032019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2033118636","https://openalex.org/W2086598807","https://openalex.org/W2137470393","https://openalex.org/W2145339207","https://openalex.org/W2167412190","https://openalex.org/W4238726034","https://openalex.org/W4246553962","https://openalex.org/W4250913065","https://openalex.org/W4254129594","https://openalex.org/W4289256978"],"related_works":["https://openalex.org/W4306904969","https://openalex.org/W2138720691","https://openalex.org/W4362501864","https://openalex.org/W4380318855","https://openalex.org/W3084456289","https://openalex.org/W2024136090","https://openalex.org/W4391331176","https://openalex.org/W2031695474","https://openalex.org/W2586732548","https://openalex.org/W2000675896"],"abstract_inverted_index":{"Controller":[0],"synthesis":[1],"for":[2,33,50,109],"nonlinear":[3],"systems":[4,32,110],"is":[5,76,90],"an":[6],"important":[7],"research":[8],"issue.":[9],"Deep":[10],"Neural":[11],"Network":[12],"(DNN)":[13],"control":[14,52,83],"policies":[15],"obtained":[16],"through":[17],"reinforcement":[18],"learning":[19],"(RL),":[20],"though":[21],"exhibiting":[22],"good":[23],"performance":[24],"in":[25,103],"simulations,":[26],"cannot":[27],"be":[28],"applied":[29],"to":[30,54],"safety-critical":[31],"lack":[34],"of":[35,48,81,100],"formal":[36],"guarantee.":[37],"To":[38],"address":[39],"this,":[40],"this":[41],"paper":[42],"considers":[43],"fully":[44],"utilizing":[45],"the":[46,79,82,86,98],"advantages":[47],"RL":[49],"complex":[51],"tasks":[53],"obtain":[55],"a":[56,67],"well-performing":[57],"DNN":[58],"controller.":[59],"Then,":[60],"using":[61,92],"PAC":[62],"(Probably":[63],"Approximately":[64],"Correct)":[65],"techniques,":[66],"polynomial":[68,88],"surrogate":[69],"controller":[70,89],"with":[71,106,111],"probabilistically":[72],"controllable":[73],"approximation":[74],"error":[75],"obtained.":[77],"Finally,":[78],"safety":[80,107],"system":[84],"under":[85],"designed":[87],"verified":[91],"barrier":[93],"certificate":[94],"generation.":[95],"Experiments":[96],"demonstrate":[97],"effectiveness":[99],"our":[101],"method":[102],"generating":[104],"controllers":[105],"guarantees":[108],"high":[112],"dimensions":[113],"and":[114],"degrees.":[115]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}