Istituto di Scienza e Tecnologie dell'Informazione     
Massink M., De Francesco N. Modeling Free Flight with Collision Avoidance. In: International Conference on 7th IEEE Engineering of Complex Computer Systems (Skovde, Svezia). Proceedings, pp. 270-279. Nel S.Andler, M.Hinchey, J.Offutt, (eds.). IEEE Computer Society Press, 2001. ISBN 0-7695-1159-7, 2001.
Free jlight has been proposed as a future alternative to the current policy in Air Trafic Management (ATM) where aircraft follow predefined corridors. In free Pight pilots can choose their own optimal routes, altitudes and velocities but are also responsible for the safe and fair resolution of trajectory conjlicts. This would require a safe distributed control system were the trajectories that aircraft follow are as optimal as possible respecting suficient safety distances. In this paper we model aircraft behaviour using non-determinism in such a way that reachability analysis provides the optimal trajectories of the aircraft. We compare the obtained results with the conflict resolution solutions proposed in the literature.
Subject Modelling Free Flight

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional