Formal Reasoning for Air Traffic Control System Using Event-B Method.

Abdessamad Jarrar Youssef Balouki

Published in: ICCSA (2) (2018)

Keyphrases

control system
significant improvement
detection method
clustering method
high accuracy
cost function
fuzzy logic
similarity measure
preprocessing
feature selection
objective function
dynamic programming
support vector machine
segmentation method
control scheme
matlab simulation