Apprentissage organisationnel  B  Chemins de fer -- Trafic -- Régulation  Commande automatique  Composant-sur-étagère  Contrôle d’intégrité  Décomposition de Benders  Détection de défaut  Enclenchements  Europe  Fautes intermittentes  Fautes permanentes  Grilles horaires des trains  Institutionnalisme  Limitations temporaires de vitesse  Localisation  Localisation par satellites, Systèmes de  Logiciels -- Vérification  Logique temporelle CTL*  Logistique  Machines séquentielles, Théorie des  Maintenance de l'infrastructure  Mobilité voyageurs  Modèle Or-BAC  Modèle RBAC  Modélisation UML/B  Méthode de modélisation  Méthodes formelles  Optimisation  Optimisation mathématique  Ordonnancement  Petri, Réseaux de  Planification  Politique publique  Problème de gestion opérationnelle du trafic ferroviaire  Problèmes de transport  Programmation linéaire  Programmation linéaire en nombre entier à variables mixtes  Programmation linéaire en nombres entiers  Recherche opérationnelle  Redéfinition des grilles horaires  Représentations microscopiques  Robustesse  Règles d'exploitation ferroviaires  Réseaux de Petri colorés  Réseaux logiques programmables par l'utilisateur  Signal, Théorie du  Spécifications  Système d’enclenchement ferroviaire  Système à événements discrets  Systèmes complexes  Systèmes à évènements discrets  Sécurité ferroviaire  Tests fonctionnels  Transport de marchandises  Transport ferroviaire  Transport fluvial  Transport multimodal  Transports de navigation intérieure -- Marchandises  Transports ferroviaires  UML  Validation formelle  Vérification formelle  Économie évolutionniste  Évaluation  

1 thèse en cours de préparation ayant pour partenaire de recherche Évaluation des systèmes de transports automatisés et de leur sécurité (ESTAS)


Automatique, génie informatique, traitement du signal et des images
En préparation depuis le 01-12-2015
thèse

Soutenance prévue le 31-07-2018

8 thèses soutenues ayant pour partenaire de recherche Évaluation des systèmes de transports automatisés et de leur sécurité (ESTAS)
Extrait des plus récentes :

Automatique, génie informatique, traitement du signal et des images
Soutenue le 04-12-2017
thèse
Automatique, Génie Informatique, Traitement du Signal et des Images
Soutenue le 12-12-2016
thèse
Automatique, Génie informatique, Traitement du Signal et des Images
Soutenue le 19-02-2016
thèse
Automatique, génie informatique, traitement du signal et images
Soutenue le 24-07-2015
thèse
Automatique, Génie informatique, Traitement du signal et des Images
Soutenue le 21-01-2013
thèse