{"id":"https://openalex.org/W2422398296","doi":"https://doi.org/10.1109/memcod.2016.7797741","title":"Parallel reachability analysis for hybrid systems","display_name":"Parallel reachability analysis for hybrid systems","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2422398296","doi":"https://doi.org/10.1109/memcod.2016.7797741","mag":"2422398296"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2016.7797741","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2016.7797741","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1606.05473","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029182707","display_name":"Amit Gurung","orcid":"https://orcid.org/0000-0001-9823-710X"},"institutions":[{"id":"https://openalex.org/I9523339","display_name":"National Institute of Technology Meghalaya","ror":"https://ror.org/020vd6n84","country_code":"IN","type":"education","lineage":["https://openalex.org/I9523339"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Amit Gurung","raw_affiliation_strings":["National Institute of Technology, Meghalaya, India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology, Meghalaya, India","institution_ids":["https://openalex.org/I9523339"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073577952","display_name":"Arup Deka","orcid":null},"institutions":[{"id":"https://openalex.org/I9523339","display_name":"National Institute of Technology Meghalaya","ror":"https://ror.org/020vd6n84","country_code":"IN","type":"education","lineage":["https://openalex.org/I9523339"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arup Deka","raw_affiliation_strings":["National Institute of Technology, Meghalaya, India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology, Meghalaya, India","institution_ids":["https://openalex.org/I9523339"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ezio Bartocci","raw_affiliation_strings":["Technische Universitat Wien, Wien, Wien, AT"],"affiliations":[{"raw_affiliation_string":"Technische Universitat Wien, Wien, Wien, AT","institution_ids":["https://openalex.org/I145847075"]}]},{"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/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["Vienna University of Technology, Austria"],"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034362557","display_name":"Radu Grosu","orcid":"https://orcid.org/0000-0001-5715-2142"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Radu Grosu","raw_affiliation_strings":["Technische Universitat Wien, Wien, Wien, AT"],"affiliations":[{"raw_affiliation_string":"Technische Universitat Wien, Wien, Wien, AT","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081795281","display_name":"R. L. Ray","orcid":"https://orcid.org/0000-0002-7990-6416"},"institutions":[{"id":"https://openalex.org/I9523339","display_name":"National Institute of Technology Meghalaya","ror":"https://ror.org/020vd6n84","country_code":"IN","type":"education","lineage":["https://openalex.org/I9523339"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rajarshi Ray","raw_affiliation_strings":["National Institute of Technology, Meghalaya, India"],"affiliations":[{"raw_affiliation_string":"National Institute of Technology, Meghalaya, India","institution_ids":["https://openalex.org/I9523339"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5029182707"],"corresponding_institution_ids":["https://openalex.org/I9523339"],"apc_list":null,"apc_paid":null,"fwci":4.7042,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.95041469,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"3414","issue":null,"first_page":"12","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","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/T11005","display_name":"Radiation Effects in Electronics","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/precomputation","display_name":"Precomputation","score":0.8296151161193848},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8034396171569824},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7680449485778809},{"id":"https://openalex.org/keywords/load-balancing","display_name":"Load balancing (electrical power)","score":0.5421326160430908},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4979515075683594},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.4855439364910126},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4691649377346039},{"id":"https://openalex.org/keywords/breadth-first-search","display_name":"Breadth-first search","score":0.45358043909072876},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.421028196811676},{"id":"https://openalex.org/keywords/parallel-algorithm","display_name":"Parallel algorithm","score":0.4127793312072754},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3789031505584717},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.295745313167572},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.24664071202278137},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12286582589149475}],"concepts":[{"id":"https://openalex.org/C159379195","wikidata":"https://www.wikidata.org/wiki/Q7239568","display_name":"Precomputation","level":3,"score":0.8296151161193848},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8034396171569824},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7680449485778809},{"id":"https://openalex.org/C138959212","wikidata":"https://www.wikidata.org/wiki/Q1806783","display_name":"Load balancing (electrical power)","level":3,"score":0.5421326160430908},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4979515075683594},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.4855439364910126},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4691649377346039},{"id":"https://openalex.org/C138843760","wikidata":"https://www.wikidata.org/wiki/Q325904","display_name":"Breadth-first search","level":2,"score":0.45358043909072876},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.421028196811676},{"id":"https://openalex.org/C120373497","wikidata":"https://www.wikidata.org/wiki/Q1087987","display_name":"Parallel algorithm","level":2,"score":0.4127793312072754},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3789031505584717},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.295745313167572},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.24664071202278137},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12286582589149475},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/memcod.2016.7797741","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2016.7797741","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1606.05473","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1606.05473","pdf_url":"https://arxiv.org/pdf/1606.05473","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1606.05473","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1606.05473","pdf_url":"https://arxiv.org/pdf/1606.05473","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W92641534","https://openalex.org/W107960161","https://openalex.org/W152025171","https://openalex.org/W172589331","https://openalex.org/W275084143","https://openalex.org/W856973001","https://openalex.org/W1492584664","https://openalex.org/W1521939022","https://openalex.org/W1534714322","https://openalex.org/W1535116423","https://openalex.org/W1549644356","https://openalex.org/W1569692898","https://openalex.org/W1604596197","https://openalex.org/W1842754478","https://openalex.org/W1990733120","https://openalex.org/W2026019548","https://openalex.org/W2042835403","https://openalex.org/W2047277035","https://openalex.org/W2052600736","https://openalex.org/W2092674041","https://openalex.org/W2152533774","https://openalex.org/W2163590987","https://openalex.org/W2163850966","https://openalex.org/W2176215692","https://openalex.org/W2267638272","https://openalex.org/W2268473646","https://openalex.org/W2274161097","https://openalex.org/W2617343351","https://openalex.org/W4249513058","https://openalex.org/W6607093319","https://openalex.org/W6631202091","https://openalex.org/W6631988104","https://openalex.org/W6633997905","https://openalex.org/W6639003215","https://openalex.org/W6657187930","https://openalex.org/W6685835594"],"related_works":["https://openalex.org/W1533488355","https://openalex.org/W2103488150","https://openalex.org/W2357387646","https://openalex.org/W2354154573","https://openalex.org/W2155596590","https://openalex.org/W2032445854","https://openalex.org/W2102105946","https://openalex.org/W2059667889","https://openalex.org/W1988088997","https://openalex.org/W2060144422"],"abstract_inverted_index":{"We":[0,55,106],"propose":[1],"two":[2,130],"parallel":[3,46],"state-space-exploration":[4],"algorithms":[5,131,145,208],"for":[6,122,209],"hybrid":[7],"automaton":[8],"(HA),":[9],"with":[10,44,92,168],"the":[11,23,29,35,39,49,66,89,93,108,111,115,129,142,149,178,193,201],"goal":[12],"of":[13,28,38,48,61,88,114,128,141,159,186,195],"enhancing":[14],"performance":[15,126],"on":[16,118,164],"multi-core":[17],"shared-memory":[18],"systems.":[19],"The":[20,74,125],"first":[21,202],"uses":[22,84],"parallel,":[24,206],"breadth-first-search":[25],"algorithm":[26,76,81,121],"(PBFS)":[27],"SPIN":[30],"model":[31,150],"checker,":[32],"when":[33],"traversing":[34],"discrete":[36],"modes":[37],"HA,":[40],"and":[41,98,110],"enhances":[42],"it":[43],"a":[45,78,85,119,138,156,165],"exploration":[47],"continuous":[50,97],"states":[51],"within":[52],"each":[53],"mode.":[54],"show":[56,155],"that":[57],"this":[58,198],"simple-minded":[59],"extension":[60],"PBFS":[62],"does":[63],"not":[64],"provide":[65,205],"desired":[67],"load":[68,104],"balancing":[69],"in":[70,100,134,148,189],"many":[71],"HA":[72],"benchmarks.":[73],"second":[75],"is":[77],"task-parallel":[79],"BFS":[80],"(TP-BFS),":[82],"which":[83],"cheap":[86],"precomputation":[87,113],"cost":[90,112],"associated":[91],"post":[94,116,187],"operations":[95,188],"(both":[96],"discrete)":[99],"order":[101,175],"to":[102,170,176,204],"improve":[103],"balancing.":[105],"illustrate":[107],"TP-BFS":[109,136],"operators":[117],"support-function-based":[120],"state-space":[123],"exploration.":[124],"comparison":[127,179],"shows":[132],"that,":[133],"general,":[135],"provides":[137],"better":[139],"utilization/load-balancing":[140],"CPU.":[143],"Both":[144],"are":[146],"implemented":[147],"checker":[151],"XSpeed.":[152],"Our":[153],"experiments":[154],"maximum":[157],"speed-up":[158],"more":[160],"than":[161],"2000":[162],"\u03c7":[163],"navigation":[166],"benchmark,":[167],"respect":[169],"SpaceEx":[171],"LGG":[172],"scenario.":[173],"In":[174],"make":[177],"fair,":[180],"we":[181],"employed":[182],"an":[183],"equal":[184],"number":[185],"both":[190],"tools.":[191],"To":[192],"best":[194],"our":[196],"knowledge,":[197],"paper":[199],"represents":[200],"attempt":[203],"reachability-analysis":[207],"HA.":[210]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}