Le moteur de recherche
des thèses françaises
Eric Feron
IdRefMots clés
FR |
EN
Optimisation
Circulation aérienne -- Contrôle
Commande automatique
Vérification
Contrôle
Aéronautique
Méthodes formelles (informatique)
Sécurité
Systèmes embarqués (informatique)
Gestion du traffic aérien
Prédiction de trajectoire
Apprentissage artificiel
Modélisation de l'espace aérien
Ordonnanacement du trafic aérien
Optimisation évolutionnaire multiobjectif
Modèle probabiliste
Simulation stochastique
Gestion de l'incertitude
Métaheuristiques
Méthode de Monte-Carlo