{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:08:56Z","timestamp":1740100136993,"version":"3.37.3"},"reference-count":29,"publisher":"IEEE","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation under NSF","doi-asserted-by":"publisher","award":["CMMI-1254990,CNS-1836900"],"award-info":[{"award-number":["CMMI-1254990,CNS-1836900"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007000","name":"LDRD program at Sandia Nat'l Laboratories","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007000","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"US Dep't of Energy's National Nuclear Security Administration","doi-asserted-by":"publisher","award":["DE-NA-0003525"],"award-info":[{"award-number":["DE-NA-0003525"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9483404","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"1287-1293","source":"Crossref","is-referenced-by-count":3,"title":["Approximate Stochastic Reachability for High Dimensional Systems"],"prefix":"10.23919","author":[{"given":"Adam J.","family":"Thorpe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vignesh","family":"Sivaramakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meeko M. K.","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178148"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2017.2716364"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.29007\/b8zr"},{"key":"ref13","article-title":"HyLAA 2.0: A verification tool for linear hybrid automaton models of cyber-physical systems","author":"bak","year":"0","journal-title":"IEEE Real-Time Syst Symp"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049808"},{"journal-title":"Stochastic Optimal Control The Discrete Time Case","year":"1978","author":"bertsekas","key":"ref15"},{"key":"ref16","first-page":"13","article-title":"A Hilbert space embedding for distributions","author":"smola","year":"0","journal-title":"10th Int Conf Algorithmic Learning Theory"},{"key":"ref17","article-title":"Model-free stochastic reachability using kernel distribution embeddings","author":"thorpe","year":"2019","journal-title":"Syst & Ctrl Lett"},{"key":"ref18","first-page":"1177","article-title":"Random features for large-scale kernel machines","author":"rahimi","year":"2008","journal-title":"Adv in Neural Inf Process Syst"},{"key":"ref19","first-page":"1313","article-title":"Weighted sums of random kitchen sinks: Replacing minimization with randomization in learning","author":"rahimi","year":"2009","journal-title":"Adv in Neural Inf Process Syst"},{"key":"ref28","first-page":"3215","article-title":"Generalization properties of learning with random features","author":"rudi","year":"2017","journal-title":"Adv in Neural Inf Process Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760626"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1553374.1553497"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2015.2483780"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814977"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311809"},{"key":"ref5","first-page":"272","article-title":"FAUST2: Formal abstractions of uncountable-state stochastic processes","author":"soudjani","year":"0","journal-title":"Int Conf on Tools and Algorithms for the Construction and Anal of Syst"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431308"},{"key":"ref7","first-page":"37","article-title":"Voronoi partition-based scenario reduction for fast sampling-based stochastic reachability computation of LTI systems","author":"sartipizadeh","year":"0","journal-title":"Proc Amer Ctrl Conf"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669603"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8618921"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.08.006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9096-9"},{"key":"ref22","first-page":"1823","article-title":"Conditional mean embeddings as regressors","author":"gr\u00fcnew\u00e4lder","year":"0","journal-title":"Int Conf Machine Learning"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1950-0051437-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1162\/0899766052530802"},{"key":"ref23","first-page":"1603","article-title":"Modelling transition dynamics in MDPs with RKHS embeddings","author":"gr\u00fcnew\u00e4lder","year":"0","journal-title":"Int Conf Machine Learning"},{"key":"ref26","first-page":"3905","article-title":"Towards a unified analysis of random Fourier features","author":"li","year":"0","journal-title":"Int Conf Machine Learning"},{"key":"ref25","volume":"121967","author":"rudin","year":"1962","journal-title":"Fourier Analysis on Groups"}],"event":{"name":"2021 American Control Conference (ACC)","start":{"date-parts":[[2021,5,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09483404.pdf?arnumber=9483404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T10:50:34Z","timestamp":1633517434000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9483404\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":29,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9483404","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}