scientific article; zbMATH DE number 1852171
From MaRDI portal
Publication:4787249
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
Cited in
(11)- Formal testing for separation assurance
- Provably correct conflict prevention bands algorithms
- Conflict nets
- scientific article; zbMATH DE number 1670737 (Why is no real title available?)
- scientific article; zbMATH DE number 2080213 (Why is no real title available?)
- Synthesis of algorithms for the detection and resolution of collision conflicts based on data from the automatic dependent surveillance system under uncertainty
- Broadcast algorithms for detection and decentralized resolution of unsafe approach of airborne aircraft based on the force field method
- scientific article; zbMATH DE number 2086997 (Why is no real title available?)
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm
- Formal analysis of the compact position reporting algorithm
- Aircraft proximity termination conditions for 3D turn centric modes
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)
