{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T15:45:39Z","timestamp":1760888739855},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"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. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/tsmca.2012.2202106","type":"journal-article","created":{"date-parts":[[2012,10,12]],"date-time":"2012-10-12T18:02:52Z","timestamp":1350064972000},"page":"1552-1561","source":"Crossref","is-referenced-by-count":8,"title":["Formulation of Reduced-Taskload Optimization Models for Conflict Resolution"],"prefix":"10.1109","volume":"42","author":[{"given":"Adan","family":"Vela","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen M.","family":"Feigh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Senay","family":"Solak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Singhose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Paul","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2009.5347517"},{"key":"ref31","author":"nuic","year":"2004","journal-title":"User Manual for the Base of Aircraft Data (BADA)Revision 3 6"},{"key":"ref30","author":"boyd","year":"0","journal-title":"Lecture Notes for EE364b"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"355","DOI":"10.2514\/atcq.10.4.355","article-title":"Concept for next generation air traffic control system","volume":"10","author":"erzberger","year":"2002","journal-title":"Air Traffic Control Quart"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2514\/6.2008-6967"},{"key":"ref12","first-page":"185","article-title":"A new method for generating optimal conflict free 4D trajectory","author":"dougui","year":"2010","journal-title":"Proc Int Conf Res Air Transp"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1518\/001872007X197017"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/6979.994791"},{"key":"ref15","article-title":"Aircraft conflict resolution taking into account controller workload using mixed integer linear programming","author":"visser","year":"0","journal-title":"Proc AIAA's 3rd Annu ATIO"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.874684"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470732"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00214-9"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2006.1655497"},{"key":"ref28","first-page":"163","author":"endsley","year":"1996","journal-title":"Automation and human performance Theory and application"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/21.400505"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"125","DOI":"10.2514\/atcq.17.2.125","article-title":"Traffic complexity measurement under higher levels of automation and higher traffic densities","volume":"17","author":"kopardekar","year":"2009","journal-title":"Air Traffic Control Quart"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/21.179843"},{"key":"ref6","article-title":"4D-trajectory deconfliction through departure time adjustment","author":"barnier","year":"2009","journal-title":"1st USA\/Eur Air Traffic Management Res Development Seminar"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2051028"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"ref8","author":"slattery","year":"1994","journal-title":"Conflict free trajectory planning for air traffic control automation"},{"key":"ref7","article-title":"Transforming the NAS: The next generation air traffic control system","author":"erzberger","year":"2005","journal-title":"Proc 25th Int Congr Aeronaut Sci"},{"key":"ref2","year":"2007","journal-title":"The ATM Target Concept D3"},{"key":"ref1","year":"2008","journal-title":"Next Generation Air Transportation System Integrated Work Plan A Functional Outline"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.2514\/3.20721"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/154193120805200110"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2007.4282641"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2007.4391819"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1108\/00022660810911590"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2004.1391304"},{"key":"ref26","article-title":"Determining the value of information for minimizing controller taskload: A graph-based approach","author":"vela","year":"2011","journal-title":"1st USA\/Eur Air Traffic Management Res Development Seminar"},{"key":"ref25","article-title":"Automated conflict resolution for air traffic control","author":"erzberger","year":"2006","journal-title":"26th Int Congr Aeronaut Sci"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/6330016\/06330031.pdf?arnumber=6330031","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:54:09Z","timestamp":1633910049000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6330031\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":32,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2012.2202106","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"value":"1083-4427","type":"print"},{"value":"1558-2426","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}