{"id":"https://openalex.org/W2620882707","doi":"https://doi.org/10.29007/7ncn","title":"HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions","display_name":"HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2620882707","doi":"https://doi.org/10.29007/7ncn","mag":"2620882707"},"language":"en","primary_location":{"id":"doi:10.29007/7ncn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/7ncn","pdf_url":"https://easychair.org/publications/open/lH4","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/lH4","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039829479","display_name":"Ibtissem Ben Makhlouf","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Ibtissem Ben Makhlouf","raw_affiliation_strings":["Informatik 11 -Embedded Software RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik 11 -Embedded Software RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038017481","display_name":"Norman Hansen","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Norman Hansen","raw_affiliation_strings":["Informatik 11 -Embedded Software RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik 11 -Embedded Software RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019982470","display_name":"Stefan Kowalewski","orcid":"https://orcid.org/0000-0001-9397-2009"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Kowalewski","raw_affiliation_strings":["Informatik 11 -Embedded Software RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany"],"affiliations":[{"raw_affiliation_string":"Informatik 11 -Embedded Software RWTH Aachen University Ahornstrasse 55, 52074 Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5039829479"],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":0.2019,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48776606,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"43","issue":null,"first_page":"68","last_page":"55"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.996999979019165,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.8621331453323364},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.7885117530822754},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7440322041511536},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6113225817680359},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6104743480682373},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.5920425057411194},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.552812933921814},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.49817562103271484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4850689470767975},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.4745234549045563},{"id":"https://openalex.org/keywords/plug-in","display_name":"Plug-in","score":0.4722408950328827},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3417434096336365},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2796017527580261},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11338910460472107}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8621331453323364},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.7885117530822754},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7440322041511536},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6113225817680359},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6104743480682373},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.5920425057411194},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.552812933921814},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.49817562103271484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4850689470767975},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.4745234549045563},{"id":"https://openalex.org/C4924752","wikidata":"https://www.wikidata.org/wiki/Q184148","display_name":"Plug-in","level":2,"score":0.4722408950328827},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3417434096336365},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2796017527580261},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11338910460472107},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/7ncn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/7ncn","pdf_url":"https://easychair.org/publications/open/lH4","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/7ncn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/7ncn","pdf_url":"https://easychair.org/publications/open/lH4","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Life below water","id":"https://metadata.un.org/sdg/14","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2620882707.pdf","grobid_xml":"https://content.openalex.org/works/W2620882707.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W1522694098","https://openalex.org/W1524886571","https://openalex.org/W1604596197","https://openalex.org/W1965510097","https://openalex.org/W2001331101","https://openalex.org/W2024772987","https://openalex.org/W2087229185","https://openalex.org/W2103029626","https://openalex.org/W2176215692","https://openalex.org/W2577875899","https://openalex.org/W2578616199","https://openalex.org/W2617343351","https://openalex.org/W2618264110","https://openalex.org/W6630654670","https://openalex.org/W6685835594"],"related_works":["https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W3200088983","https://openalex.org/W2243008534","https://openalex.org/W2561596083","https://openalex.org/W2990762041","https://openalex.org/W339959573","https://openalex.org/W135428843","https://openalex.org/W2948527927","https://openalex.org/W2170060741"],"abstract_inverted_index":{"We":[0,116],"present":[1],"HyReach,":[2],"a":[3,25,40],"MATLAB-based":[4],"toolbox":[5,82],"for":[6,30,45,90,106],"reachability":[7,33],"analysis":[8,34],"of":[9,20,42,48,59,87,93,114],"linear":[10],"hybrid":[11],"systems":[12],"based":[13],"on":[14,35],"support":[15,94],"functions.":[16,95],"The":[17],"main":[18],"goal":[19],"HyReach":[21,38,96],"is":[22],"to":[23,83],"provide":[24],"single":[26],"graphical":[27,101],"user":[28],"interface":[29],"easily":[31],"configurable":[32],"different":[36],"systems.":[37],"offers":[39],"number":[41],"known":[43],"algorithms":[44,89],"the":[46,72,78,85,91],"computation":[47,92],"reachable":[49],"sets":[50],"within":[51],"modes.":[52],"These":[53],"are":[54],"combined":[55],"with":[56,120],"various":[57],"approaches":[58],"handling":[60],"mode":[61],"invariants,":[62],"guard":[63],"intersection":[64],"computations":[65],"and":[66,74,100,103,108,112],"transition":[67],"strategies.":[68],"Furthermore,":[69],"plug-ins":[70],"like":[71],"MPT":[73],"CVX":[75],"toolboxes":[76],"complement":[77],"existing":[79],"MATLAB":[80],"optimization":[81,88],"increase":[84],"variety":[86],"supports":[97],"both":[98],"textual":[99],"inputs":[102],"outputs,":[104],"allowing":[105],"flexibility":[107],"seamlessness":[109],"in":[110,122],"workflow":[111],"processing":[113],"data.":[115],"illustrate":[117],"these":[118],"features":[119],"examples":[121],"this":[123],"paper.":[124]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}