iFly publications

Top Deliverables Papers Complementary papers Press releases Acronyms



The iFly project includes the following iFly publications:

Publications

Description

Deliverables

iFly project deliverables

Papers

iFly scientific papers (i.e. conference and journal papers)

Complementary papers

Complementary papers and reports (e.g. masters thesis, papers of interest to iFly) and intermediate or interim iFly reports

Press releases

Press releases (e.g. journalist news articles, technology news, industry news, ...)

Acronyms

List of iFly acronyms (and SESAR Integrated Dictionary and Eurocontrol ATM lexicon)

 

Top Deliverables Papers Complementary papers Press releases Acronyms



iFly project deliverables

Id

WP

Title and authors

Date

Version

[D1.1]

1

Autonomous Aircraft Advanced (A3) High Level ConOps by Isdefe, Honeywell, NLR, UTartu, EEC, Dedale, ENAC

Jan 2009

Final

[D1.3]

1

Autonomous Aircraft Advanced (A3) ConOps by G. Cuevas, I. Echegoyen, J.G. García, P. Cásek, C. Keinrath, R. Weber, P. Gotthard, F. Bussink, A. Luuk

Jan 2010

Final

[D2.1]

2

Description of airborne human responsibilities in autonomous aircraft operations by A. Luuk, J.A. Wise, F. Pouw and V.Gauthereau

Dec 2007

Final

[D2.2]

2

Situation Awareness, Information, Communication and Pilot Tasks of under autonomous aircraft operations by J. Wise, C. Keinrath, F. Pouw, A. Sedaoui, V. Gauthereau and A. Luuk

Apr 2009

Final

[D2.3]

2

Identification of human factors for improvement of the A3 ConOps by C. Keinrath, J. Wise, A. Sédaoui, A. Luuk

Jun  2009

Final

[D2.4]

2

Potential human factors improvements for A3 ConOps by A. Luuk and C. Keinrath

Jan 2010

Final

[D3.1]

3

Complexity metrics applicable to autonomous aircraft by M. Prandini, L. Piroddi, S. Puechmorel, S.L. Brázdilová

Jan 2009

Final

[D3.2]

3

Report on timely prediction of complex conditions for en-route aircraft by M. Prandini, L. Piroddi, S. Puechmorel, P. Cásek, S.L. Brázdilová

May 2011

Final

[D4.1]

4

Report on hybrid models and critical observer synthesis for multi-agent situation awareness by M. Colageo, M.D. Di Benedetto, A. D’Innocenzo

Sep 2008

Final

[D4.2]

4

Report on Observability Properties of Hybrid-System Composition by M.D. Di Benedetto, A. Petriccone, G. Pola

Jan 2011

Final

[D5.1]

5

Comparative Study of Conflict Resolution Methods by G. Chaloulos, J. Lygeros, I. Roussos, K. Kyriakopoulos, E. Siva, A. Lecchini-Visintini and P. Cásek

Jan 2010

Final

[D5.2]

5

Analysis of conflict resolution needs of the A3 operational concept by N. Kantas, J. Maciejowski, A. Lecchini-Visintini, G. Chaloulos, J. Lygeros, I. Roussos, K. Kyriakopoulos, P. Cásek

Feb 2011

Final

[D5.3]

5

Report on advanced conflict resolution mechanisms for A3 ConOps by E. Siva, J.M. Maciejowski, G.Chaloulos, J. Lygeros, G. Roussos, K.Kyriakopoulos

Aug 2011

Final

[D5.4]

5

Final WP5 report including validation by E. Siva, J.M. Maciejowski, G.Chaloulos, J. Lygeros, G. Roussos, K.Kyriakopoulos

Oct 2011

Final

[D6.1]

6

Methodological Framework for Cost-Benefit Analysis by K. Zografos and K. Androutsopoulos

Jan 2009

Final

[D6.2]

6

Institutional and Organizational analysis for the implementation of the autonomous aircraft operations by K.G. Zografos and K.N. Androutsopoulos

Mar 2011

Final

[D6.4]

6

Cost-benefit analysis results presentation by K. Zografos and K. Androutsopoulos

July 2011

Final

[D7.1a]

7

Accident risk and flight efficiency of A3 operation - Scoping and safety target - by H.A.P. Blom

Feb 2009

Final

[D7.1b]

7

Hazard Identification and Initial Hazard Analysis of A3 ConOps based operation by H.A.P. Blom, G.J. Bakker, M.B. Klompstra and F.J.L. Bussink

Sep 2009

Final

[D7.1c]

7

Report on Petri Net modelling of the advanced operation

TBD

TBD

[D7.2a]

7

Review of risk assessment status for air traffic. Editors: H.A.P. Blom, J. Krystul, P. Lezaud and M.B. Klompstra

Jan 2009

Final

[D7.2b]

7

Trans-dimensional simulation for rare-events estimation on stochastic hybrid systems by N. Kantas and J.M. Maciejowski

May 2009

Final

[D7.2d]

7

Periodic Boundary Condition in Simulating Large Scale Airborne Self Separation Airspace by A. Goswami, G.J. Bakker, H.A.P. Blom

Apr 2011

Final

[D7.2e]

7

Rare event estimation for a large scale stochastic hybrid system with air traffic application - IPS extension to large hybrid systems - by H.A.P. Blom, G.J. Bakker and J. Krystul

Jan 2009

Final

[D7.2f]

7

Sensitivity analysis in Monte Carlo simulation based rare event estimation by M.B. Klompstra, G.J. Bakker, H.A.P. Blom

Mar 2011

Final

[D7.2g]

7

Final report on Monte Carlo speed-up studies by H.A.P. Blom and G.J. Bakker

Dec 2011

Final

[D7.4]

7

Final report on Accident Risk Assessment of Advanced Autonomous Aircraft (A3) operation by H.A.P. Blom and G.J. Bakker

Sep 2011

Final

[D8.1]

8

Integration of mathematical results Editors: L. Biescas, H.A.P. Blom

Dec 2011

Final

[D8.2]

8

Flow Management in Self-Separation Airspace by R. Verbeek

Feb 2011

Final

[D8.3]

8

A3 equipped aircraft within SESAR's concept of operations by S. Peces and L. Biescas

Sep 2011

Final

[D8.4]

8

Non-airborne requirements in support of A3 equipped aircraft by V. Bordón and J. Bueno

Jul 2011

Final

[D8.5]

8

Identification of potential directions for further refinement of the A3 ConOps by V. Bordón and R. Garcia

Jan 2012

Final

[D9.1]

9

Operational Services and Environment Description (OSED) of Airborne Self-Separation Procedure (SSEP) by P. Cásek, E. Gelnarová

Jan 2010

Final

[D9.2]

9

ED78a/DO-264 based Operational Hazard Assessment (OHA) and Allocation of Safety Objectives and Requirements (ASOR) of Airborne Self-Separation Procedure by E. Gelnarová, J. Jonák

Feb 2011

Final

[D9.3]

9

Operational Performance Assessment (OPA) by P. Cásek, P. Mejzlík

Feb 2011

Final

[D9.4]

9

Airborne System Design Requirements of Airborne Self-Separation Procedure by P. Cásek and Í. Romani de Oliveira

June 2011

Final

[D10.1i]

10

Initial validation strategy and plan by H. Blom

Aug 2009

Intermediate

[D10.1]

10

Validation strategy and plan by H. Blom

Dec 2011

Final

[D10.2.1]

10

Scientific papers

 

 

[D10.2.2]

10

Workshop and presentations

 

 

[D10.2.3]

10

iFly website

 

 

[D10.2.4]

10

iFly Publishable Final Activity Report
Editors: H.A.P. Blom and M.B. Klompstra

March 2012

Final

 

Top Deliverables Papers Complementary papers Press releases Acronyms



iFly scientific papers (conference and journal papers)

Id

WP

Title

Date

Version

[P1.1]

1

Airborne System for Self Separation in a Trajectory–Based Airspace by P. Cásek and C. Keinrath

Nov 2008

Preprint for INO Workshop 2008

[P2.1]

2

iFly: Human Factors in Autonomous Aircraft Operations (Airborne Self-Separation Environment) by C. Keinrath, F. Pouw, J.A. Wise, A. Luuk, A. Sedaoui, V. Gauthereau

Mar 2008

Preprint for EAAP08

[P3.3]

3

Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction by M. Prandini and J. Hu

Sep 2008

Preprint for CDC 2008

[P3.4]

3

An approximate dynamic programming approach to probabilistic reachability for stochastic hybrid systems by A. Abate, M. Prandini, J. Lygeros and S. Sastry

Sep 2008

Preprint for CDC 2008

[P3.9]

3

New trends in air traffic complexity by S. Puechmorel and D. Delahaye

Mar 2009

Preprint for EIWAC 2009

[P3.10]

3

Airspace complexity for airborne self separation by S.L. Brázdilová, P. Cásek, and J. Kubalčík

Oct 2009

Preprint for CEAS 2009

[P3.11]

3

A probabilistic approach to air traffic complexity evaluation by M. Prandini and J. Hu

Dec 2009

Preprint for CDC 2009

[P3.15]

3

A geometric approach to air traffic complexity evaluation for strategic trajectory management by L. Piroddi and M. Prandini

Sep 2010

Preprint for CDC 2010

[P3.18]

3

Air traffic complexity in advanced automated Air Traffic Management systems by M. Prandini, V. Putta, J. Hu

Sep 2010

Preprint for INO Workshop 2010

[P4.1]

4

Observer design for discrete-time linear switching systems by E. De Santis and M.D. Di Benedetto

Jun 2007

Preprint for SSSC 2007

[P4.2]

4

Markov Set-Chains as abstractions of Stochastic Hybrid Systems? by A. Abate, A. D’Innocenzo, M.D. Di Benedetto and S. Sastry

Mar 2008

Preprint for HSCC 2008

[P4.3]

4

Hybrid System Framework for the Safety Modelling of the In Trail Procedure by M. Colageo and A. Di Francesco

Apr 2008

Preprint for ICRAT 2008

[P4.9]

4

Automatic verification of temporal properties of Air Traffic Management procedures using hybrid systems by M.D. Di Benedetto, A. D’Innocenzo, A. Petriccone

Nov 2008

Preprint for INO Workshop 2008

[P4.12]

4

Understanding Deadlock and Livelock Behaviors in Hybrid Control Systems by A. Abate, A. D'Innocenzo, M.D. Di Benedetto and S. Sastry. In: Nonlinear Analysis: Hybrid Systems, Vol. 3, Issue 2, May 2009, pp. 150-162

Dec 2008

Preprint for NAHS 2009

[P4.13]

4

On observer based stabilization of networked systems by P. Caravani and E. De Santis

Jul 2009

Preprint for CDC 2009

[P4.14]

4

A Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems by E. De Santis, M.D. Di Benedetto, A. Petriccone and G.Pola

Sep 2009

Preprint for INO Workshop 2009

[P4.15]

4

Stochastic validation of ATM procedures by abstraction algorithms by M.D. Di Benedetto, G. Di Matteo and A. D'Innocenzo

Mar 2010

Preprint for ICRAT 2010

[P4.16]

4

A Complexity Reduction Approach to the Detection of Safety Critical Situations in Air Traffic Management Systems by A. Petriccone, G. Pola, M.D. Di Benedetto, E. De Santis

Jul 2010

Preprint for CDC 2010

[P5.1]

5

Simulated Annealing: Rigorous finite-time guarantees for optimization on continuous domains by A. Lecchini-Visintini, J. Lygeros, J. Maciejowski

Sep 2007

Preprint for NIPS 2007

[P5.2]

5

3D Navigation and Collision Avoidance for a Non-Holonomic Vehicle by G.P. Roussos, D.V. Dimarogonas and K.J. Kyriakopoulos

Jun 2008

Preprint for ACC2008

[P5.3]

5

Ground Assisted Conflict Resolution in Self-Separation Airspace by G. Chaloulos, G.P. Roussos, J. Lygeros and K.J. Kyriakopoulos

Aug 2008

Preprint for AIAA-GNCC 2008

[P5.4]

5

Sequential Monte Carlo for Model Predictive Control by N. Kantas, J.M. Maciejowski and A. Lecchini-Visintini

Jan 2009

Preprint for NMPC 2008

[P5.5]

5

Combining Monte Carlo and worst-case methods for trajectory prediction in air traffic control: a case study by E. Crisostomi , A. Lecchini-Visintini and J. Maciejowski

Oct 2007

Preprint for INO Workshop 2007

[P5.6]

5

Control of Multiple Non-Holonomic Air Vehicles under Wind Uncertainty Using Model Predictive Control and Decentralized Navigation Functions by G. Roussos, G. Chaloulos, K. Kyriakopoulos, J. Lygeros

Sep 2008

Preprint for CDC 2008

[P5.7]

5

Hybrid Control of a Constrained Velocity Unicycle with Local Sensing by A. Oikonomopoulos, S. Loizou, K. Kyriakopoulos

Dec 2008

Preprint for CDC 2008

[P5.8]

5

On the approximate domain optimization of deterministic and expected value criteria by A. Lecchini Visintini, J. Lygeros, and J. Maciejowski

Oct 2008

Preprint for CDC 2008

[P5.9]

5

Combining Monte Carlo and worst-case methods for trajectory prediction in air traffic control: a case study by E. Crisostomi, A. Lecchini-Visintini and J.M. Maciejowski. In: Automatic Control in Aerospace (online journal) Vol.2, no.1, Jun  2009.

Jun 2009

Preprint for ACA Jun  2009

[P5.10]

5

Stability of Model Predictive Control Using Markov Chain Monte Carlo Optimisation by E. Siva, P.J. Goulart, J.M. Maciejowski and N. Kantas

Aug 2009

Preprint for ECC 2009

[P5.11]

5

Coordination of Multiple Non-Holonomic Agents with Input Constraints by A. Oikonomopoulos, S. Loizou, K. Kyriakopoulos

May 2009

Preprint for ICRA 2009

[P5.12]

5

Distributed 3D Navigation and Collision Avoidance for Multiple Nonholonomic Agents by G. Roussos, D. Dimarogonas, K. Kyriakopoulos

Aug 2009

Preprint for ECC 2009

[P5.14]

5

A two-step approach to aircraft conflict resolution combining optimal deterministic design with Monte Carlo stochastic optimization by M. Prandini, L. Piroddi, J. Lygeros

May 2009

Preprint for ECC 2009

[P5.15]

5

Towards Constant Velocity Navigation and Collision Avoidance for Autonomous Nonholonomic Aircraft-like Vehicles by G. Roussos, K.J. Kyriakopoulos

Jul 2009

Preprint for CDC 2009

[P5.16]

5

Mid and Short Term Conflict Resolution in Autonomous Aircraft Operations by G. Chaloulos, G. Roussos, J. Lygeros and K. J. Kyriakopoulos

Sep 2009

Preprint for INO Workshop 2009

[P5.19]

5

An advanced particle filtering algorithm for improving conflict detection in Air Traffic Control by I. Lymperopoulos, G. Chaloulos and J. Lygeros

Jun  2010

Preprint for ICRAT 2010

[P5.20]

5

Decentralised Navigation and Collision Avoidance for Aircraft in 3D Space by G.P. Roussos and K.J. Kyriakopoulos

Jun 2010

Preprint for ACC2010

[P5.21]

5

Distributed Hierarchical MPC for Conflict Resolution in Air Traffic Control by G. Chaloulos, P. Hokayem and J. Lygeros

Jun 2010

Preprint for ACC2010

[P5.22]

5

Stable Markov Decision Processes Using Simulation Based Predictive Control by Z. Yang, N. Kantas, A. Lecchini-Visintini and J.M. Maciejowski

Jul 2010

Preprint for MTNS 2010

[P5.23]

5

Simulation Based Optimal Design of Aircraft Trajectories for Air Traffic Management by N. Kantas, A. Lecchini-Visintini and J. Maciejowski. In: International Journal on Adaptive Control and Signal Processing, Vol. 24, No. 10, pp. 882-899.

Oct 2010

In IJACSP 2010

[P5.25]

5

Priority Rules in a Distributed ATM by P. Cásek and S.L. Brázdilová

Apr 2010

Preprint for ATOS 2010

[P5.26]

5

3D Navigation and Collision Avoidance for Nonholonomic aircraft-like vehicles by G. Roussos, D.V. Dimarogonas and K.J. Kyriakopoulos. In: International Journal of Adaptive Control and Signal Processing (online journal), Vol. 24, No. 10, pp. 900-920, Oct 2010.

Oct 2010

Preprint for Wiley Online Library

[P5.27]

5

Decentralised and prioritized Navigation and Collision Avoidance for Multiple Mobile Robots by G. Roussos, K.J. Kyriakopoulos

Oct 2010

Preprint for DARS 2010

[P5.28]

5

Completely Decentralised Navigation of Multiple Unicycle Agents with Prioritization and Fault Tolerance by G. Roussos, K.J. Kyriakopoulos

Jul 2010

Preprint for CDC 2010

[P5.29]

5

Robust Multiplexed Model Predictive Control for Agent-based Conflict Resolution by E. Siva, J.M. Maciejowski and K.V. Ling

Jul 2010

Preprint for CDC 2010

[P5.32]

5

A new method for generating optimal conflict free 4D trajectory by N. Dougui, D. Delahaye, S. Puechmorel and M. Mongeau

Jun  2010

Preprint for ICRAT 2010

[P5.33]

5

Hybrid Optimal Control for Aircraft Trajectory Design with a Variable Sequence of Modes by M. Kamgarpour, M. Soler, C.J. Tomlin, A. Olivares and J. Lygeros

Aug  2011

Preprint for IFAC 2011

[P5.34]

5

A stochastic reach-avoid problem with random obstacles by S. Summers, M. Kamgarpour, C. Tomlin and J. Lygeros

Apr  2011

Preprint for HSCC 2011

[P5.35]

5

Hierarchical Control with Prioritized MPC for Conflict Resolution in Air Traffic Control by G. Chaloulos, P. Hokayem and J. Lygeros

Aug  2011

Preprint for IFAC 2011

[P5.37]

5

Editorial for the Special Issue "Air Traffic Management: Challenges and opportunities for advanced Control" by A. Lecchini-Visintini and J. Lygeros. In: International Journal on Adaptive Control and Signal Processing, Vol. 24, No. 10, pp. 811-812.

Oct 2010

In IJACSP 2010

[P7.1]

7

Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems by H.A.P. Blom, G.J. Bakker and J. Krystul

Sep 2007

Preprint for CDC 2007

[P7.2]

7

Simulated safety risk of airborne self separation by H.A.P. Blom, B. Klein Obbink, G.J. Bakker

Oct 2007

Preprint for Eurocontrol Safety Seminar 2007

[P7.3]

7

Simulated collision risk of an uncoordinated airborne self separation concept of operation by H.A.P. Blom , B. Klein Obbink, G.J. Bakker

Nov 2008

Preprint for INO Workshop 2008

[P7.7]

7

Stochastic reachability as an exit problem by M.L. Bujorianu and H.A.P. Blom

Jun 2009

Preprint for IEEE MED 2009

[P7.8]

7

A overview of sequential Monte Carlo methods for parameter estimation in general state-space models by N. Kantas, A. Doucet, S.S. Singh and J.M. Maciejowski

Jul 2009

Preprint for SYSID 2009

[P7.9]

7

Bisimulation relations between automata, stochastic differential equations and Petri Nets, Electronic Proceedings in Theoretical Computer Science (EPTCS) by M.H.C. Everdij and Henk A.P. Blom

Mar 2010

Preprint for EPTCS20 2010

[P7.11]

7

Air traffic complexity and the interacting particle system method: An integrated approach for collision risk estimation by M. Prandini, H.A.P. Blom, G.J. Bakker

Apr 2011

Preprint for ACC 2011

[P7.12]

7

Sampling-per-mode rare event simulation in switching diffusions by J.Krystul, F. Le Gland and P. Lezaud. In: Stochastic Processes and their Applications 2011

Dec 2010

Preprint for SPA 2011

[P7.13]

7

Safety of advanced airborne self separation under very high en-route traffic demand by H.A.P. Blom and G.J. Bakker

Sep 2011

Preprint for SESAR Innovation Days 2011

[P8.1]

8

Comparison of pairwise priority-based resolution schemes through fast-time simulation by R.Irvine

Sep 2009

Preprint for INO Workshop 2009

[P10.1]

10

Safety risk simulation of an airborne self separation concept of operation by H.A.P. Blom, B. Klein Obbink, G.J. Bakker

Sep 2007

Preprint for AIAA-ATIO 2007

[P10.3]

10

Safe, airborne self-separation operations in tomorrow’s airspace? by R.Weber, H.A.P. Blom, P. Cásek

Aug 2008

Preprint for ISSC 2008

[P10.4]

10

Improved airborne spacing control for trailing aircraft, Proc. 2009 Asia-Pacific International Symposium on Aerospace Technology (APISAT 2009) by E. Itoh, P.J. van der Geest and H.A.P. Blom

Jun  2009

Preprint for APISAT 2009

[P10.5]

10

Speed control for airborne separation assistance in continuous descent arrivals by E. Itoh, M. Everdij, B. Bakker and H. Blom

Sep 2009

Preprint for AIAA ATIO 2009

[P10.7]

10

Compositional modelling using Petri nets with the analysis power of stochastic hybrid processes by M. Everdij

Jun 2010

PhD Thesis

[P10.8]

10

A Compositional Hybrid Systems Framework for the Analysis of Air Traffic Management Systems by A. Petriccone

Mar 2012

PhD Thesis


Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

IEEE material: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

 

Top Deliverables Papers Complementary papers Press releases Acronyms



Complementary papers and reports

Id

WP

Title

Date

Version

[C2.1]

2

Predicting students’ academic performance in Aviation College from their admission test results by A. Luuk and K. Luuk

Mar 2008

Preprint for EAAP08

[C7.1]

7

Approximate abstractions of stochastic hybrid systems by M.L. Bujorianu, M.C. Bujorianu, H.A.P. Blom

Jul 2008

Preprint for IFAC 2008

[C10.1]

10

Impact of Pilot Delay and Non-Responsiveness on the Safety Performance of Airborne Separation by M. Consiglio, S. Hoadley, D. Wing, B. Baxley and D. Allen

Sep 2008

Preprint for AIAA ATIO 2008

[C10.2]

10

Estimation of Separation Buffers for Wind-Prediction Error in an Airborne Separation Assistance System by M. Consiglio, S. Hoadley and B.D. Allen

Jun 2009

Preprint for ATM Seminar 2009

 

Top Deliverables Papers Complementary papers Press releases Acronyms



iFly press releases

 

Top Deliverables Papers Complementary papers Press releases Acronyms



Acronyms