{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T07:06:04Z","timestamp":1770447964183,"version":"3.49.0"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Science Foundation for Young Scientists of China","doi-asserted-by":"publisher","award":["61401011"],"award-info":[{"award-number":["61401011"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission through the UnCoVerCPS Project","doi-asserted-by":"publisher","award":["643921"],"award-info":[{"award-number":["643921"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Key Technologies Research and Development Program of China","award":["2015BAG15B01"],"award-info":[{"award-number":["2015BAG15B01"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1109\/tcst.2016.2542046","type":"journal-article","created":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T14:13:08Z","timestamp":1459519988000},"page":"309-316","source":"Crossref","is-referenced-by-count":56,"title":["Multi-aircraft Conflict Detection and Resolution Based on Probabilistic Reach Sets"],"prefix":"10.1109","volume":"25","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":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2014.6981611"},{"key":"ref32","article-title":"Assessment of the 60 km rapid update cycle (RUC) with near real-time aircraft reports","author":"cole","year":"1998"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0927-0507(03)10005-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-3087-7"},{"key":"ref10","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":"ref11","year":"2012","journal-title":"User Manual for Base of Aircraft Data (BADA)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.00612"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461361"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_25"},{"key":"ref15","author":"grant","year":"2013","journal-title":"CVX Matlab software for disciplined convex programming version 2 0 beta"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.853699"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2008.2006138"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2514\/2.4982"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2011011"},{"key":"ref4","author":"boyd","year":"2009","journal-title":"Convex optimization"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.08.029"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/07069821X"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-003-0499-y"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.07.001"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-010-9754-6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461358"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2514\/1.28858"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5531078"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"ref22","article-title":"Ellipsoidal toolbox","author":"kurzhanskiy","year":"2006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012903437605"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/6979.994791"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"},{"key":"ref26","article-title":"A stochastic hybrid model for air traffic management processes","author":"lymperopoulos","year":"2007"},{"key":"ref25","article-title":"Sequential Monte Carlo methods in air traffic management","author":"lymperopoulos","year":"2010"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/87\/7782802\/07445836.pdf?arnumber=7445836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:39:11Z","timestamp":1641987551000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7445836\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":33,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2016.2542046","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,1]]}}}