乐胖代购免代理版

{"id":"https://openalex.org/W4396571376","doi":"https://doi.org/10.1145/3641513.3650141","title":"Falsification using Reachability of Surrogate Koopman Models","display_name":"Falsification using Reachability of Surrogate Koopman Models","publication_year":2024,"publication_date":"2024-05-02","ids":{"openalex":"https://openalex.org/W4396571376","doi":"https://doi.org/10.1145/3641513.3650141"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641513.3650141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Stony Brook University, USA"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, USA","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055381376","display_name":"Sergiy Bogomolov","orcid":"https://orcid.org/0000-0002-0686-0365"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["Newcastle University, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090309612","display_name":"Abdelrahman Hekal","orcid":"https://orcid.org/0009-0008-9685-0558"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Abdelrahman Hekal","raw_affiliation_strings":["Newcastle University, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042624051","display_name":"Niklas Kochdumper","orcid":"https://orcid.org/0000-0001-6017-7623"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Niklas Kochdumper","raw_affiliation_strings":["Stony Brook University, USA"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, USA","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045733096","display_name":"Ethan Lew","orcid":"https://orcid.org/0000-0002-6509-6846"},"institutions":[{"id":"https://openalex.org/I4210140281","display_name":"Galois (United States)","ror":"https://ror.org/03g8y8161","country_code":"US","type":"company","lineage":["https://openalex.org/I4210140281"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ethan Lew","raw_affiliation_strings":["Galois, Inc, USA"],"affiliations":[{"raw_affiliation_string":"Galois, Inc, USA","institution_ids":["https://openalex.org/I4210140281"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086197223","display_name":"A. Mata","orcid":null},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Mata","raw_affiliation_strings":["Stony Brook University, USA"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, USA","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021423602","display_name":"Amir Rahmati","orcid":"https://orcid.org/0000-0001-7361-1898"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amir Rahmati","raw_affiliation_strings":["Stony Brook University, USA"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, USA","institution_ids":["https://openalex.org/I59553526"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":84},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"13"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9971,"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/T10142","display_name":"Formal Methods in Verification","score":0.9741,"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/solver","display_name":"Solver","score":0.7236523},{"id":"https://openalex.org/keywords/linearization","display_name":"Linearization","score":0.6292519},{"id":"https://openalex.org/keywords/surrogate-model","display_name":"Surrogate model","score":0.6093255},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.5098223}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7236523},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6867097},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6411264},{"id":"https://openalex.org/C11210021","wikidata":"https://www.wikidata.org/wiki/Q1520713","display_name":"Linearization","level":3,"score":0.6292519},{"id":"https://openalex.org/C131675550","wikidata":"https://www.wikidata.org/wiki/Q7646884","display_name":"Surrogate model","level":2,"score":0.6093255},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.6062863},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5162711},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.5098223},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.49051327},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4701645},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.33890653},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30351767},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.17001435},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13999394},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"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/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"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":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3641513.3650141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.59}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":21,"referenced_works":["https://openalex.org/W1591018827","https://openalex.org/W1991457891","https://openalex.org/W1997054581","https://openalex.org/W2049399166","https://openalex.org/W2056605754","https://openalex.org/W2153803621","https://openalex.org/W2158223566","https://openalex.org/W2169239645","https://openalex.org/W2561027863","https://openalex.org/W2734705105","https://openalex.org/W2759950027","https://openalex.org/W2884768714","https://openalex.org/W2907553835","https://openalex.org/W3000385172","https://openalex.org/W3002440596","https://openalex.org/W3089624132","https://openalex.org/W3104884253","https://openalex.org/W3106539157","https://openalex.org/W3107034996","https://openalex.org/W4238160257","https://openalex.org/W4313324163"],"related_works":["https://openalex.org/W4321471459","https://openalex.org/W4225799919","https://openalex.org/W2889071233","https://openalex.org/W2380814829","https://openalex.org/W2156446763","https://openalex.org/W2150194458","https://openalex.org/W2143461633","https://openalex.org/W2136512912","https://openalex.org/W2127267268","https://openalex.org/W2067910792"],"abstract_inverted_index":{"Black-box":[0],"falsification":[1],"problems":[2],"are":[3,21,44,99],"most":[4],"often":[5],"solved":[6],"by":[7],"numerical":[8],"optimization":[9],"algorithms.":[10],"In":[11],"this":[12],"work,":[13],"we":[14,120],"propose":[15],"an":[16,57,76],"alternative":[17],"approach,":[18],"where":[19,107],"simulations":[20],"used":[22],"to":[23,122],"construct":[24],"a":[25,66],"surrogate":[26,90,125],"model":[27,43,127],"for":[28],"the":[29,38,41,46,60,73,80,85,89,103,108,124,130],"system":[30],"dynamics":[31,39],"using":[32],"data-driven":[33],"Koopman":[34,42,126],"operator":[35],"linearization.":[36],"Since":[37],"of":[40,49,59,88],"linear,":[45],"reachable":[47,86],"set":[48,87],"states":[50],"can":[51],"be":[52],"computed":[53],"and":[54,96,128],"combined":[55],"with":[56],"encoding":[58],"signal":[61,98],"temporal":[62],"logic":[63],"specification":[64,109],"in":[65],"mixed-integer":[67],"linear":[68],"program":[69],"(MILP).":[70],"To":[71],"determine":[72],"next":[74],"sample,":[75],"MILP":[77],"solver":[78],"computes":[79],"least":[81],"robust":[82],"trajectory":[83],"inside":[84],"model.":[91],"The":[92],"trajectory's":[93],"initial":[94],"state":[95],"input":[97],"then":[100],"executed":[101],"on":[102],"original":[104],"black-box":[105],"system,":[106],"is":[110,117],"either":[111],"falsified":[112],"or":[113],"additional":[114],"simulation":[115],"data":[116],"generated":[118],"that":[119],"use":[121],"retrain":[123],"repeat":[129],"process.":[131]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4396571376","counts_by_year":[],"updated_date":"2024-12-24T02:36:35.388670","created_date":"2024-05-03"}