Séance de cours

Histoire du premier robot

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours plonge dans l'histoire fascinante des automates, du sablier babylonien aux créations de Léonard de Vinci, conduisant à l'émergence de robots au XXe siècle inspirés par les mécanismes de la nature.

Dans MOOC

Thymio: un robot pour se former à l'informatique

Le cours est structuré en six chapitres. Le premier est dédié aux concepts de base en informatique et en robotique. Le deuxième chapitre permet d’avoir une introduction au robot Thymio. Les chapitres 3, 4 et 5 introduisent la programmation du robot à travers différents environnements de complexité croissante. Le chapitre 6, enfin, montre la mise en pratique en classe des éléments présentés dans les chapitres précédents.

Source officielle

Concepts associés (13)

Automate sur les mots infinis

En informatique théorique, et spécialement en théorie des automates, un automate sur les mots infinis ou ω-automate est un automate fini qui accepte des mots infinis. Un tel automate lit un mot infini, ainsi, l'exécution ne s'arrête pas ; les conditions d'acceptation portent sur l'exécution elle-même là où elles ne traitent que de l'état d'arrivée (et de la possibilité de lire le mot) dans le cas des automates sur les mots finis.

Automate à pile

Un automate à pile est une machine abstraite utilisée en informatique théorique et, plus précisément, en théorie des automates. Un automate à pile est une généralisation des automates finis : il dispose en plus d'une mémoire infinie organisée en pile (last-in/first-out ou LIFO). Un automate à pile prend en entrée un mot et réalise une série de transitions. Il effectue pour chaque lettre du mot une transition, dont le choix dépend de la lettre, de l'état de l'automate et du sommet de la pile ; il peut aussi modifier le contenu de la pile.

Automate de Büchi

En informatique théorique, un automate de Büchi est un ω-automate ou automate fini opérant sur des mots infinis, avec une condition d'acceptation particulière : une trace (ou calcul ou chemin infini) est réussie si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Un mot infini est accepté s'il est l'étiquette d'un calcul réussi. Ce type d'automate est utilisé en vérification de modèles. Ce type d'automate a été défini par le mathématicien Julius Richard Büchi.

Automate

vignette|Karakuri serveur de thé, avec mécanisme, . musée national de la nature et des sciences de Tokyo. Un automate est un dispositif reproduisant en autonomie une séquence d'actions prédéterminées sans l'intervention humaine, le système fait toujours la même chose. L'automate est un objet programmé. En automatisme le terme est réservé aux dispositifs électromécaniques pilotant le système. Il commande le registre des sorties (commande des actionneurs) en fonction du registre des entrées (états des signaux envoyés par les capteurs) et de l'étape du programme en cours.

Automate fini non déterministe

Un automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.

Afficher plus

Séances de cours associées (44)

L'histoire du premier robot

Plonge dans l'histoire des robots, des anciens automates au premier robot électrique.

Décorer des mondes cachés : Sensation et connectivité sans précédent

Explore la technologie innovante pour la détection sous-marine, la perception sans fil pour les robots, et la localisation précise des étiquettes.

Histoire du premier robot MOOC: Thymio: un robot pour se former à l'informatique

Explorez l'histoire des robots, des automates au premier robot pratique, Electric Dog, en montrant l'importance de la bio-inspiration en robotique.

Aperçu des programmes principaux

Offre des conseils sur les programmes de maîtrise en microingénierie et en robotique, couvrant la photonique, les technologies biomédicales et la fabrication avancée.

Rendu de pièce de monnaie: Partie 1 MOOC: Information, Calcul, Communication: Introduction à la pensée informatique

Couvre le rendu des pièces et les limites de l'algorithme gourmand dans la recherche de solutions optimales.

Afficher plus

Concepts associés (13)

Automate sur les mots infinis

Automate à pile

Automate de Büchi

Automate

Automate fini non déterministe

Afficher plus