{"id":"https://openalex.org/W4311273182","doi":"https://doi.org/10.29007/p328","title":"Implementation of Ellipsoidal Operations in CORA 2022","display_name":"Implementation of Ellipsoidal Operations in CORA 2022","publication_year":2022,"publication_date":"2022-12-13","ids":{"openalex":"https://openalex.org/W4311273182","doi":"https://doi.org/10.29007/p328"},"language":"en","primary_location":{"id":"doi:10.29007/p328","is_oa":true,"landing_page_url":"https://doi.org/10.29007/p328","pdf_url":"https://easychair.org/publications/open/8hnJ","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/8hnJ","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053659260","display_name":"Victor Ga\u00dfmann","orcid":"https://orcid.org/0000-0003-3674-7045"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Victor Ga\u00dfmann","raw_affiliation_strings":["Technische Universitt Mnchen, Boltzmannstr. 3, 85748 Garching, Germany","Technische Universit\u00e4t M\u00fcnchen, Boltzmannstr. 3, 85748 Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universitt Mnchen, Boltzmannstr. 3, 85748 Garching, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Boltzmannstr. 3, 85748 Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005383495","display_name":"Matthias Althoff","orcid":"https://orcid.org/0000-0003-3733-842X"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Althoff","raw_affiliation_strings":["Technische Universitt Mnchen, Boltzmannstr. 3, 85748 Garching, Germany","Technische Universit\u00e4t M\u00fcnchen, Boltzmannstr. 3, 85748 Garching, Germany"],"affiliations":[{"raw_affiliation_string":"Technische Universitt Mnchen, Boltzmannstr. 3, 85748 Garching, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"Technische Universit\u00e4t M\u00fcnchen, Boltzmannstr. 3, 85748 Garching, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5053659260"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.4383,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.66029051,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"90","issue":null,"first_page":"1","last_page":""},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9847999811172485,"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.9847999811172485,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9718000292778015,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.9682000279426575,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ellipsoid","display_name":"Ellipsoid","score":0.861504852771759},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7680025100708008},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.618841826915741},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6146038770675659},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5966863036155701},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5401642918586731},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45600593090057373},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.44897499680519104},{"id":"https://openalex.org/keywords/boundary","display_name":"Boundary (topology)","score":0.4333069324493408},{"id":"https://openalex.org/keywords/minkowski-addition","display_name":"Minkowski addition","score":0.42022478580474854},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.41161292791366577},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38275253772735596},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37959152460098267},{"id":"https://openalex.org/keywords/minkowski-space","display_name":"Minkowski space","score":0.32216206192970276},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.28131479024887085},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2305016815662384},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20276135206222534},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.1837823987007141},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11800229549407959},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07862156629562378}],"concepts":[{"id":"https://openalex.org/C57489055","wikidata":"https://www.wikidata.org/wiki/Q190046","display_name":"Ellipsoid","level":2,"score":0.861504852771759},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7680025100708008},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.618841826915741},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6146038770675659},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5966863036155701},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5401642918586731},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45600593090057373},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.44897499680519104},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.4333069324493408},{"id":"https://openalex.org/C10233890","wikidata":"https://www.wikidata.org/wiki/Q1322294","display_name":"Minkowski addition","level":3,"score":0.42022478580474854},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.41161292791366577},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38275253772735596},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37959152460098267},{"id":"https://openalex.org/C79464548","wikidata":"https://www.wikidata.org/wiki/Q464794","display_name":"Minkowski space","level":2,"score":0.32216206192970276},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.28131479024887085},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2305016815662384},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20276135206222534},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.1837823987007141},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11800229549407959},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07862156629562378},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","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/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/p328","is_oa":true,"landing_page_url":"https://doi.org/10.29007/p328","pdf_url":"https://easychair.org/publications/open/8hnJ","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"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1700997","is_oa":true,"landing_page_url":"https://mediatum.ub.tum.de/1700997","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.29007/p328","is_oa":true,"landing_page_url":"https://doi.org/10.29007/p328","pdf_url":"https://easychair.org/publications/open/8hnJ","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":[{"id":"https://metadata.un.org/sdg/17","score":0.46000000834465027,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4311273182.pdf","grobid_xml":"https://content.openalex.org/works/W4311273182.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1552488793","https://openalex.org/W1726255445","https://openalex.org/W1993909768","https://openalex.org/W1999913571","https://openalex.org/W2163268899","https://openalex.org/W2182510773","https://openalex.org/W2536620281","https://openalex.org/W2560799809","https://openalex.org/W2789260783","https://openalex.org/W2963804889","https://openalex.org/W3010917678","https://openalex.org/W3046050579","https://openalex.org/W3210839039","https://openalex.org/W4243539849"],"related_works":["https://openalex.org/W2286777929","https://openalex.org/W4293050169","https://openalex.org/W2950428426","https://openalex.org/W960999769","https://openalex.org/W4211088175","https://openalex.org/W4309277470","https://openalex.org/W2936973291","https://openalex.org/W4288372977","https://openalex.org/W4313413682","https://openalex.org/W2963804889"],"abstract_inverted_index":{"Tool":[0],"presentation:":[1],"Ellipsoids":[2],"are":[3,22,67],"a":[4,51,75,97,106],"broadly":[5],"applied":[6],"set":[7,28,86],"representation":[8,45],"for":[9,61,110,119],"formal":[10],"anal-":[11],"yses,":[12],"such":[13],"as":[14,88,90,96],"set-based":[15],"observers,":[16],"or":[17,33,72],"reachability":[18,112],"analysis.":[19,113],"While":[20],"ellipsoids":[21,95],"not":[23],"closed":[24],"under":[25],"frequently":[26],"used":[27],"operations":[29,60],"like":[30],"Minkowski":[31],"sum":[32],"intersection,":[34],"their":[35,42],"widespread":[36],"popularity":[37],"can":[38],"be":[39],"attributed":[40],"to":[41],"compact":[43],"numerical":[44],"and":[46,130,143],"intuitive":[47],"na-":[48],"ture.":[49],"As":[50],"result,":[52],"there":[53],"already":[54,116],"exist":[55],"toolboxes":[56],"that":[57],"implement":[58,73,83],"many":[59,120],"el-":[62],"lipsoids.":[63],"That":[64],"said,":[65],"most":[66],"either":[68],"no":[69,150],"longer":[70,151],"maintained,":[71,152],"only":[74],"subset":[76],"of":[77,137],"necessary":[78],"ellipsoidal":[79,121],"operations.":[80],"Thus,":[81],"we":[82,133],"all":[84],"common":[85],"operations,":[87,122],"well":[89],"recent":[91],"research":[92],"results":[93],"on":[94],"class":[98,140],"in":[99,127,141],"the":[100,135,138,147],"Continuous":[101],"Reachability":[102],"Analyzer":[103],"(CORA)":[104],"-":[105],"free":[107],"MATLAB":[108],"toolbox":[109],"continuous":[111],"Previously,":[114],"CORA":[115,142],"contained":[117],"implementations":[118],"which,":[123],"however,":[124],"were":[125],"lacking":[126],"speed,":[128],"accuracy,":[129],"functionality.":[131],"Here,":[132],"describe":[134],"implementation":[136],"ellipsoid":[139],"compare":[144],"it":[145],"against":[146],"popular,":[148],"but":[149],"Ellipsoidal":[153],"Toolbox":[154],"(ET).":[155]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}