Accidents  Ad-hoc  Allocation de ressources  Analyse multivariée  Analyses à la volée  Approche Incrémentale  Automobilistes -- Comportement  B  Calcul sur des intervalles  Chemins de fer -- Trafic -- Régulation  Chemins de fer  Commande automatique  Commande prédictive  Commutation de paquets  Composant-sur-étagère  Contrôle/commande ferroviaire  Datation des fautes  Diagnostic  Diagnostic de faute  Diagnostic et pronostic de défauts  Diagnosticabilité  Durée de vie  Durée de vie résiduelle  Détection de défaut  ERTMS  Edca  Enclenchements  Equité  Europe  Exigences temporelles  Facteur temps  Fautes intermittentes  Fautes permanentes  Files d'attente, Théorie des  Fractionnement des Intervalles de Temps  Horizon fuyant  Horizon glissant  IEEE 802.11  IEEE802.11e  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Logiciels -- Vérification  Logique temporelle CTL*  Machines séquentielles, Théorie des  Marquages de base  Model-checking  Métamodélisation  Méthode de modélisation  Méthodes formelles  Observateur  Observation  Ordonnancement  Passages à niveau  Petri, Réseaux de  Production -- Contrôle  Programmation linéaire  Prévision  Qualité de Service  Qualité de service  Relaxation des problèmes PLNE  Réseau de Petri labellisé  Réseau sans fil  Réseaux ad hoc  Réseaux de Petri colorés  Réseaux de Petri stochastiques  Réseaux de Petri étiquetés partiellement observables  Réseaux locaux sans fil  Réseaux logiques programmables par l'utilisateur  Signal, Théorie du  Signalisation ferroviaire  Spécification  Spécifications  Statistique bayésienne  Système d’enclenchement ferroviaire  Système à évènements discrets  Système à événement discret  Système à événements discrets  Systèmes complexes  Systèmes de communication sans fil  Systèmes à évènements discrets  Systèmes échantillonnés  Sécurité ferroviaire  Temps réel  Tests fonctionnels  Tolérance aux fautes  Tolérance aux fautes  Transformation de modèles  Transports ferroviaires  UML  Vérification et validation  Évaluation du risque  

Mohamed Ghazel a rédigé la thèse suivante :

Informatique industrielle et automatiqueInformatique industrielle et automatique
Soutenue en 2005
Thèse soutenue


Mohamed Ghazel a dirigé les 5 thèses suivantes :

Automatique, Génie Informatique, Traitement du Signal et des Images
Soutenue le 10-04-2018
Thèse soutenue
Automatique, Génie Informatique, Traitement du Signal et des Images
Soutenue le 12-12-2016
Thèse soutenue
Automatique, Génie informatique, Traitement du signal et des Images
Soutenue le 21-01-2013
Thèse soutenue

Mohamed Ghazel a été président de jury de la thèse suivante :

Automatique, génie informatique, traitement du signal et images
Soutenue le 24-07-2015
Thèse soutenue

Mohamed Ghazel a été rapporteur des 2 thèses suivantes :

Automatique, productique et robotique
Soutenue le 17-12-2018
Thèse soutenue

Mohamed Ghazel a été membre de jury de la thèse suivante :