{"id":"https://openalex.org/W3134225220","doi":"https://doi.org/10.1145/3457335.3461711","title":"Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems","display_name":"Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems","publication_year":2021,"publication_date":"2021-05-19","ids":{"openalex":"https://openalex.org/W3134225220","doi":"https://doi.org/10.1145/3457335.3461711","mag":"3134225220"},"language":"en","primary_location":{"id":"doi:10.1145/3457335.3461711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3457335.3461711","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3457335.3461711","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3457335.3461711","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021753092","display_name":"Shadi Haddad","orcid":"https://orcid.org/0000-0003-3847-4802"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shadi Haddad","raw_affiliation_strings":["University of California"],"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029714029","display_name":"Abhishek Halder","orcid":"https://orcid.org/0000-0002-1509-5853"},"institutions":[{"id":"https://openalex.org/I2803209242","display_name":"University of California System","ror":"https://ror.org/00pjdza24","country_code":"US","type":"education","lineage":["https://openalex.org/I2803209242"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abhishek Halder","raw_affiliation_strings":["University of California"],"affiliations":[{"raw_affiliation_string":"University of California","institution_ids":["https://openalex.org/I2803209242"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021753092"],"corresponding_institution_ids":["https://openalex.org/I2803209242"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02338324,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"20","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9927999973297119,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6965004801750183},{"id":"https://openalex.org/keywords/ellipsoid","display_name":"Ellipsoid","score":0.6942901015281677},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6383506059646606},{"id":"https://openalex.org/keywords/approximation-algorithm","display_name":"Approximation algorithm","score":0.5391505360603333},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5372711420059204},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5092157125473022},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.4846065938472748},{"id":"https://openalex.org/keywords/linear-approximation","display_name":"Linear approximation","score":0.4626835882663727},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.43687236309051514},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36658909916877747},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35428252816200256},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3370633125305176},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1942177414894104},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.08245542645454407}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6965004801750183},{"id":"https://openalex.org/C57489055","wikidata":"https://www.wikidata.org/wiki/Q190046","display_name":"Ellipsoid","level":2,"score":0.6942901015281677},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6383506059646606},{"id":"https://openalex.org/C148764684","wikidata":"https://www.wikidata.org/wiki/Q621751","display_name":"Approximation algorithm","level":2,"score":0.5391505360603333},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5372711420059204},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5092157125473022},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4846065938472748},{"id":"https://openalex.org/C160824197","wikidata":"https://www.wikidata.org/wiki/Q2071054","display_name":"Linear approximation","level":3,"score":0.4626835882663727},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.43687236309051514},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36658909916877747},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35428252816200256},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3370633125305176},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1942177414894104},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.08245542645454407},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3457335.3461711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3457335.3461711","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3457335.3461711","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2103.04545","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2103.04545","pdf_url":"https://arxiv.org/pdf/2103.04545","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2103.04545","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2103.04545","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.13140/rg.2.2.21076.53129","is_oa":true,"landing_page_url":"https://doi.org/10.13140/rg.2.2.21076.53129","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3134225220","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3457335.3461711","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3457335.3461711","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3457335.3461711","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309018","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71"},{"id":"https://openalex.org/F4320315033","display_name":"Banatao Institute","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3134225220.pdf","grobid_xml":"https://content.openalex.org/works/W3134225220.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W187211397","https://openalex.org/W1522531528","https://openalex.org/W1568307856","https://openalex.org/W1601169041","https://openalex.org/W1966891634","https://openalex.org/W1984403903","https://openalex.org/W2001331101","https://openalex.org/W2023901052","https://openalex.org/W2024318675","https://openalex.org/W2045427092","https://openalex.org/W2066391715","https://openalex.org/W2080285333","https://openalex.org/W2100440346","https://openalex.org/W2103988321","https://openalex.org/W2116664006","https://openalex.org/W2127520982","https://openalex.org/W2133007238","https://openalex.org/W2140214428","https://openalex.org/W2149371065","https://openalex.org/W2157622089","https://openalex.org/W2162412417","https://openalex.org/W2163268899","https://openalex.org/W2163316275","https://openalex.org/W2163758484","https://openalex.org/W2247689341","https://openalex.org/W2311985995","https://openalex.org/W2576277975","https://openalex.org/W2590655739","https://openalex.org/W2807662017","https://openalex.org/W2963804889","https://openalex.org/W3034208633","https://openalex.org/W3045590379","https://openalex.org/W3106174634","https://openalex.org/W3107806997","https://openalex.org/W3129978470","https://openalex.org/W3210839039","https://openalex.org/W6698711954"],"related_works":["https://openalex.org/W2006710067","https://openalex.org/W210250653","https://openalex.org/W3087030782","https://openalex.org/W2940903362","https://openalex.org/W949961671","https://openalex.org/W2519470654","https://openalex.org/W3122879686","https://openalex.org/W3018970330","https://openalex.org/W2143283746","https://openalex.org/W21109272","https://openalex.org/W1712836771","https://openalex.org/W2280474529","https://openalex.org/W2891525613","https://openalex.org/W3131440059","https://openalex.org/W2739340005","https://openalex.org/W2805783809","https://openalex.org/W1555474056","https://openalex.org/W3012155049","https://openalex.org/W2950057135","https://openalex.org/W2182643736"],"abstract_inverted_index":{"Computing":[0],"tight":[1],"over-approximation":[2,105,125],"of":[3,6,18,106,109,123],"reach":[4,107],"sets":[5,108],"a":[7,13,78,144],"controlled":[8],"uncertain":[9,110],"dynamical":[10],"system":[11],"is":[12,62],"common":[14],"practice":[15],"in":[16,37,77,89,118],"verification":[17],"safety-critical":[19],"cyber-physical":[20],"systems":[21],"(CPS).":[22],"While":[23],"several":[24],"algorithms":[25,66,102],"are":[26,113],"available":[27],"for":[28,103,115],"this":[29,84],"purpose,":[30],"they":[31],"tend":[32,49],"to":[33,50,56,63,73,147],"be":[34,51,87,127],"computationally":[35],"demanding":[36],"CPS":[38],"applications":[39],"since":[40],"here,":[41],"the":[42,74,101,119,121,124,133,138,149],"computational":[43,134],"resources":[44],"such":[45],"as":[46],"processor":[47,75],"availability":[48,76],"scarce,":[52],"time-varying":[53],"and":[54,151],"difficult":[55],"model.":[57],"A":[58],"natural":[59],"idea":[60,85],"then":[61],"design":[64],"\"computation-aware\"":[65],"that":[67,100],"can":[68,126],"dynamically":[69,128],"adapt":[70],"with":[71],"respect":[72],"provably":[79],"safe":[80],"manner.":[81],"Even":[82],"though":[83],"should":[86],"applicable":[88],"broader":[90],"context,":[91],"here":[92],"we":[93],"focus":[94],"on":[95,132],"ellipsoidal":[96,104],"over-approximations.":[97],"We":[98,142],"demonstrate":[99],"linear":[111],"systems,":[112],"well-suited":[114],"anytime":[116],"implementation":[117],"sense":[120],"quality":[122],"traded":[129],"off":[130],"depending":[131],"time":[135],"available,":[136],"all":[137],"while":[139],"guaranteeing":[140],"safety.":[141],"give":[143],"numerical":[145],"example":[146],"illustrate":[148],"idea,":[150],"point":[152],"out":[153],"possible":[154],"future":[155],"directions.":[156]},"counts_by_year":[],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}