Toulouse

DTIS-2026-20

Formalisation modulaire de l’algorithme de model-checking PDR

Synthèse de modèle abstrait en Event-B

Construction d’un modèle formel ouvert d’avion/mission à destination de la recherche académique et industrielle

Prédiction à temps réel et prévision à court terme de l’activité ionosphérique pour la surveillance radar des objets en orbite basse

Etude et évaluations d’unités de traitement de l’information neuromorphiques pour applications aérospatiales.

Utilisation des signaux d’opportunité télécom 4G pour la navigation des drones

Application de méthodes de descente d'échelle spatiale à la modélisation des ceintures de radiations terrestres

Méthodes numériques pour la simulation PIC-Maxwell de l’effet multipactor

Etude et implémentation d’une chaine de traitement radar pour les rendez-vous spatiaux

Study and analysis of a metasurface-enhanced wideband antenna for polarization conversion and RCS reduction.