{"id":"https://openalex.org/W2606133973","doi":"https://doi.org/10.1145/3049797.3049808","title":"HyLAA","display_name":"HyLAA","publication_year":2017,"publication_date":"2017-04-13","ids":{"openalex":"https://openalex.org/W2606133973","doi":"https://doi.org/10.1145/3049797.3049808","mag":"2606133973"},"language":"en","primary_location":{"id":"doi:10.1145/3049797.3049808","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3049797.3049808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-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/A5033330108","display_name":"Stanley Bak","orcid":"https://orcid.org/0000-0003-4947-9553"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Stanley Bak","raw_affiliation_strings":["Aerospace Systems Directorate, Dayton, OH, USA"],"affiliations":[{"raw_affiliation_string":"Aerospace Systems Directorate, Dayton, OH, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065269963","display_name":"Parasara Sridhar Duggirala","orcid":"https://orcid.org/0000-0002-8871-0298"},"institutions":[{"id":"https://openalex.org/I140172145","display_name":"University of Connecticut","ror":"https://ror.org/02der9h97","country_code":"US","type":"education","lineage":["https://openalex.org/I140172145"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Parasara Sridhar Duggirala","raw_affiliation_strings":["University of Connecticut, Storrs, CT, USA"],"affiliations":[{"raw_affiliation_string":"University of Connecticut, Storrs, CT, USA","institution_ids":["https://openalex.org/I140172145"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5033330108"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":10.167,"has_fulltext":false,"cited_by_count":99,"citation_normalized_percentile":{"value":0.98694096,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"173","last_page":"178"},"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.9990000128746033,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9987999796867371,"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.924973726272583},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7136799097061157},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.70936119556427},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6518145203590393},{"id":"https://openalex.org/keywords/b\u00fcchi-automaton","display_name":"B\u00fcchi automaton","score":0.6217272877693176},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.6156765222549438},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5672671794891357},{"id":"https://openalex.org/keywords/superposition-principle","display_name":"Superposition principle","score":0.5120428204536438},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4824305474758148},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4815945327281952},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4600517451763153},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41354745626449585},{"id":"https://openalex.org/keywords/deterministic-automaton","display_name":"Deterministic automaton","score":0.18712234497070312},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17976203560829163}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.924973726272583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7136799097061157},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.70936119556427},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6518145203590393},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.6217272877693176},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.6156765222549438},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5672671794891357},{"id":"https://openalex.org/C27753989","wikidata":"https://www.wikidata.org/wiki/Q284885","display_name":"Superposition principle","level":2,"score":0.5120428204536438},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4824305474758148},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4815945327281952},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4600517451763153},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41354745626449585},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.18712234497070312},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17976203560829163},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3049797.3049808","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3049797.3049808","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W59350782","https://openalex.org/W618708471","https://openalex.org/W2047277035","https://openalex.org/W2084859862","https://openalex.org/W2153803621","https://openalex.org/W2176215692","https://openalex.org/W2269854487","https://openalex.org/W2501830452","https://openalex.org/W2603150469","https://openalex.org/W2613515766"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W2103488150","https://openalex.org/W2066057891","https://openalex.org/W1483796952","https://openalex.org/W1495105673","https://openalex.org/W2020061635","https://openalex.org/W1524267824","https://openalex.org/W2131211012","https://openalex.org/W1905380539","https://openalex.org/W2102105946"],"abstract_inverted_index":{"Simulations":[0],"are":[1],"a":[2,10,31,37,46,84,104,143],"practical":[3],"method":[4],"of":[5,123,141],"increasing":[6],"the":[7,24,63,81,96,107,109,120],"confidence":[8],"that":[9,26,118],"system":[11,146],"design":[12],"is":[13,45,77,139],"correct.":[14],"This":[15,137],"paper":[16],"presents":[17],"techniques":[18],"which":[19],"aim":[20],"to":[21,88],"determine":[22],"all":[23],"states":[25],"can":[27,55],"be":[28,56],"reached":[29],"using":[30],"particular":[32],"hybrid":[33,70,97],"automaton":[34,98],"simulation":[35,86,99],"algorithm,":[36],"property":[38,49],"we":[39],"call":[40],"simulation-equivalent":[41,67],"reachability.":[42],"Although":[43],"this":[44],"slightly":[47],"weaker":[48],"than":[50,154],"traditional":[51],"reachability,":[52],"its":[53],"computation":[54],"efficient":[57,113],"and":[58,93,173],"accurate.":[59],"We":[60],"present":[61],"HyLAA,":[62],"first":[64],"tool":[65,82,110,158],"for":[66,69,115,132],"reachability":[68],"automata":[71],"with":[72,147],"affine":[73],"dynamics.":[74],"HyLAA's":[75],"analysis":[76],"exact;":[78],"upon":[79],"completion,":[80],"provides":[83],"concrete":[85],"trace":[87],"an":[89,112,133],"unsafe":[90],"state":[91,150],"if":[92,95],"only":[94,127],"engine":[100],"could":[101],"produce":[102],"such":[103,165],"trace.":[105],"In":[106],"backend,":[108],"implements":[111],"algorithm":[114],"continuous":[116],"post":[117],"exploits":[119],"superposition":[121],"principle":[122],"linear":[124,135,171],"systems,":[125],"requiring":[126],"n+1":[128],"simulations":[129],"per":[130],"mode":[131],"n-dimensional":[134],"system.":[136],"technique":[138],"capable":[140],"analyzing":[142],"replicated":[144],"helicopter":[145],"over":[148],"1000":[149],"variables":[151],"in":[152],"less":[153],"20":[155],"minutes.":[156],"The":[157],"also":[159],"contains":[160],"several":[161],"novel":[162],"performance":[163],"enhancements,":[164],"as":[166],"invariant":[167],"constraint":[168],"elimination,":[169],"warm-start":[170],"programming,":[172],"trace-guided":[174],"set":[175],"deaggregation.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":21},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":14},{"year":2020,"cited_by_count":16},{"year":2019,"cited_by_count":14},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":6}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2017-04-28T00:00:00"}