{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T16:30:15Z","timestamp":1774456215855,"version":"3.50.1"},"reference-count":57,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2013,9,1]],"date-time":"2013-09-01T00:00:00Z","timestamp":1377993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/tcst.2012.2220773","type":"journal-article","created":{"date-parts":[[2012,10,24]],"date-time":"2012-10-24T18:03:12Z","timestamp":1351101792000},"page":"1820-1833","source":"Crossref","is-referenced-by-count":66,"title":["Toward 4-D Trajectory Management in Air Traffic Control: A Study Based on Monte Carlo Simulation and Reachability Analysis"],"prefix":"10.1109","volume":"21","author":[{"given":"Kostas","family":"Margellos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","author":"mitchell","year":"2002","journal-title":"Application of level set methods to control and reachability problems in continuous and hybrid systems"},{"key":"ref38","author":"sethian","year":"1996","journal-title":"Level Set Methods Evolving Interfaces In Geometry Fluid Mechanics Computer Vision And Materials Science"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"917","DOI":"10.1016\/j.automatica.2004.01.012","article-title":"On reachability and minimum cost optimal control","volume":"40","author":"lygeros","year":"2004","journal-title":"Automatica"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/9.769372"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904449"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/9.981719"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9991(88)90002-2"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1984.33.33040"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-45351-2_34","author":"mitchell","year":"2001","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4755-1"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012998349327"},{"key":"ref29","first-page":"177","volume":"4","author":"cardaliaguet","year":"1999","journal-title":"Annals of the International Society of Dynamic Games"},{"key":"ref2","year":"2007","journal-title":"Next Generation Air Transportation System (NGATS) Air Traffic Management (ATM)?Airportal Project"},{"key":"ref1","year":"2006","journal-title":"SESAR Definition Phase?Deliverable D1?Air Transport Framework?The Current Situation"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.1998.707322"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2514\/1.21562"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","article-title":"Controllers for reachability specifications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica"},{"key":"ref24","first-page":"462","article-title":"Subliminal air traffic control: Human friendly control of a multiagent system","author":"cruck","year":"2007","journal-title":"Proc Amer Control Conf"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582797"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1137\/S036301299427223X"},{"key":"ref25","author":"aubin","year":"1991","journal-title":"Viability Theory"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582778"},{"key":"ref51","author":"lotz","year":"2009","journal-title":"Implementation and performance evaluation of time of arrival control for air traffic management"},{"key":"ref57","author":"cole","year":"1998","journal-title":"An assessment of the 60 km rapid update cycle (RUC) with near real-time aircraft reports"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"ref55","year":"2010","journal-title":"Advanced Required Navigation Performance (A-RNP) Real-Time Simulation"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.4171\/IFB\/144"},{"key":"ref53","author":"mitchell","year":"2007","journal-title":"A Toolbox of level set methods"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1137\/0305009"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.883108"},{"key":"ref11","first-page":"1574","article-title":"A particle system for safety verification of free flight in air traffic","author":"blom","year":"2007","journal-title":"Proc IEEE Conf Decision Control"},{"key":"ref40","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/3-540-46430-1_27","author":"mitchell","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref12","first-page":"1","article-title":"Free flight safety risk modeling and simulation","author":"blom","year":"2006","journal-title":"Proc 2nd Int Conf Res Air Transp"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2514\/1.28858"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2514\/2.4081"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"195","DOI":"10.2514\/atcq.7.3.195","article-title":"Conflict probability estimation generalized to non-level flight","volume":"7","author":"paielli","year":"1999","journal-title":"Air Traffic Control Quart"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.903370"},{"key":"ref4","year":"2008","journal-title":"CATS State of the Art?Deliverable D1 1"},{"key":"ref3","year":"2006","journal-title":"SESAR The ATM Target Concept?Deliverable D3"},{"key":"ref6","year":"2010","journal-title":"Report on Target Window Modeling?Deliverable D2 2 4 3"},{"key":"ref5","year":"2008","journal-title":"Validation Strategy and Plan?Deliverable D1 3 1"},{"key":"ref8","year":"2010","journal-title":"HIL2 Primary Results Analysis?Deliverable D2 1 2"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3141\/2214-13"},{"key":"ref49","author":"jackson","year":"1997","journal-title":"Sensitivity of Trajectory Prediction in Air Traffic Management and Flight Management Systems"},{"key":"ref9","year":"2010","journal-title":"Report on Modelling and Quantitative Risk Analysis?Deliverable D2 2 1 2"},{"key":"ref46","author":"lymperopoulos","year":"2010","journal-title":"Sequential Monte Carlo methods in air traffic management"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1007\/978-3-540-24743-2_25","author":"glover","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1002\/acs.1174"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.2514\/1.46190"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530514"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400119"},{"key":"ref44","author":"lymperopoulos","year":"2007","journal-title":"A stochastic hybrid model for air traffic management processes"},{"key":"ref43","year":"2002","journal-title":"User Manual for the Base of Aircraft Data (BADA) Revision 3 3"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/87\/6578094\/06339013.pdf?arnumber=6339013","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:45:44Z","timestamp":1638218744000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6339013\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":57,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2012.2220773","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9]]}}}