Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (6)
  • Université Paris-Saclay (ComUE) (6)
  • Cachan, Ecole normale supérieure (3)
  • Nantes (3)
  • Université Côte d'Azur (ComUE) (3)
  • Université de Lorraine (3)
  • Ecole centrale de Nantes (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Montpellier (2)
  • Paris 6 (2)
  • Paris Est (2)
  • Reims (2)
  • Rennes 1 (2)
  • Toulon (2)
  • Troyes (2)
  • Bourgogne Franche-Comté (1)
  • Cergy-Pontoise (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Dijon (1)
  • Ecole Nationale des Sciences de l'Informatique (Tunisie) (1)
  • Ecole centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Lille 1 (1)
  • Mulhouse (1)
  • Paris 10 (1)
  • Paris, CNAM (1)
  • Toulouse 3 (1)
  • Toulouse, ENSAE (1)
  • Toulouse, ISAE (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université Hassan II (Casablanca, Maroc) (1)
  • Université de Yaoundé I (1)
  • École nationale d'ingénieurs de Gabès (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (24)
  • Sciences et technologie industrielles (3)
  • Automatique (2)
  • Automatique, Traitement du signal et des images, Génie Informatique (2)
  • Optimisation et Sûreté des Systèmes (2)
  • Sciences appliquées (2)
  • Électronique, électrotechnique, automatique (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique et Informatique industrielle (1)
  • Automatique et informatique industrielle (1)
  • Automatique-Productique (1)
  • Automatique. ProductiqueAutomatique. Productique (1)
  • Génie industriel (1)
  • Génie informatique (1)
  • Génie électrique et électronique - Cergy (1)
  • Informatique appliquée (1)
  • Informatique et applications (1)
  • Informatique fondamentale et parallélisme (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences - STS (1)
  • Sciences de gestion (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'ingénieur (1)
  • Sciences et techniques (1)
  • Sciences et techniques industrielles (1)
  • Sciences. Sciences et techniques industrielles. Automatique, Informatique (1)
  • Systèmes Automatiques et Micro-Électroniques (1)
  • Traitement du signal et des télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (2)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Informatique, télécommunications et électronique de Paris (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (49)
  • anglais (8)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Alla Hassane Lotfi (6)
  • Roux Olivier (3)
  • Soriano Thierry (3)
  • Comet Jean-Paul (2)
  • Aguilar-Martin Joseph (1)
  • Andreu David (1)
  • Ballarini Paolo (1)
  • Barbot Jean-Pierre (1)
  • Barkaoui Kamel (1)
  • Beldiceanu Nicolas (1)
  • Ben Hadj-Alouane Néjib (1)
  • Bernot Gilles (1)
  • Boniol Frédéric (1)
  • Bouajjani Ahmed (1)
  • Boulanger Frédéric (1)
  • Bousquet Lydie du (1)
  • Brinzei Nicolae (1)
  • Bérenguer Christophe (1)
  • Caillaud Benoît (1)
  • Chraibi Hassane (1)
  • Châtelet Éric (1)
  • Coupat Raphaël (1)
  • Craye Étienne (1)
  • Crestani Didier (1)
  • Dague Philippe (1)
  • Dang Thao (1)
  • Dangoumau Nathalie (1)
  • Delaunay Franck (1)
  • Duviella Eric (1)
  • El Fallah Seghrouchni Amal (1)
  • El Hassan Bachar (1)
  • Encrenaz Emmanuelle (1)
  • Farges Jean-Loup (1)
  • Fotso Laure Pauline (1)
  • Frehse Goran (1)
  • Fribourg Laurent (1)
  • Féniès Pierre (1)
  • Gellot François (1)
  • Girault Alain (1)
  • Godary Karen (1)
  • Groz Roland (1)
  • Guéguen Hervé (1)
  • Haar Stefan (1)
  • Jeannet Bertrand (1)
  • Kieffer Michel (1)
  • Klaudel Hanna (1)
  • Le Gall Pascale (1)
  • Lecœuche Stéphane (1)
  • Lesage Jean-Jacques (1)
  • Levrat Eric (1)
  • Manamanni Noureddine (1)
  • Manceny Matthieu (1)
  • Marangé Pascale (1)
  • Merz Stephan (1)
  • Messai Nadhir (1)
  • Mocanu Stéphane (1)
  • Mokdad Nadia Lynda (1)
  • Moreaux Patrice (1)
  • Mourlin Fabrice (1)
  • Multon Bernard (1)
  • Naud Olivier (1)
  • Nicolle Christophe (1)
  • Parissis Ioannis (1)
  • Philippot Alexandre (1)
  • Plinval Henry de (1)
  • Pétin Jean-François (1)
  • ROUX O. (1)
  • Rampacek Sylvain (1)
  • Riera Bernard (1)
  • Roux Olivier Henri (1)
  • Roxin Ioan (1)
  • Saadi Janah (1)
  • Sabouret Nicolas (1)
  • Sbita Lassaad (1)
  • Thirion Bernard (1)
  • Vernier Flavien (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (29)
  • Sciences de l'ingénieur (24)
  • Technologie (Sciences appliquées) (2)
  • Gestion et organisation de l'entreprise (2)
  • Informatique, information, généralités (1)
  • Bibliothéconomie et sciences de l'information (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)

Domaines :

Fullscreen

58 thèses pour "Automates hybrides"

Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires

par Sonia Batis sous la direction de Hassane Lotfi Alla - Grenoble

Sciences et technologie industrielles

Soutenue le 18-09-2013
thèse soutenue

...hybride . L analyse et la commande des systŁmes travers l u tilisation des automates hybrides occupent...

Accéder en ligne

Sur l'analyse quantitative des réseaux de Petri hybrides : une approche basée sur les automates hybrides

par Mohamed Allam sous la direction de Hassane Lotfi Alla - Grenoble INPG

Génie industriel

Soutenue en 1998
thèse soutenue

Planification multi-agent sous contraintes dans un contexte dynamique : applications aux simulations aériennes

par Frédéric Marc sous la direction de Amal El Fallah Seghrouchni - Paris 6

Informatique

Soutenue en 2005
thèse soutenue

Vérification et synthèse de systèmes temporisés par des méthodes d'observation et d'analyse paramétrique

par Augusto Burgueño Arjona sous la direction de Frédéric Boniol - Toulouse, ENSAE

Informatique fondamentale et parallélisme

Soutenue en 1998
thèse soutenue

Supervision en transport multimodal

par Simon Theissing sous la direction de Stefan Haar - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 05-12-2016
thèse soutenue

...arrivant au fur et à mesure. Comparé aux mod-èles classiques d’automates hybrides, notre approche inspirée...

Accéder en ligne

Modélisation et simulation qualitative de systèmes hybrides

par Hadi Zaatiti sous la direction de Philippe Dague - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 29-11-2018
thèse soutenue

...lere´sume´ des publications.1.3.1 Mot-cle´sSyste`mes et automates hybrides, raisonnement qualitatif...

Accéder en ligne

Vérification temporelle de programmes électre

par Vlad Rusu sous la direction de O. ROUX - Nantes

Sciences appliquées

Soutenue en 1996
thèse soutenue

Accelerated simulation of hybrid systems : method combining static analysis and run-time execution analysis

par Ayman Aljarbouh sous la direction de Benoît Caillaud - Rennes 1

Informatique

Soutenue le 05-09-2017
thèse soutenue

...-standard pour les exécutions Zénon des automates hybrides. Ceci est basé surl interprétation des exécutions...

Accéder en ligne

Spécification et vérification de systèmes hybrides

par Riadh Robbana sous la direction de Ahmed Bouajjani - Grenoble 1

Informatique

Soutenue en 1995
thèse soutenue
Accéder en ligne

Modélisation et analyse du comportement dynamique des systèmes hybrides : une approche basée sur le modèle d'automate hybride

par Antonio Favela Contreras sous la direction de Hassane Lotfi Alla - Grenoble INPG

Automatique-Productique

Soutenue en 1999
thèse soutenue

Résultats 1 à 10