{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T21:39:20Z","timestamp":1769636360590,"version":"3.49.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/acc.2007.4282641","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T12:01:54Z","timestamp":1186574514000},"page":"462-467","source":"Crossref","is-referenced-by-count":9,"title":["Subliminal air traffic control: Human friendly control of a multi-agent system"],"prefix":"10.1109","author":[{"given":"Eva","family":"Cruck","sequence":"first","affiliation":[]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Conflict probability and incrossing probability in air traffic management","author":"bakker","year":"2002","journal-title":"Conference on Decision and Control"},{"key":"ref11","article-title":"PHARE highly interactive problem solver","author":"meckiff","year":"1994","journal-title":"Eurocontrol Experimental Centre BP 15 91222 Bretigny-sur-Orge"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898217"},{"key":"ref14","year":"0","journal-title":"DGAC\/DSNA Le projet ERATO Ingenierie Cognitive et Contr&#x00F4;le"},{"key":"ref15","article-title":"A stochastic hybrid model for air traffic management processes","author":"lymperopoulos","year":"2007","journal-title":"CB2 1PZ UK Tech Rep CUED\/F-INFENG\/TR 572"},{"key":"ref16","year":"0","journal-title":"VEUROCONTROL alidation data repository"},{"key":"ref17","article-title":"Conflict perception by ATCs admits doubt but not incon-sistency","author":"averty","year":"2005","journal-title":"6th Eurocontrol \/ FAA ATM R & D Seminar Baltimore"},{"key":"ref18","article-title":"Automatisation du controle de la circulation aerienne-projet &#x201C;ERASMUS&#x201D; une voie originale pour mieux utiliser l'espace aerien","volume":"58","author":"villiers","year":"2004","journal-title":"ITA Tech Rep"},{"key":"ref19","year":"0","journal-title":"EUROCONTROL (2006) ERASMUS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s11228-004-6412-x"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/37.526911"},{"key":"ref27","article-title":"Viability Theory","author":"aubin","year":"1991","journal-title":"ser Systems & Control Foundations & Applications Birkhauser"},{"key":"ref3","year":"0","journal-title":"Federal Aviation Authority (2001) Safer skies"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.2514\/2.4081"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2514\/2.4111"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/6979.898224"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.657844"},{"key":"ref2","year":"2001","journal-title":"European Commision European Transport Policy for 2010 time to decide"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"85","DOI":"10.2514\/atcq.10.2.85","article-title":"A geometrical approach to conflict probability estimation","volume":"10","author":"irvine","year":"2002","journal-title":"Air Traffic Control Quarterly"},{"key":"ref1","article-title":"Air traffic forecasts for the United Kingdom 1997","year":"1997","journal-title":"Department of Transport U K"},{"key":"ref20","year":"2002","journal-title":"Surveillance Development Road Map"},{"key":"ref22","article-title":"Hybrid modeling for the evaluation of risk perception by air-traffic controllers","author":"criick","year":"2007","journal-title":"European Control Conference"},{"key":"ref21","article-title":"Perception of risks of conflict by air traffic controllers: the CREED project","author":"averty","year":"2006","journal-title":"DGACIDSNAIDTI Tech Rep Revue Technique de la DTI 3"},{"key":"ref24","first-page":"2","article-title":"Impulse differential inclusions: A viability approach to hybrid sys-tems","volume":"47","author":"aubin","year":"2002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.883108"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(01)00174-1"},{"key":"ref25","first-page":"223","article-title":"Pursuit-Evasion games with impulsive dynamics","volume":"9","author":"criick","year":"2006","journal-title":"ser Advances in Dynamical Games Birkhauser"}],"event":{"name":"2007 American Control Conference","location":"New York, NY, USA","start":{"date-parts":[[2007,7,9]]},"end":{"date-parts":[[2007,7,13]]}},"container-title":["2007 American Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4282134\/4282135\/04282641.pdf?arnumber=4282641","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T17:00:14Z","timestamp":1556730014000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4282641\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/acc.2007.4282641","relation":{},"ISSN":["0743-1619"],"issn-type":[{"value":"0743-1619","type":"print"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}