Faciliter le développement des applications de robotique

Faciliter le développement des applications de robotique PDF Author: Selma Kchir
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
L'un des challenges des roboticiens consiste à gérer un grand nombre de variabilités. Ces dernières concernent les concepts liés au matériel et aux logiciels du domaine de la robotique. Par conséquent, le développement des applications de robotique est une tâche complexe. Non seulement, elle requiert la maîtrise des détails de bas niveau du matériel et du logiciel mais aussi le changement du matériel utilisé dans une application entraînerait la réécriture du code de celle-ci. L'utilisation de l'ingénierie dirigée par les modèles dans ce contexte est une voie prometteuse pour (1) gérer les problèmes de dépendance de bas niveau des applications des détails de bas niveau à travers des modèles stables et (2) faciliter le développement des applications à travers une génération automatique de code vers des plateformes cibles. Les langages de modélisation spécifiques aux domaines mettent en oeuvre les techniques de l'ingénierie dirigée par les modèles afin de représenter les concepts du domaine et permettre aux experts de celui-ci de manipuler des concepts qu'ils ont l'habitude d'utiliser. Cependant, ces concepts ne sont pas suffisants pour représenter tous les aspects d'une application car ils très généraux. Il faudrait alors s'appuyer sur une démarche pour extraire des abstractions à partir de cas d'utilisations concrets et ainsi définir des abstractions ayant une sémantique opérationnelle. Le travail de cette thèse s'articule autour de deux axes principaux. Le premier axe concerne la contribution à la conception d'un langage de modélisation spécifique au domaine de la robotique mobile (RobotML). Nous extrayons à partir d'une ontologie du domaine les concepts que les roboticiens ont l'habitude d'utiliser pour la définition de leurs applications. Ces concepts sont ensuite représentés à travers une interface graphique permettant la représentation de modèles afin d'assurer une facilité d'utilisation pour les utilisateurs de RobotML. On offre ainsi la possibilité aux roboticiens de représenter leurs scénarios dans des modèles stables et indépendants des plateformes cibles à travers des concepts qu'ils ont l'habitude de manipuler. Une génération de code automatique à partir de ces modèles est ensuite possible vers une ou plusieurs plateformes cibles. Cette contribution est validée par la mise en oeuvre d'un scénario aérien dans un environnement inconnu proposé par l'ONERA. Le deuxième axe de cette thèse tente de définir une approche pour rendre les algorithmes résistants aux changements des détails de ba niveau. Notre approche prend en entrée la description d'une tâche de robotique et qui produit : un ensemble d'abstractions non algorithmiques représentant des requêtes sur l'environnment y compris le robot ou des actions de haut niveau , un ensemble d'abstractions algorithmiques encapsulant un ensemble d'instructions permettant de réaliser une sous-tâche de la tâche étudiée , algorithme générique configurable défini en fonction de ces abstractions. Ainsi, l'impact du changement du matériel et des stratégies définies dans les sous-tâches n'est pas très important. Il suffit d'adapter l'implantation de ces abstractions sans avoir à modifier l'algorithme générique. Cette approche est validée sur six variantes d'une famille d'algorithmes de navigation appelée Bug.

Faciliter le développement des applications de robotique

Faciliter le développement des applications de robotique PDF Author: Selma Kchir
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
L'un des challenges des roboticiens consiste à gérer un grand nombre de variabilités. Ces dernières concernent les concepts liés au matériel et aux logiciels du domaine de la robotique. Par conséquent, le développement des applications de robotique est une tâche complexe. Non seulement, elle requiert la maîtrise des détails de bas niveau du matériel et du logiciel mais aussi le changement du matériel utilisé dans une application entraînerait la réécriture du code de celle-ci. L'utilisation de l'ingénierie dirigée par les modèles dans ce contexte est une voie prometteuse pour (1) gérer les problèmes de dépendance de bas niveau des applications des détails de bas niveau à travers des modèles stables et (2) faciliter le développement des applications à travers une génération automatique de code vers des plateformes cibles. Les langages de modélisation spécifiques aux domaines mettent en oeuvre les techniques de l'ingénierie dirigée par les modèles afin de représenter les concepts du domaine et permettre aux experts de celui-ci de manipuler des concepts qu'ils ont l'habitude d'utiliser. Cependant, ces concepts ne sont pas suffisants pour représenter tous les aspects d'une application car ils très généraux. Il faudrait alors s'appuyer sur une démarche pour extraire des abstractions à partir de cas d'utilisations concrets et ainsi définir des abstractions ayant une sémantique opérationnelle. Le travail de cette thèse s'articule autour de deux axes principaux. Le premier axe concerne la contribution à la conception d'un langage de modélisation spécifique au domaine de la robotique mobile (RobotML). Nous extrayons à partir d'une ontologie du domaine les concepts que les roboticiens ont l'habitude d'utiliser pour la définition de leurs applications. Ces concepts sont ensuite représentés à travers une interface graphique permettant la représentation de modèles afin d'assurer une facilité d'utilisation pour les utilisateurs de RobotML. On offre ainsi la possibilité aux roboticiens de représenter leurs scénarios dans des modèles stables et indépendants des plateformes cibles à travers des concepts qu'ils ont l'habitude de manipuler. Une génération de code automatique à partir de ces modèles est ensuite possible vers une ou plusieurs plateformes cibles. Cette contribution est validée par la mise en oeuvre d'un scénario aérien dans un environnement inconnu proposé par l'ONERA. Le deuxième axe de cette thèse tente de définir une approche pour rendre les algorithmes résistants aux changements des détails de ba niveau. Notre approche prend en entrée la description d'une tâche de robotique et qui produit : un ensemble d'abstractions non algorithmiques représentant des requêtes sur l'environnment y compris le robot ou des actions de haut niveau , un ensemble d'abstractions algorithmiques encapsulant un ensemble d'instructions permettant de réaliser une sous-tâche de la tâche étudiée , algorithme générique configurable défini en fonction de ces abstractions. Ainsi, l'impact du changement du matériel et des stratégies définies dans les sous-tâches n'est pas très important. Il suffit d'adapter l'implantation de ces abstractions sans avoir à modifier l'algorithme générique. Cette approche est validée sur six variantes d'une famille d'algorithmes de navigation appelée Bug.

Langages réflexifs pour le développement d'applications de robotique mobile

Langages réflexifs pour le développement d'applications de robotique mobile PDF Author: Luc Fabresse
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
Le cycle de développement actuel d'applications de robotique mobile est généralement long: développement, compilation, déploiement et exécution. Dans ce contexte, mon objectif de raccourcir ce cycle et permettre un retour immédiat (dans une logique live programming) en proposant de nouveaux langages, outils et infrastructures aux développeurs. Mes travaux de recherche se concentrent sur les couches hautes des applications robotiques (contraintes matérielles et temporelles plus faibles) et se fondent sur l'idée que les langages réflexifs sont de meilleurs candidats pour répondre à cet objectif, car ils offrent un haut niveau d'abstraction et intègrent déjà des mécanismes permettant l'adaptation et l'extension des programmes. Dans ce contexte, ce mémoire décrit les travaux que j'ai menés ou auxquels j'ai participé, notamment sur l'injection de la réflexion et l'amorçage de langages réflexifs. Ces contributions ont permis de proposer des infrastructures pour gérer les ressources limitées disponibles sur un robot mobile (e.g. mémoire, capacité de calcul) mais aussi déboguer à distance une application s'exécutant sur un robot mobile. Ces travaux ont été utilisés pour développer et comparer objectivement des applications de cartographie mono et multi-robots grâce à l'utilisation de métriques quantifiables (e.g. temps d'exploration, mémoire et CPU consommés) et à une infrastructure permettant de simuler le même code que celui qui serait déployé sur des robots réels. Les travaux présentés sont des solutions originales pour développer, tester, déployer, exécuter et évaluer des applications contraintes et mobiles comme celles pour robots autonomes. Ils ouvrent de nouvelles pistes de recherche comme le développement agile d'applications robotiques ou encore l'adaptation dynamique de ces applications pour une meilleure prise en compte du contexte.

Software Engineering for Robotics

Software Engineering for Robotics PDF Author: Ana Cavalcanti
Publisher: Springer Nature
ISBN: 3030664945
Category : Computers
Languages : en
Pages : 483

Get Book Here

Book Description
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts. The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions. The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work. Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Intelligent Robot

Intelligent Robot PDF Author: Feng Duan
Publisher: Springer
ISBN: 9789811982521
Category : Technology & Engineering
Languages : en
Pages : 0

Get Book Here

Book Description
Today, the development of robots is making steady advances. In particular, the Robot Operating System (ROS) offers a unified platform that greatly facilitates the development of robots and has become a new hotspot for learning and application in the field of robotics research.This book introduces readers to the key technologies and development methods for ROS-based intelligent robots. Covering both the development history of robots and various aspects of programming robots, it offers effective support for beginners.The book is divided into three parts, the first of which introduces the basics of robots, including their definition, development, composition, and key technologies. In turn, the second part covers the hardware and software components and the implementation of functions such as vision, speech, grasping, and autonomous navigation. These functions need to work together to provide user-friendlier and more intelligent service. The third part shows how to develop robots with different functions in different application scenarios.Combining theoretical and practical aspects, with a strong focus on application, this work can be used as a reference book for robotics-related courses. Moreover, it will benefit all readers who are interested in intelligent robot development, sharing essential insights into developing service robots based on ROS.

Développement des systèmes logiciels par transformation de modèles

Développement des systèmes logiciels par transformation de modèles PDF Author: Valéry Marcial Monthe Djiadeu
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

Get Book Here

Book Description
Avec la construction des robots de plus en plus complexes, la croissance des architectures logicielles robotiques et l'explosion de la diversité toujours plus grande des applications et misions des robots, la conception, le développement et l'intégration des entités logicielles des systèmes robotiques, constituent une problématique majeure de la communauté robotique. En effet, les architectures logicielles robotiques et les plateformes de développement logiciel pour la robotique sont nombreuses, et sont dépendantes du type de robot (robot de service, collaboratif, agricole, médical, etc.) et de son mode d'utilisation (en cage, d'extérieur, en milieu occupé, etc.). L'effort de maintenance de ces plateformes et leur coût de développement sont donc considérables.Les roboticiens se posent donc une question fondamentale : comment réduire les coûts de développement des systèmes logiciels robotiques, tout en augmentant leur qualité et en préservant la spécificité et l'indépendance de chaque système robotique? Cette question induit plusieurs autres : d'une part, comment décrire et encapsuler les diverses fonctions que doit assurer le robot, sous la forme d'un ensemble d'entités logicielles en interaction? Et d'autre part, comment conférer à ces entités logicielles, des propriétés de modularité, portabilité, réutilisabilité, interopérabilité, etc.?A notre avis, l'une des solutions les plus probables et prometteuses à cette question consiste à élever le niveau d'abstraction dans la définition des entités logicielles qui composent les systèmes robotiques. Pour ce faire, nous nous tournons vers l'ingénierie dirigée par les modèles, et plus particulièrement la conception des DSML (Domain Specific Modeling Language).Dans cette thèse, nous réalisons dans un premier temps, une étude comparative des langages de modélisation et de méthodes utilisés dans le développement des systèmes embarqués temps réel en général. L'objectif de ce premier travail étant de voir s'il en existe qui puissent permettre de répondre aux questions susmentionnées des roboticiens. Cette étude, non seulement nous montre que ces approches ne sont pas adaptées à la définition des architectures logicielles robotiques, mais elle aboutit surtout à unFramework, que nous proposons et qui aide à choisir la (les) méthode(s) et/ou le(s) langage(s) de modélisation le(s) plus adapté(s) aux besoins du concepteur. Par la suite, nous proposons un DSML baptisé RsaML (Robotic Software Architecture Modeling Language), pour la définition des architectures logicielles robotiques avec prise en compte de propriétés temps réel. Pour ce faire, un méta-modèle est proposé à partir des concepts que les roboticiens ont l'habitude d'utiliser pour la définition de leurs applications. Il constitue la syntaxe abstraite du langage. Les propriétés temps réel sont identifiées à leur tour et incluses dans les concepts concernés. Des règles sémantiques du domaine de la robotique sont ensuite définies sous forme de contraintes OCL, puis intégrées au méta-modèle, pour permettre que des vérifications de propriétés non fonctionnelles et temps réel soient effectuées sur les modèles construits. Le Framework de modélisation EMF d'Eclipse a été utilisé pour mettre en oeuvre un éditeur qui supporte le langage RsaML.La suite des travaux réalisés dans cette thèse a consisté à définir des transformations de modèles, puis à les utiliser pour implémenter des générateurs. Ces derniers permettent à partir d'un modèle RsaML construit, d'une part, de produire sa documentation et, d'autre part, de produire du code source en langage C. Ces contributions sont validées à travers un cas d'étude décrivant un scénario basé sur le robot Khepera III.

Etude et développement d'une application pédagogique en robotique

Etude et développement d'une application pédagogique en robotique PDF Author: Guochang Gu
Publisher:
ISBN:
Category :
Languages : fr
Pages :

Get Book Here

Book Description
REALISATION DE LA COMMANDE D'UN ROBOT MOBILE (COCCINIELLE) ET D'UN CORAS ARTICULE (ROBOT) EN UTILISANT UN MICROORDINATEUR IBMIPC PROGRAMME EN LISP

Industrial Robots / Robots industriels / Industrie-Roboter

Industrial Robots / Robots industriels / Industrie-Roboter PDF Author: Professor Dr. Christof W. Burckhardt
Publisher: Birkhäuser
ISBN: 3034855303
Category : Science
Languages : en
Pages : 223

Get Book Here

Book Description
The Industrial Robot-a programmable device capable of executing autonomously a number of manipulations in a production line--opens new perspectives in terms of progress in the mechan ization of industrial production. It ought to be able to liberate man from dangerous, unpleasant and monotonous work. Industrial Robots made their first appearance in the USA in 1962 where they were mainly used in the automobile industry. Since then the number of manufacturers has increased substantially and Industrial Robots are currently finding ever widening fields of application. Anyone wishing to learn something about Industrial Robots is somewhat confined to conferences and their proceedings as these are at the moment the best way to keep abreast of developments in this new and complex field. The "Journees de Microtechnique" take place every two years at the Swiss Institute of Technology in Lausanne and treat a different subject of current interest on each occasion. The subject chosen for October 1974 was the Industrial Robot in general. together with its precision engineering aspects. The present proceedings although somewhat heterogenious, provide abrief introduction to this field and record the state of this technique, of a marked interdisciplinary nature, which is in constant and rapid development.

International Workshop Expert Systems & Their Applications

International Workshop Expert Systems & Their Applications PDF Author:
Publisher:
ISBN:
Category : Expert systems (Computer science)
Languages : en
Pages : 262

Get Book Here

Book Description


Artificial Intelligence: A New Synthesis

Artificial Intelligence: A New Synthesis PDF Author: Nils J. Nilsson
Publisher: Elsevier
ISBN: 0080948340
Category : Computers
Languages : en
Pages : 536

Get Book Here

Book Description
Intelligent agents are employed as the central characters in this introductory text. Beginning with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to illustrate the most important and lasting ideas in AI. Neural networks, genetic programming, computer vision, heuristic search, knowledge representation and reasoning, Bayes networks, planning, and language understanding are each revealed through the growing capabilities of these agents. A distinguishing feature of this text is in its evolutionary approach to the study of AI. This book provides a refreshing and motivating synthesis of the field by one of AI's master expositors and leading researches. - An evolutionary approach provides a unifying theme - Thorough coverage of important AI ideas, old and new - Frequent use of examples and illustrative diagrams - Extensive coverage of machine learning methods throughout the text - Citations to over 500 references - Comprehensive index

Applied Informatics

Applied Informatics PDF Author: M. H. Hamza
Publisher:
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 226

Get Book Here

Book Description