{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T20:31:59Z","timestamp":1774729919379,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/iros.2014.6942859","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T17:48:34Z","timestamp":1415814514000},"page":"2202-2208","source":"Crossref","is-referenced-by-count":35,"title":["A machine learning approach for real-time reachability analysis"],"prefix":"10.1109","author":[{"given":"Ross E.","family":"Allen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ashley A.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph A.","family":"Starek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Pavone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.2514\/2.4862"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1137\/0313012"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-8655(02)00109-5"},{"key":"14","author":"nocedal","year":"2006","journal-title":"Numerical Optimization"},{"key":"11","first-page":"1179","article-title":"Finding prototypes for nearest neighbor classifiers","volume":"c 23","author":"chang","year":"1974","journal-title":"IEEE Trans on Automatic Control"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1985.6313426"},{"key":"3","article-title":"Pattern recognition and machine learning, volume 1 of info","author":"bishop","year":"2006","journal-title":"Statist Sci"},{"key":"2","first-page":"397","article-title":"Computation of an over-approximation of the backward reachable set using subsystem level set functions","author":"stipanov\ufffdc","year":"2004","journal-title":"Dyn of Cont Discrete and Impulsive Systems Volume 11 of A Mathematical Analysis"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4810"},{"key":"7","first-page":"469","article-title":"NLTOOLBOX: A library for reachability computation of nonlinear dynamical systems","author":"testylier","year":"2013","journal-title":"Autom Tech for Verif and Analysis Volume 8172 of Lecture Notes in Comp Science"},{"key":"6","first-page":"20","article-title":"Reachability analysis of nonlinear systems using conservative approximation","author":"asarin","year":"2003","journal-title":"Hybrid Systems Comp and Control Volume 2623 of Lecture Notes in Comp Science"},{"key":"5","first-page":"8966","article-title":"Efficient reachability analysis for linear systems using support functions","volume":"17","author":"girard","year":"2008","journal-title":"IFAC World Congress"},{"key":"4","article-title":"Predictive control","author":"borrelli","year":"2014","journal-title":"preparation"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.03.002"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2285751"}],"event":{"name":"2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2014)","location":"Chicago, IL, USA","start":{"date-parts":[[2014,9,14]]},"end":{"date-parts":[[2014,9,18]]}},"container-title":["2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926644\/6942370\/06942859.pdf?arnumber=6942859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T00:55:26Z","timestamp":1490316926000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6942859\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iros.2014.6942859","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}