{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:24:26Z","timestamp":1730204666230,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717245","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"2081-2086","source":"Crossref","is-referenced-by-count":1,"title":["A complexity reduction approach to the detection of safety critical situations in Air Traffic Management systems"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"Petriccone","sequence":"first","affiliation":[]},{"given":"Giordano","family":"Pola","sequence":"additional","affiliation":[]},{"given":"Maria D.","family":"Di Benedetto","sequence":"additional","affiliation":[]},{"given":"Elena","family":"De Santis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Controllers for reachability specications for hybrid systems","volume":"35","author":"lygeros","year":"1999","journal-title":"Automatica Special Issue on Hybrid Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref12","first-page":"76","article-title":"Design of observers for hybrid systems","volume":"2289","author":"balluchi","year":"2002","journal-title":"Hybrid Systems Computation and Control ser Lecture Notes in Computer Science"},{"key":"ref13","article-title":"A multi-aircraft model for conflict detection and resolution algorithm evaluation","author":"glover","year":"2004","journal-title":"Project IST-2001–32460 HYBRIDGE Deliverable 1 3"},{"key":"ref4","article-title":"Critical observability of a class of hybrid systems and application to air traffic management","author":"de santis","year":"2005","journal-title":"Book Chapter of Lecture Notes on Control and Information Sciences"},{"key":"ref3","article-title":"Compositional hybrid system approach to the analysis of air traffic management systems","author":"benedetto","year":"2009","journal-title":"8-th Innovative Research Workshop Exhibition EUROCONTROL"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1432"},{"journal-title":"Qualitative Risk Assessment for ASEP-ITP D6 1b ASSTAR Projects","year":"2007","author":"montijn","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377554"},{"key":"ref2","article-title":"Automatic verification of temporal properties of air traffic management procedures using hybrid systems","author":"di benedetto","year":"2008","journal-title":"EUROCONTROL Innovative ATM Research Workshop & Exhibition"},{"key":"ref1","article-title":"Hybrid system framework for the safety modelling of the in trail procedure","author":"colageo","year":"2008","journal-title":"ICRAT 2008–3rd International Conference on Research in Air Transportation"},{"journal-title":"In-Trail Procedure in Procedural Airspace (ATSA-ITP) Application descriptionASSTAR Projects","year":"2007","key":"ref9"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717245.pdf?arnumber=5717245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T23:35:26Z","timestamp":1490052926000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717245\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717245","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}