{"id":"https://openalex.org/W2342015760","doi":"https://doi.org/10.1145/2883817.2883837","title":"Scalable Static Hybridization Methods for Analysis of Nonlinear Systems","display_name":"Scalable Static Hybridization Methods for Analysis of Nonlinear Systems","publication_year":2016,"publication_date":"2016-04-11","ids":{"openalex":"https://openalex.org/W2342015760","doi":"https://doi.org/10.1145/2883817.2883837","mag":"2342015760"},"language":"en","primary_location":{"id":"doi:10.1145/2883817.2883837","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2883817.2883837","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2883817.2883837?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2883817.2883837?download=true","any_repository_has_fulltext":null},"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/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Air Force Reseach Lab, Dayton, OH, USA"],"affiliations":[{"raw_affiliation_string":"Air Force Reseach Lab, Dayton, OH, USA","institution_ids":["https://openalex.org/I1280414376"]}]},{"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/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["IST Austria, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Vienna, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080555605","display_name":"Thomas A. Henzinger","orcid":"https://orcid.org/0000-0002-2985-7724"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Thomas A. Henzinger","raw_affiliation_strings":["IST Austria, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"IST Austria, Vienna, Austria","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["University of Texas at Arlington, Arlington, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109295048","display_name":"Pradyot Prakash","orcid":null},"institutions":[{"id":"https://openalex.org/I162827531","display_name":"Indian Institute of Technology Bombay","ror":"https://ror.org/02qyf5152","country_code":"IN","type":"education","lineage":["https://openalex.org/I162827531"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Pradyot Prakash","raw_affiliation_strings":["IIT Bombay, Bombay, India"],"affiliations":[{"raw_affiliation_string":"IIT Bombay, Bombay, India","institution_ids":["https://openalex.org/I162827531"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5033330108"],"corresponding_institution_ids":["https://openalex.org/I1280414376"],"apc_list":null,"apc_paid":null,"fwci":6.8288,"has_fulltext":true,"cited_by_count":30,"citation_normalized_percentile":{"value":0.96891496,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7753331661224365},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7717858552932739},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6567883491516113},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6364144682884216},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5247937440872192},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4731805622577667},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.4372468590736389},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4252077639102936},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40769606828689575},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35255566239356995},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1430164873600006}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7753331661224365},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7717858552932739},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6567883491516113},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6364144682884216},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5247937440872192},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4731805622577667},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.4372468590736389},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4252077639102936},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40769606828689575},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35255566239356995},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1430164873600006},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2883817.2883837","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2883817.2883837","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2883817.2883837?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2883817.2883837","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2883817.2883837","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2883817.2883837?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1522347985","display_name":null,"funder_award_id":"FA9550-15-1-0258","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G1794985474","display_name":null,"funder_award_id":"FA8750-15-1-0105","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G2097133798","display_name":"CRII: CPS: Safe Cyber-Physical Systems Upgrades","funder_award_id":"1464311","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3693044891","display_name":"SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS)","funder_award_id":"1527398","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4308778893","display_name":null,"funder_award_id":"CNS 1464311","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4542343780","display_name":null,"funder_award_id":"S11402-N23 (RiSE)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5248949799","display_name":null,"funder_award_id":"Z211-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5341004285","display_name":null,"funder_award_id":"CCF 1527398","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5625176068","display_name":null,"funder_award_id":"Z211-N23 (Wittgenstein Award)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G7822884593","display_name":null,"funder_award_id":"S11402-N23","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8289759875","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"id":"https://openalex.org/G8382548712","display_name":null,"funder_award_id":"S11402-N23 (RiSE) and Z211-N23 (Wittgenstein Award)","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8711194012","display_name":null,"funder_award_id":"AFOSR","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2342015760.pdf","grobid_xml":"https://content.openalex.org/works/W2342015760.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W94971406","https://openalex.org/W107960161","https://openalex.org/W296311487","https://openalex.org/W618708471","https://openalex.org/W1510285870","https://openalex.org/W1546282418","https://openalex.org/W1569692898","https://openalex.org/W1576278728","https://openalex.org/W1598855039","https://openalex.org/W1606346370","https://openalex.org/W1606658314","https://openalex.org/W1842754478","https://openalex.org/W1986590904","https://openalex.org/W2001342468","https://openalex.org/W2004463571","https://openalex.org/W2015863039","https://openalex.org/W2021667711","https://openalex.org/W2024772987","https://openalex.org/W2026019548","https://openalex.org/W2040584579","https://openalex.org/W2047277035","https://openalex.org/W2061469207","https://openalex.org/W2071775092","https://openalex.org/W2084859862","https://openalex.org/W2123922810","https://openalex.org/W2147936671","https://openalex.org/W2154679417","https://openalex.org/W2158451642","https://openalex.org/W2165276844","https://openalex.org/W2176215692","https://openalex.org/W2274161097","https://openalex.org/W2732505710","https://openalex.org/W4236306094","https://openalex.org/W4298255709","https://openalex.org/W6604391387","https://openalex.org/W6619414727","https://openalex.org/W6685835594"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W1554767603","https://openalex.org/W2130664212","https://openalex.org/W2032445854","https://openalex.org/W1565729639"],"abstract_inverted_index":{"Hybridization":[0],"methods":[1,76],"enable":[2],"the":[3,37,52,70],"analysis":[4,29],"of":[5],"hybrid":[6],"automata":[7],"with":[8,24],"complex,":[9],"nonlinear":[10],"dynamics":[11,18,53],"through":[12],"a":[13,33,58],"sound":[14],"abstraction":[15],"process.":[16],"Complex":[17],"are":[19,54,78],"converted":[20],"to":[21],"simpler":[22,38],"ones":[23],"added":[25],"noise,":[26],"and":[27,72],"then":[28],"is":[30,68],"done":[31],"using":[32],"reachability":[34,59],"method":[35],"for":[36],"dynamics.":[39],"Several":[40],"such":[41],"recent":[42],"approaches":[43],"advocate":[44],"that":[45,77],"only":[46],"'dynamic'":[47],"hybridization":[48,75],"techniques---i.e.,":[49],"those":[50],"where":[51],"abstracted":[55],"on-the-fly":[56],"during":[57],"computation---are":[60],"effective.":[61],"In":[62],"this":[63,67],"paper,":[64],"we":[65],"demonstrate":[66],"not":[69],"case,":[71],"create":[73],"static":[74],"more":[79],"scalable":[80],"than":[81],"earlier":[82],"approaches.":[83]},"counts_by_year":[{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":3}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}