Modelling free flight with collision avoidance

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2001, Pages 270-279

  Massink, M ^a   De Francesco, N ^a  

^a CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; AIRCRAFT; C (PROGRAMMING LANGUAGE); COLLISION AVOIDANCE; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DISTRIBUTED PARAMETER CONTROL SYSTEMS; FINITE AUTOMATA; FLIGHT DYNAMICS; LINEARIZATION; OPTIMIZATION; TRAJECTORIES;

AIR TRAFFIC MANAGEMENT; FREE FLIGHT; HYTECH SPECIFICATION LANGUAGE; PROMELA PROGRAMMING LANGUAGE; REACHABILITY ANALYSIS;

COMPUTER SIMULATION;

EID: 0034860183     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Planning for coordinated vehicles with bounded curvature
2. Decentralized air traffic management systems: Performance and fault tolerance
3. New lower bound techniques for robot motion planning problems
4. On curves of minimal length with a constraint on average curvature and with prescribed initial and terminal positions and tangent
5. On multiple moving objects
6. The theory of hybrid automata
7. Algorithmic analysis of nonlinear hybrid systems
8. HyTech: A model checker for hybrid systems
9. Design and validation of computer protocols
10. Using autograph to create input for hytech
11. UPPAAL in a nutshell
12. Final report of RTCA task force 3: Free flight implementation
13. Using model checking to help discover mode confusions and other automation surprises
14. Conflict resolution for air traffic management: A case study in multi-agent hybrid systems