{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:05:38Z","timestamp":1729649138920,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/cca.2014.6981611","type":"proceedings-article","created":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T21:48:36Z","timestamp":1419976116000},"page":"2089-2094","source":"Crossref","is-referenced-by-count":11,"title":["A stochastic reachability analysis approach to aircraft conflict detection and resolution"],"prefix":"10.1109","author":[{"given":"Yang","family":"Yang","sequence":"first","affiliation":[]},{"given":"Jun","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Kai-quan","family":"Cai","sequence":"additional","affiliation":[]},{"given":"Maria","family":"Prandini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Sequential Monte Carlo methods in air traffic management","year":"2010","author":"lymperopoulos","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3087-7"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012903437605"},{"journal-title":"An Assessment of the 60 Km Rapid Updata Cycle (RUC) with Near Real-time Aircraft Reports","year":"1998","author":"kim r e cole","key":"24"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2008.2006138"},{"key":"16","doi-asserted-by":"crossref","first-page":"559","DOI":"10.4134\/CKMS.2006.21.3.559","article-title":"An algorithm for finding the distance between two ellipses","volume":"21","author":"kim","year":"2006","journal-title":"Communications of the Korean Mathematical Society"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.853699"},{"key":"11","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-540-24743-2_25","article-title":"A stochastic hybrid model for air traffic control simulation","volume":"2993","author":"glover","year":"2004","journal-title":"Hybrid Systems Computation and Control Lecture Notes in Computer Science"},{"journal-title":"CVX Matlab software for disciplined convex programming version 2 0 beta","year":"2013","author":"grant","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2011011"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5718055"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"1","first-page":"173","article-title":"Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets","author":"althoff","year":"2013","journal-title":"Hybrid Systems Computation and Control"},{"key":"10","first-page":"203","article-title":"Flowpipe approximation and clustering in space-time","author":"frehse","year":"2013","journal-title":"Hybrid Systems Computation and Control"},{"key":"7","first-page":"50","article-title":"Conflict detection and resolution in the presence of prediction error","author":"erzberger","year":"1997","journal-title":"1st USA\/Eur Air Traffic Management Res Development Seminar"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.2514\/1.28858"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.07.001"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0499-y"},{"key":"9","article-title":"A randomized approach to space debris footprint characterization","author":"falsone","year":"2014","journal-title":"IFAC World Congress 2014 Cape Town South Africa"},{"journal-title":"User Manual for the Base of Aircraft Data","year":"2012","key":"8"}],"event":{"name":"2014 IEEE Conference on Control Applications (CCA)","start":{"date-parts":[[2014,10,8]]},"location":"Juan Les Antibes, France","end":{"date-parts":[[2014,10,10]]}},"container-title":["2014 IEEE Conference on Control Applications (CCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6960121\/6981319\/06981611.pdf?arnumber=6981611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:21:03Z","timestamp":1602688863000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6981611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cca.2014.6981611","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}