{"id":"https://openalex.org/W4408024820","doi":"https://doi.org/10.1145/3711922","title":"Falsification of Cyber-physical Systems Using Bayesian Optimization","display_name":"Falsification of Cyber-physical Systems Using Bayesian Optimization","publication_year":2025,"publication_date":"2025-02-27","ids":{"openalex":"https://openalex.org/W4408024820","doi":"https://doi.org/10.1145/3711922"},"language":"en","primary_location":{"id":"doi:10.1145/3711922","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3711922","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","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/A5101713558","display_name":"Zahra Ramezani","orcid":"https://orcid.org/0000-0003-2131-2276"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Zahra Ramezani","raw_affiliation_strings":["Electrical Engineering, Chalmers University of Technology, Goteborg, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-2131-2276","affiliations":[{"raw_affiliation_string":"Electrical Engineering, Chalmers University of Technology, Goteborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077739642","display_name":"Kenan \u0160ehi\u0107","orcid":"https://orcid.org/0000-0002-3660-1428"},"institutions":[{"id":"https://openalex.org/I104817121","display_name":"University of Sarajevo","ror":"https://ror.org/02hhwgd43","country_code":"BA","type":"education","lineage":["https://openalex.org/I104817121"]},{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["BA","SE"],"is_corresponding":false,"raw_author_name":"Kenan \u0160ehi\u0107","raw_affiliation_strings":["Lund University, Sweden, Sweden and University of Sarajevo, Sarajevo, Bosnia and Herzegovina","Lund University,  Lund, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-3660-1428","affiliations":[{"raw_affiliation_string":"Lund University, Sweden, Sweden and University of Sarajevo, Sarajevo, Bosnia and Herzegovina","institution_ids":["https://openalex.org/I104817121"]},{"raw_affiliation_string":"Lund University,  Lund, Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008975166","display_name":"Luigi Nardi","orcid":"https://orcid.org/0000-0002-4601-2264"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["SE","US"],"is_corresponding":false,"raw_author_name":"Luigi Nardi","raw_affiliation_strings":["Lund University, Sweden, Sweden and Stanford University, Stanford, USA","Lund University,  Lund Sweden"],"raw_orcid":"https://orcid.org/0000-0002-4601-2264","affiliations":[{"raw_affiliation_string":"Lund University, Sweden, Sweden and Stanford University, Stanford, USA","institution_ids":["https://openalex.org/I97018004"]},{"raw_affiliation_string":"Lund University,  Lund Sweden","institution_ids":["https://openalex.org/I187531555"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108805135","display_name":"Knut \u00c5kesson","orcid":"https://orcid.org/0000-0001-6105-2726"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Knut \u00c5kesson","raw_affiliation_strings":["Electrical Engineering, Chalmers University of Technology, Goteborg, Sweden","Electrical Engineering, Chalmers University of Technology, Goteborg Sweden"],"raw_orcid":"https://orcid.org/0000-0001-6105-2726","affiliations":[{"raw_affiliation_string":"Electrical Engineering, Chalmers University of Technology, Goteborg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Electrical Engineering, Chalmers University of Technology, Goteborg Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8081,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.74640356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"24","issue":"3","first_page":"1","last_page":"23"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9939000010490417,"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.8149087429046631},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.5652755498886108},{"id":"https://openalex.org/keywords/bayesian-optimization","display_name":"Bayesian optimization","score":0.5489984154701233},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5294458866119385},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.31520918011665344}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8149087429046631},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5652755498886108},{"id":"https://openalex.org/C2778049539","wikidata":"https://www.wikidata.org/wiki/Q17002908","display_name":"Bayesian optimization","level":2,"score":0.5489984154701233},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5294458866119385},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31520918011665344},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3711922","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3711922","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},{"id":"pmh:oai:lup.lub.lu.se:b9d320c6-d2b8-4ae6-8658-450eb4b81522","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/b9d320c6-d2b8-4ae6-8658-450eb4b81522","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1539-9087","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1722114594","display_name":null,"funder_award_id":"SyTeC VR 2016-06204","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G3049764408","display_name":null,"funder_award_id":"TESTRON 2015-04893","funder_id":"https://openalex.org/F4320321030","funder_display_name":"VINNOVA"},{"id":"https://openalex.org/G8869864247","display_name":null,"funder_award_id":"2022-06725","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320321030","display_name":"VINNOVA","ror":"https://ror.org/01kd5m353"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W102487131","https://openalex.org/W1480330138","https://openalex.org/W1508592466","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W1576278728","https://openalex.org/W1583837637","https://openalex.org/W1892607931","https://openalex.org/W2007535697","https://openalex.org/W2039522160","https://openalex.org/W2049399166","https://openalex.org/W2061144551","https://openalex.org/W2068619069","https://openalex.org/W2092070658","https://openalex.org/W2123037532","https://openalex.org/W2152710595","https://openalex.org/W2153803621","https://openalex.org/W2171074980","https://openalex.org/W2187041056","https://openalex.org/W2192203593","https://openalex.org/W2284548247","https://openalex.org/W2321504594","https://openalex.org/W2522650173","https://openalex.org/W2612755801","https://openalex.org/W2759950027","https://openalex.org/W2775085189","https://openalex.org/W2884716674","https://openalex.org/W2963100367","https://openalex.org/W2963231286","https://openalex.org/W2969999645","https://openalex.org/W2976305354","https://openalex.org/W2978512279","https://openalex.org/W3091879671","https://openalex.org/W3119572193","https://openalex.org/W3125246424","https://openalex.org/W3184406940","https://openalex.org/W3204329301","https://openalex.org/W3204851156","https://openalex.org/W3210124279","https://openalex.org/W4200573247","https://openalex.org/W4211049957","https://openalex.org/W4221162322","https://openalex.org/W4234228486","https://openalex.org/W4256333068","https://openalex.org/W4320027835","https://openalex.org/W4388322257","https://openalex.org/W6753146606"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W3106461837","https://openalex.org/W2390279801","https://openalex.org/W3019776739","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4401858220"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1],"(CPSs)":[2],"are":[3,20],"often":[4],"complex":[5],"and":[6,12,83,102,121],"safety-critical,":[7],"making":[8],"it":[9,37],"both":[10],"challenging":[11,140],"crucial":[13],"to":[14,75,90,148],"ensure":[15],"that":[16,40,70],"the":[17,41,46,77,91,105,112,153,162,169],"system\u2019s":[18],"specifications":[19],"met.":[21],"Simulation-based":[22],"falsification":[23,54,118],"is":[24,55,146,156],"a":[25,33,56,67,72],"practical":[26],"testing":[27],"technique":[28],"for":[29,53,94,117,138,174],"increasing":[30],"confidence":[31],"in":[32,136],"CPS\u2019s":[34],"correctness,":[35],"as":[36],"only":[38],"requires":[39],"system":[42],"be":[43,149],"simulated.":[44],"Reducing":[45],"number":[47,170],"of":[48,114,164,171],"computationally":[49],"intensive":[50],"simulations":[51,172],"needed":[52],"key":[57],"concern.":[58],"In":[59],"this":[60],"study,":[61],"we":[62,110],"investigate":[63],"Bayesian":[64],"optimization":[65],"(BO),":[66],"sample-efficient":[68],"approach":[69],"learns":[71],"surrogate":[73,100,134],"model":[74],"capture":[76],"relationship":[78],"between":[79],"input":[80],"signal":[81],"parameterization":[82],"specification":[84],"evaluation.":[85],"We":[86],"propose":[87],"two":[88],"enhancements":[89],"basic":[92],"BO":[93,137],"improving":[95],"falsification:":[96],"(1)":[97],"leveraging":[98],"local":[99,133],"models,":[101],"(2)":[103],"utilizing":[104],"user\u2019s":[106],"prior":[107,144],"knowledge.":[108],"Additionally,":[109],"address":[111],"formulation":[113],"acquisition":[115,165],"functions":[116],"by":[119],"proposing":[120],"evaluating":[122],"various":[123],"alternatives.":[124],"Our":[125],"benchmark":[126,141,160],"evaluation":[127],"demonstrates":[128],"significant":[129],"improvements":[130],"when":[131,152],"using":[132],"models":[135],"falsifying":[139],"examples.":[142],"Incorporating":[143],"knowledge":[145],"found":[147],"especially":[150],"beneficial":[151],"simulation":[154],"budget":[155],"constrained.":[157],"For":[158],"some":[159],"problems,":[161],"choice":[163],"function":[166],"noticeably":[167],"impacts":[168],"required":[173],"successful":[175],"falsification.":[176]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}