{"id":"https://openalex.org/W4285742444","doi":"https://doi.org/10.1109/tac.2022.3191750","title":"Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection","display_name":"Ellipsotopes: Uniting Ellipsoids and Zonotopes for Reachability Analysis and Fault Detection","publication_year":2022,"publication_date":"2022-07-18","ids":{"openalex":"https://openalex.org/W4285742444","doi":"https://doi.org/10.1109/tac.2022.3191750"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2022.3191750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3191750","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-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/A5019247599","display_name":"Shreyas Kousik","orcid":"https://orcid.org/0000-0003-1348-7463"},"institutions":[{"id":"https://openalex.org/I13805885","display_name":"Vaughn College of Aeronautics and Technology","ror":"https://ror.org/056e22e24","country_code":"US","type":"education","lineage":["https://openalex.org/I13805885"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shreyas Kousik","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-1348-7463","affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053767703","display_name":"Adam Dai","orcid":"https://orcid.org/0000-0002-6823-1046"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Dai","raw_affiliation_strings":["Department of Electrical Engineering, Stanford University, Stanford, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-6823-1046","affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069625302","display_name":"Grace Gao","orcid":"https://orcid.org/0000-0002-1807-8637"},"institutions":[{"id":"https://openalex.org/I13805885","display_name":"Vaughn College of Aeronautics and Technology","ror":"https://ror.org/056e22e24","country_code":"US","type":"education","lineage":["https://openalex.org/I13805885"]},{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grace Xingxin Gao","raw_affiliation_strings":["Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-1807-8637","affiliations":[{"raw_affiliation_string":"Department of Aeronautics and Astronautics, Stanford University, Stanford, CA, USA","institution_ids":["https://openalex.org/I13805885","https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.6935,"has_fulltext":false,"cited_by_count":47,"citation_normalized_percentile":{"value":0.97394351,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"68","issue":"6","first_page":"3440","last_page":"3452"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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.9987000226974487,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9819999933242798,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9814000129699707,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/minkowski-addition","display_name":"Minkowski addition","score":0.877200722694397},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6998903751373291},{"id":"https://openalex.org/keywords/ellipsoid","display_name":"Ellipsoid","score":0.682317852973938},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.6241984367370605},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.5621849298477173},{"id":"https://openalex.org/keywords/polytope","display_name":"Polytope","score":0.5490024089813232},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.5388346314430237},{"id":"https://openalex.org/keywords/regular-polygon","display_name":"Regular polygon","score":0.5189885497093201},{"id":"https://openalex.org/keywords/minkowski-space","display_name":"Minkowski space","score":0.5081839561462402},{"id":"https://openalex.org/keywords/polyhedron","display_name":"Polyhedron","score":0.5070419311523438},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5064100027084351},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4730210304260254},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.47300297021865845},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.462236225605011},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42966026067733765},{"id":"https://openalex.org/keywords/collision-detection","display_name":"Collision detection","score":0.41498637199401855},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4126741588115692},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3133639693260193},{"id":"https://openalex.org/keywords/collision","display_name":"Collision","score":0.30370885133743286},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.25187480449676514},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.18865743279457092},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09621688723564148}],"concepts":[{"id":"https://openalex.org/C10233890","wikidata":"https://www.wikidata.org/wiki/Q1322294","display_name":"Minkowski addition","level":3,"score":0.877200722694397},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6998903751373291},{"id":"https://openalex.org/C57489055","wikidata":"https://www.wikidata.org/wiki/Q190046","display_name":"Ellipsoid","level":2,"score":0.682317852973938},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.6241984367370605},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.5621849298477173},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.5490024089813232},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.5388346314430237},{"id":"https://openalex.org/C112680207","wikidata":"https://www.wikidata.org/wiki/Q714886","display_name":"Regular polygon","level":2,"score":0.5189885497093201},{"id":"https://openalex.org/C79464548","wikidata":"https://www.wikidata.org/wiki/Q464794","display_name":"Minkowski space","level":2,"score":0.5081839561462402},{"id":"https://openalex.org/C54829058","wikidata":"https://www.wikidata.org/wiki/Q172937","display_name":"Polyhedron","level":2,"score":0.5070419311523438},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5064100027084351},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4730210304260254},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.47300297021865845},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.462236225605011},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42966026067733765},{"id":"https://openalex.org/C199668693","wikidata":"https://www.wikidata.org/wiki/Q1550329","display_name":"Collision detection","level":3,"score":0.41498637199401855},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4126741588115692},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3133639693260193},{"id":"https://openalex.org/C121704057","wikidata":"https://www.wikidata.org/wiki/Q352070","display_name":"Collision","level":2,"score":0.30370885133743286},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25187480449676514},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.18865743279457092},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09621688723564148},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"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/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2022.3191750","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3191750","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W168874853","https://openalex.org/W1511213320","https://openalex.org/W1541441755","https://openalex.org/W1569692898","https://openalex.org/W1604596197","https://openalex.org/W1726255445","https://openalex.org/W2000067452","https://openalex.org/W2012819062","https://openalex.org/W2015863039","https://openalex.org/W2026019548","https://openalex.org/W2042835403","https://openalex.org/W2047549180","https://openalex.org/W2057789475","https://openalex.org/W2082180697","https://openalex.org/W2099084425","https://openalex.org/W2103052138","https://openalex.org/W2116364955","https://openalex.org/W2121785204","https://openalex.org/W2146979191","https://openalex.org/W2163268899","https://openalex.org/W2300621294","https://openalex.org/W2415165331","https://openalex.org/W2501830452","https://openalex.org/W2560504659","https://openalex.org/W2580666155","https://openalex.org/W2734705105","https://openalex.org/W2750147881","https://openalex.org/W2783032942","https://openalex.org/W2808841883","https://openalex.org/W2907553835","https://openalex.org/W2962885690","https://openalex.org/W2963804889","https://openalex.org/W2974147052","https://openalex.org/W2991384325","https://openalex.org/W3012067785","https://openalex.org/W3040197514","https://openalex.org/W3046050579","https://openalex.org/W3081975785","https://openalex.org/W3086849158","https://openalex.org/W3095461934","https://openalex.org/W3107034996","https://openalex.org/W3112005744","https://openalex.org/W3131580247","https://openalex.org/W3176457131","https://openalex.org/W4244373880","https://openalex.org/W4251032486","https://openalex.org/W4285378917","https://openalex.org/W4362642416","https://openalex.org/W6606935068","https://openalex.org/W6650486461","https://openalex.org/W6731923558","https://openalex.org/W6732216806","https://openalex.org/W6743558609","https://openalex.org/W6777904697"],"related_works":["https://openalex.org/W3128178508","https://openalex.org/W2560815480","https://openalex.org/W4297580909","https://openalex.org/W2078958623","https://openalex.org/W2901329027","https://openalex.org/W2494974567","https://openalex.org/W4255234857","https://openalex.org/W4300411740","https://openalex.org/W4298286501","https://openalex.org/W2951838686"],"abstract_inverted_index":{"Ellipsoids":[0],"are":[1,52,144],"a":[2,34,46,94,167,183],"common":[3],"representation":[4,185,213],"for":[5,79,111,170],"reachability":[6],"analysis,":[7],"because":[8,56],"they":[9,18,57],"can":[10,164],"be":[11],"transformed":[12],"efficiently":[13],"under":[14,121,146,189],"affine":[15,63,190],"maps,":[16,191],"and":[17,30,65,117,129,143,160,194,202],"allow":[19,58],"conservative":[20,109],"approximation":[21],"of":[22,41,48,62,70,93,114,139,200,211],"Minkowski":[23,67,192],"sums,":[24,193],"which":[25],"let":[26],"one":[27,87],"incorporate":[28],"uncertainty":[29],"linearization":[31],"error":[32],"in":[33,108],"dynamical":[35],"system":[36,95],"by":[37],"expanding":[38],"the":[39,42,90,198],"size":[40],"reachable":[43,91,112],"set.":[44,102],"Zonotopes,":[45],"type":[47],"symmetric,":[49],"convex":[50,76,206],"polytope,":[51],"similarly":[53],"frequently":[54],"used,":[55],"efficient":[59],"numerical":[60],"implementations":[61],"maps":[64],"exact":[66],"sums.":[68],"Both":[69],"these":[71,140],"representations":[72,105,110],"also":[73],"enable":[74],"efficient,":[75],"collision":[77,171,207],"detection":[78,81],"fault":[80,174],"or":[82,173],"formal":[83],"verification":[84],"tasks,":[85],"wherein":[86],"checks":[88],"if":[89],"set":[92,184],"collides":[96],"(i.e.,":[97],"intersects)":[98],"with":[99,154],"an":[100],"unsafe":[101],"However,":[103,148],"both":[104],"often":[106],"result":[107],"sets":[113],"arbitrary":[115],"systems,":[116],"neither":[118],"is":[119,187,214],"closed":[120,145,188],"intersection.":[122,147],"Recently,":[123],"representations,":[124],"such":[125,157],"as":[126,158],"constrained":[127,130,149,161],"zonotopes":[128,150,163,203],"polynomial":[131,162],"zonotopes,":[132],"have":[133],"been":[134],"shown":[135],"to":[136],"overcome":[137],"some":[138],"conservativeness":[141],"challenges,":[142],"cannot":[151],"represent":[152],"shapes":[153],"smooth":[155],"boundaries,":[156],"ellipsoids,":[159],"require":[165],"solving":[166],"nonconvex":[168],"program":[169],"checking":[172],"detection.":[175],"This":[176],"article":[177],"introduces":[178],"<italic":[179],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[180],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">ellipsotopes</i>":[181],",":[182],"that":[186],"intersections.":[195],"Ellipsotopes":[196],"combine":[197],"advantages":[199],"ellipsoids":[201],"while":[204],"ensuring":[205],"checking.":[208],"The":[209],"utility":[210],"this":[212],"demonstrated":[215],"on":[216],"several":[217],"examples.":[218]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":15},{"year":2024,"cited_by_count":17},{"year":2023,"cited_by_count":10},{"year":2022,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}