Aircraft trajectory modeling and alerting algorithm verification

DOI10.1007/3-540-44659-1_6MaRDI QIDQ2754035zbMATH OpenFDO

Authors Victor A. Carreño, César Muñoz

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44659-1_6

Mathematics Subject Classification ID

Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Computing methodologies and applications (68U99)

Recommendations

• Formal verification of conflict detection algorithms
• Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
• Formal analysis of the compact position reporting algorithm
• Conflict avoidance during landing approach using parallel feedback control
• Provably correct conflict prevention bands algorithms

Cited in

(6)

• A formal analysis of the compact position reporting algorithm
• A predictive algorithm for runway overrun protection
• Formal analysis of the compact position reporting algorithm
• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• A Brief Overview of PVS
• Applications of real number theorem proving in PVS

Describes a project that uses

Uses Software

• MuPAD

This page was built for publication: Aircraft trajectory modeling and alerting algorithm verification

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