Conception formelle du pilotage d'une flotte de robots mobiles

Conception formelle du pilotage d'une flotte de robots mobiles

Détails bibliographiques
Auteurs principaux : Girault Johan (Auteur), Loiseau Jean-Jacques (Directeur de thèse, Membre du jury), Lahaye Sébastien (Président du jury de soutenance, Membre du jury), Ribeiro Cury José Eduardo (Rapporteur de la thèse, Membre du jury), Lesage Jean-Jacques (Rapporteur de la thèse, Membre du jury), Roux Olivier-Henri (Membre du jury), Marchand Hervé (Membre du jury), Le Fringère Cédric (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Conception formelle du pilotage d'une flotte de robots mobiles / Johan Girault; sous la direction de Jean-Jacques Loiseau
Publié : 2015
Description matérielle : 1 vol. (134 p.)
Note de thèse : Thèse de doctorat : Informatique, automatique, robotique, section CNU 27, 61 : Ecole Centrale de Nantes : 2015
Sujets :
Commande automatique
Robots mobiles
Automobiles > Systèmes de guidage
Contrôle
AGV synthèse
Supervision
Théorie de la supervision
Synthèse en ligne
Automated Guided Vehicles
Thèses et écrits académiques
LEADER 02936cam a2200613 4500
001 PPN259232343
003 http://www.sudoc.fr/259232343
005 20240820065200.0
029 |a FR  |b 2015ECDN0016 (NNT) 
035 |a (OCoLC)1289916766 
100 |a 20211223d2015 k y0frey0103 ba 
101 0 |a fre 
102 |a FR 
105 |a a ma 000yy 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 rdamedia 
200 1 |a Conception formelle du pilotage d'une flotte de robots mobiles  |f Johan Girault  |g sous la direction de Jean-Jacques Loiseau 
214 1 |d 2015 
215 |a 1 vol. (134 p.)  |c ill.  |d 30 cm 
314 |a Ecole(s) Doctorale(s) : École doctorale Sciences et technologies de l'information et mathématiques 
314 |a Partenaire(s) de recherche : Institut de recherche en communications et cybernétique de Nantes (IRCCyN) 
314 |a Autre(s) contribution(s) : Sébastien Lahaye (président du jury) ; José Cury, Jean-Jacques Lesage (rapporteurs) ; Jean-Jacques Loiseau, Olivier H. Roux, Hervé Marchand, Cédric Le Fringère (membres du jury) 
320 |a Bibliogr. p. 129-134 
328 0 |b Thèse de doctorat  |c Informatique, automatique, robotique, section CNU 27, 61  |e Ecole Centrale de Nantes  |d 2015 
541 | |a Formal design of driving a fleet of mobile robots  |z eng 
606 |3 PPN027315312  |a Commande automatique  |2 rameau 
606 |3 PPN031463258  |a Robots mobiles  |2 rameau 
606 |3 PPN055325084  |a Automobiles  |x Systèmes de guidage  |2 rameau 
608 |3 PPN027253139  |a Thèses et écrits académiques  |2 rameau 
610 0 |a Contrôle 
610 0 |a AGV synthèse 
610 0 |a Supervision 
610 0 |a Théorie de la supervision 
610 0 |a Synthèse en ligne 
610 0 |a Automated Guided Vehicles 
686 |a 620  |2 TEF 
700 1 |3 PPN259232467  |a Girault  |b Johan  |f 1988-....  |4 070 
701 1 |3 PPN031295703  |a Loiseau  |b Jean-Jacques  |f 1958-....  |4 727  |4 555 
701 1 |3 PPN132783835  |a Lahaye  |b Sébastien  |4 956  |4 555 
701 1 |3 PPN223332720  |a Ribeiro Cury  |b José Eduardo  |4 958  |4 555 
701 1 |3 PPN028605055  |a Lesage  |b Jean-Jacques  |f 1958-....  |4 958  |4 555 
701 1 |3 PPN066922836  |a Roux  |b Olivier-Henri  |f 1966-....  |c professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024)  |4 555 
701 1 |3 PPN095626360  |a Marchand  |b Hervé  |f 19..-....  |c auteur en informatique  |4 555 
701 1 |3 PPN259232513  |a Le Fringère  |b Cédric  |4 555 
711 0 2 |3 PPN03063525X  |a Centrale Nantes  |c 1991-....  |4 295 
711 0 2 |3 PPN134103211  |a École doctorale Sciences et technologies de l'information et mathématiques  |c Nantes  |4 996 
711 0 2 |3 PPN113164726  |a Institut de recherche en communications et cybernétique  |c Nantes  |f 1958-2017  |4 981 
801 3 |a FR  |b Abes  |c 20220104  |g AFNOR 
930 |5 441092306:713914815  |b 441092306  |a Th. 2555  |j u 
998 |a 910757