Towards Sophisticated Air Traffic Control System Using Formal Methods

<table class="algorithm-group"><tr><td><table class="algorithm" id="alg17"><tr><td> </td><td>SETS BRAND</td></tr><tr><td> </td><td>CONSTANTS LOCATIONS Min_distance Separation_Time</td></tr><tr><td> </td><td>AXIOMS axm1: LOCATIONS = ℕ × ℕ × ℕ axm2: Min_distance ∈ ℕ axm3: Separation_Time ∈ BRAND ⟶ ℕ</td></tr><tr><td> </td><td>END</td></tr></table></td></tr></table>

Modelling and Simulation in Engineering

alg17

Box 17

Box 17: Towards Sophisticated Air Traffic Control System Using Formal Methods 