Robert Valette
Robert Valette a dirigé les 13 thèses suivantes :
Contribution à l'analyse des systèmes pilotés par calculateur : extraction de scénarios redoutés et vérification de contraintes temporelles
par Malika Medjoudi sous la direction de Hamid Demmou et de Robert Valette . - Toulouse 3
Systèmes industriels
Soutenue en 2005
Modélisation et analyse temporelle par réseaux de Pétri et logique linéaire
par Nicolas Rivière sous la direction de Brigitte Chézalviel et de Robert Valette . - Toulouse, INSA
Systèmes informatiques
Soutenue en 2003
Méthode de recherche des scénarios redoutés pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile
par Sarhane Khalfaoui sous la direction de Hamid Demmou et de Robert Valette . - Toulouse, INPT
Systèmes automatiques
Soutenue en 2003
Supervision des systèmes discontinus : définition d'un modèle hybride et pilotage en temps-réel
par Ronan Champagnat sous la direction de Robert Valette - Toulouse 3
Sciences appliquées
Soutenue en 1998
Un outillage logique pour l'ingenierie des exigences multi-points de vue
par Laurent Perrussel sous la direction de Robert Valette - Toulouse 3
Sciences appliquées
Soutenue en 1998
Formalisation en logique lineaire du fonctionnement des reseaux de petri
par FRANCOIS GIRAULT sous la direction de Robert Valette - Toulouse 3
Sciences appliquées
Soutenue en 1997
Raisonnement temporel basé sur les réseaux de Petri pour les systèmes manipulant des ressources
par Luis Allan Künzle sous la direction de Robert Valette - Toulouse 3
Informatique industrielle
Soutenue en 1997
Réseaux de Petri pour l'étude de la disponibilité opérationnelle des sytèmes spatiaux en phases d'avant-projet
par Jean-François Ereau sous la direction de Robert Valette - Toulouse 3
Astronomie
Soutenue en 1997
Sur les réseaux de pétri à marquages flous
par Janette Cardoso sous la direction de Robert Valette - Toulouse 3
Informatique industrielle
Soutenue en 1990
Mise en oeuvre et simulation du niveau coordination de la commande des ateliers flexibles : une approche mixte réseaux de Petri et systèmes de règles
par Babou Bako sous la direction de Robert Valette - Toulouse 3
Automatique
Soutenue en 1990
Conception et mise en oeuvre de la fonction coordination pour une commande distribuee d'atelier
par David Simonetti Barbalho sous la direction de Robert Valette - Toulouse 3
Sciences appliquées
Soutenue en 1987
Contribution à la commande et à la surveillance d'ateliers flexibles
par Abd-El-Kader Sahraoui sous la direction de Robert Valette - Toulouse 3
Sciences appliquées
Soutenue en 1987
Utilisation conjointe de l'intelligence artificielle et des reseaux de petri : application au controle d'execution d'un plan de fabrication
par Homa Atabakhche Fallahi sous la direction de Robert Valette - Toulouse 3
Sciences appliquées
Soutenue en 1987
Robert Valette a été rapporteur de la thèse suivante :
Méthodes d'allocation de ressources dans les systèmes flexibles de production manufacturière fondées sur l'analyse structurelle des réseaux Petri
par Imed Ben Abdallah sous la direction de Kamel Barkaoui et de Pierre Dejax . - Châtenay-Malabry, Ecole centrale de Paris
Productique et recherche opérationnelle
Soutenue en 1996
