scientific article; zbMATH DE number 1852171

zbMATH Open1002.68516MaRDI QIDQ4787249FDOQ4787249

Authors: Ricky Wayne Butler, Victor A. Carreño, Gilles Dowek, César Muñoz 

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440403

Title of this publication is not available (Why is that?)

Recommendations

• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• Formal testing for separation assurance
• Control of aircraft trajectory and speed to avoid terrain and traffic conflicts during approach maneuvering
• Broadcast algorithms for detection and decentralized resolution of unsafe approach of airborne aircraft based on the force field method
• Conflict resolution for air traffic management: a study in multiagent hybrid systems

Mathematics Subject Classification ID

Case-oriented studies in operations research (90B90) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (11)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal analysis of the compact position reporting algorithm
• Aircraft proximity termination conditions for 3D turn centric modes
• Synthesis of algorithms for the detection and resolution of collision conflicts based on data from the automatic dependent surveillance system under uncertainty
• Conflict nets
• Title not available (Why is that?)
• Formal testing for separation assurance
• Provably correct conflict prevention bands algorithms
• Broadcast algorithms for detection and decentralized resolution of unsafe approach of airborne aircraft based on the force field method
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm

Uses Software

• MuPAD
• PVS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4787249)