Résultats 1 à 10

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

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (6)
  • Paris Saclay (4)
  • Nantes (3)
  • Côte d'Azur (2)
  • Grenoble 1 (2)
  • Grenoble INPG (2)
  • Paris 6 (2)
  • Paris Est (2)
  • Reims (2)
  • Rennes 1 (2)
  • Toulon (2)
  • Université de Lorraine (2)
  • Cachan, Ecole normale supérieure (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)
  • Grenoble Alpes (1)
  • Montpellier (1)
  • Mulhouse (1)
  • Paris 10 (1)
  • Paris, CNAM (1)
  • Toulouse 3 (1)
  • Toulouse, ISAE (1)
  • Troyes (1)
  • Université Hassan II (Casablanca, Maroc) (1)
  • Université de Yaoundé I (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (17)
  • Sciences et technologie industrielles (3)
  • Automatique (2)
  • Automatique, Traitement du signal et des images, Génie Informatique (2)
  • Sciences appliquées (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Automatique et informatique industrielle (1)
  • Automatique-Productique (1)
  • Automatique. Productique (1)
  • Génie industriel (1)
  • Génie informatique (1)
  • Informatique appliquée (1)
  • Informatique et applications (1)
  • Informatique fondamentale et parallélisme (1)
  • Optimisation et Sûreté des Systèmes (1)
  • Sciences - STS (1)
  • Sciences de gestion (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)
  • Électronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (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 et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (1)
  • SNI - Sciences du Numérique et de l'Ingénieur (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (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 (37)
  • anglais (7)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Alla Hassane Lotfi (6)
  • Soriano Thierry (3)
  • Comet Jean-Paul (2)
  • Aguilar-Martin Joseph (1)
  • Andreu David (1)
  • Barkaoui Kamel (1)
  • Beldiceanu Nicolas (1)
  • Ben Hadj-Alouane Néjib (1)
  • Boniol Frédéric (1)
  • Bouajjani Ahmed (1)
  • Boulanger Frédéric (1)
  • Bousquet Lydie du (1)
  • Bérenguer Christophe (1)
  • Caillaud Benoît (1)
  • Chraibi Hassane (1)
  • Coupat Raphaël (1)
  • Craye Étienne (1)
  • Dague Philippe (1)
  • Dang Thao (1)
  • Dangoumau Nathalie (1)
  • Delaunay Franck (1)
  • El Fallah Seghrouchni Amal (1)
  • Farges Jean-Loup (1)
  • Fotso Laure Pauline (1)
  • Frehse Goran (1)
  • Féniès Pierre (1)
  • Gellot François (1)
  • Girault Alain (1)
  • Groz Roland (1)
  • Guéguen Hervé (1)
  • Haar Stefan (1)
  • Jeannet Bertrand (1)
  • Kieffer Michel (1)
  • Lesage Jean-Jacques (1)
  • Levrat Eric (1)
  • Manamanni Noureddine (1)
  • Marangé Pascale (1)
  • Messai Nadhir (1)
  • Mocanu Stéphane (1)
  • Mokdad Nadia Lynda (1)
  • Moreaux Patrice (1)
  • Mourlin Fabrice (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 (1)
  • Roux Olivier Henri (1)
  • Saadi Janah (1)
  • Sabouret Nicolas (1)
  • Thirion Bernard (1)
  • Vernier Flavien (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (26)
  • Sciences de l'ingénieur (16)
  • Technologie (Sciences appliquées) (2)
  • Gestion et organisation de l'entreprise (2)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)

Domaines :

Fullscreen

45 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 - École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007)

Informatique fondamentale et parallélisme

Soutenue en 1998
thèse soutenue

Supervision en transport multimodal

par Simon Theissing sous la direction de Stefan Haar - Paris Saclay

Informatique

Soutenue le 05-12-2016
thèse soutenue
Accéder en ligne

Modélisation et simulation qualitative de systèmes hybrides

par Hadi Zaatiti sous la direction de Philippe Dague - Paris Saclay

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

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

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

Résultats 1 à 10