{"id":"https://openalex.org/W4365801708","doi":"https://doi.org/10.1109/jsyst.2023.3257982","title":"A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems","display_name":"A Scalable Compositional Falsification Approach for Identifying Challenging Scenarios in Cyber-Physical Systems","publication_year":2023,"publication_date":"2023-04-14","ids":{"openalex":"https://openalex.org/W4365801708","doi":"https://doi.org/10.1109/jsyst.2023.3257982"},"language":"en","primary_location":{"id":"doi:10.1109/jsyst.2023.3257982","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/jsyst.2023.3257982","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"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 Systems Journal","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/A5087612875","display_name":"Devaprakash Muniraj","orcid":"https://orcid.org/0000-0001-9764-2955"},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"facility","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Devaprakash Muniraj","raw_affiliation_strings":["Department of Aerospace Engineering, Indian Institute of Technology Madras, Chennai, India"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering, Indian Institute of Technology Madras, Chennai, India","institution_ids":["https://openalex.org/I24676775"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000935719","display_name":"Mazen Farhood","orcid":"https://orcid.org/0000-0001-9855-7250"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mazen Farhood","raw_affiliation_strings":["Kevin T. Crofton Department of Aerospace and Ocean Engineering, Virginia Tech, Blacksburg, VA, USA"],"affiliations":[{"raw_affiliation_string":"Kevin T. Crofton Department of Aerospace and Ocean Engineering, Virginia Tech, Blacksburg, VA, USA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5087612875"],"corresponding_institution_ids":["https://openalex.org/I24676775"],"apc_list":null,"apc_paid":null,"fwci":0.2156,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54352198,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"3","first_page":"4821","last_page":"4832"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"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/T10142","display_name":"Formal Methods in Verification","score":0.9934999942779541,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9905999898910522,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/scalability","display_name":"Scalability","score":0.8202587366104126},{"id":"https://openalex.org/keywords/platoon","display_name":"Platoon","score":0.7018402218818665},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6945139169692993},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6931840181350708},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.6475048661231995},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5186121463775635},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5178528428077698},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.46865314245224},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.46487855911254883},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45546233654022217},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.340182900428772},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3320121169090271},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2559959292411804},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1937566101551056},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1936129927635193},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.18726181983947754}],"concepts":[{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.8202587366104126},{"id":"https://openalex.org/C2777735972","wikidata":"https://www.wikidata.org/wiki/Q1061967","display_name":"Platoon","level":3,"score":0.7018402218818665},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6945139169692993},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6931840181350708},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.6475048661231995},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5186121463775635},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5178528428077698},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.46865314245224},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.46487855911254883},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45546233654022217},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.340182900428772},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3320121169090271},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2559959292411804},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1937566101551056},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1936129927635193},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.18726181983947754},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"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/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/jsyst.2023.3257982","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/jsyst.2023.3257982","pdf_url":null,"source":{"id":"https://openalex.org/S95999327","display_name":"IEEE Systems Journal","issn_l":"1932-8184","issn":["1932-8184","1937-9234","2373-7816"],"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 Systems Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.5299999713897705,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1482983103","display_name":null,"funder_award_id":"W911NF-21-1-0250","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G7679828801","display_name":null,"funder_award_id":"N00014-18-1-2627","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1968254796","https://openalex.org/W2041422323","https://openalex.org/W2071756003","https://openalex.org/W2131399618","https://openalex.org/W2153803621","https://openalex.org/W2328067583","https://openalex.org/W2614834183","https://openalex.org/W2736332383","https://openalex.org/W2791580684","https://openalex.org/W2794031694","https://openalex.org/W2891563504","https://openalex.org/W2963003663","https://openalex.org/W2982365423","https://openalex.org/W3205911944","https://openalex.org/W4240538406","https://openalex.org/W4311273067","https://openalex.org/W4372046852"],"related_works":["https://openalex.org/W4286572054","https://openalex.org/W2555207388","https://openalex.org/W3171462553","https://openalex.org/W2983996496","https://openalex.org/W3189590538","https://openalex.org/W4389240635","https://openalex.org/W2461853023","https://openalex.org/W2136133395","https://openalex.org/W2935722734","https://openalex.org/W2474330221"],"abstract_inverted_index":{"This":[0],"article":[1],"presents":[2],"a":[3,18,50,55,72,111,118,140,144,161,175,196,212],"scalable":[4],"approach":[5,24,138,172,199,235],"for":[6,65,126],"identifying":[7,123],"system":[8,20,51,188,209],"inputs":[9,125,189],"and":[10,42,86,210,236],"trajectories":[11,47,192],"that":[12,48,90,193],"lead":[13,194],"to":[14,38,93,116,159,173,186,195,229],"undesirable":[15],"scenarios":[16],"in":[17,35,46,191,205,215,222,241],"cyber-physical":[19],"(CPS).":[21],"The":[22,33,58,198],"proposed":[23,171],"falls":[25],"under":[26],"the":[27,69,77,81,103,127,134,137,155,165,170,201,206,223,231,234,238],"broad":[28],"class":[29,129],"of":[30,80,99,106,122,130,136,148,154,177,217,233],"falsification":[31,36,60,119],"methods.":[32],"objective":[34,184],"is":[37,157,185],"find":[39],"initial":[40],"conditions":[41],"input":[43,70],"signals":[44],"resulting":[45,190],"violate":[49],"property":[52],"expressed":[53],"as":[54],"formal":[56],"specification.":[57],"existing":[59],"methods":[61],"are":[62,91,96,227],"not":[63],"suitable":[64],"handling":[66],"systems":[67,89],"where":[68],"at":[71],"specific":[73],"time":[74,240],"depends":[75],"on":[76],"state":[78],"history":[79],"system.":[82,224],"Autonomous":[83],"vehicle":[84,145],"platoons":[85],"certain":[87],"multi-agent":[88,208],"required":[92],"maintain":[94],"connectivity":[95],"some":[97],"examples":[98],"such":[100],"systems.":[101,131],"In":[102,164],"first":[104],"part":[105],"this":[107],"article,":[108],"we":[109,168],"employ":[110],"graph-search-based":[112],"motion":[113],"planning":[114],"algorithm":[115],"develop":[117],"method":[120],"capable":[121],"falsifying":[124,243],"aforementioned":[128],"We":[132],"demonstrate":[133],"effectiveness":[135],"through":[139],"case":[141],"study":[142],"involving":[143],"platoon":[146],"consisting":[147],"three":[149,178],"autonomous":[150],"vehicles,":[151,181],"wherein":[152,182],"one":[153],"vehicles":[156],"tasked":[158],"execute":[160],"lane-change":[162],"maneuver.":[163],"second":[166],"part,":[167],"extend":[169],"analyze":[174],"network":[176],"unmanned":[179],"underwater":[180],"our":[183],"identify":[187],"deadlock.":[197],"leverages":[200],"component-based":[202],"structure":[203],"inherent":[204],"considered":[207],"employs":[211],"surrogate":[213],"model":[214],"place":[216],"computationally":[218],"demanding":[219],"components":[220],"present":[221],"These":[225],"modifications":[226],"shown":[228],"improve":[230],"scalability":[232],"reduce":[237],"computational":[239],"finding":[242],"trajectories.":[244]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-12-24T23:09:58.560324","created_date":"2025-10-10T00:00:00"}