Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015

Documents pareils
Notice biographique Repères biographiques communs

Software integration in mobile robotics, a science to scale up machine intelligence

2 Architecture décisionnelle

Usine Numérique Intégration Produit Production

Modèles et politiques de sécurité pour les infrastructures critiques

Propriétés du Document EMA. Résumé

Un Service Internet du Futur pour le suivi des voyages multimodaux

Modélisation du comportement habituel de la personne en smarthome

Intelligence Artificielle Planification

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Utilisation de SysML pour la simulation d environnement virtuel

Une méthode d apprentissage pour la composition de services web

Chronogrammes et contraintes. à la modélisation de systèmes dynamiques à événements

Programmation d'agents intelligents Vers une refonte des fils de raisonnement. Stage de fin d'études Master IAD 2006

Hypervision et pilotage temps réel des réseaux IP/MPLS

Modèle multi-agents de prise de décision éthique

Réflexion et intelligence ambiante Grégoire Delubria

LE SUPPLY CHAIN MANAGEMENT

Equilibrage de charge (Load

Un système multi-agents sensible au contexte pour les environments d intelligence ambiante

ABB i-bus KNX Les nouveaux Room Master RM/S 3.1 et RM/S 4.1

Pourquoi. cette thématique. de recherche

Intelligence Ambiante Pro-Active De la Spécification à l Impléme

Intelligence Artificielle et Robotique

Analyse,, Conception des Systèmes Informatiques

Introduction à la robotique Licence 1ère année /2012

GESTION DE PROJET SÉANCE 2 : LES CYCLE DE VIE D'UN PROJET

Modélisation multi-agent d allocation des ressources : application à la maintenance

Université Paris 8 Laboratoire d Informatique Avancée de Saint-Denis THÈSE. pour l obtention du

FORMAT FORMA ION SUR LA ION SUR LA GESTION DE PROJET & MS PROJECT

Relever les défis des véhicules autonomes


modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets

COR-E : un modèle pour la simulation d agents affectifs fondé sur la théorie COR

Pilotage de la Supply Chain

Analyse hiérarchique de tâches (AHT)

Génie logiciel (Un aperçu)

M2M. «Le nouveau paradigme des applications M2M: de l usage technique à l usage CRM»

Prospective, scénarios et mutations. Daniel Brissaud - Yannick FREIN

Laboratoire 4 Développement d un système intelligent

Plan de cours ADM 992C Page 1. École des sciences de la gestion Département de management et technologie Université du Québec à Montréal

Conditions : stage indemnisé, aide au logement possible, transport CEA en Ile-de-France gratuit.

Service de Détection de Pannes avec SNMP

Intelligence Inventive & Mapping des réseaux de Recherche. Expernova & Active Innovation Management GFII 5 Mars 2015

Yphise optimise en Coût Valeur Risque l informatique d entreprise

Smatrix. Le système de réglage intelligent de chauffage et de refroidissement sol Plus de confort avec moins d'énergie

Implementing in Social Housing, of Water and Energy Efficiency ICT services

Manipulateurs Pleinement Parallèles

Le modèle IRM4S : le principe Influence/Réaction pour la simulation de systèmes multi-agents

Pascal Forget 2310, Avenue Notre-Dame Québec, (Québec) Canada, G2E 3G5 Tél. (418) Fax (418)

Notice Utilisateur EKZ A STORIA CRT 600 HF

CAHIER DE S CHARGE S Remote Workload Manager

Jean-Daniel Fekete Directeur de Recherche, Resp. équipe-projet AVIZ INRIA

Solutions industrielles pour l ingénierie des systèmes complexes

Synergies entre Artisan Studio et outils PLM

Population responses to environmental forcing : approaches to model and monitor habitat characteristics

Évaluation et implémentation des langages

Ordonnancement temps réel

Recherche sur les appartements intelligents destinés aux personnes présentant une déficience intellectuelle

THÈSE. présentée par. Olivier RATCLIFFE. pour obtenir le diplôme de DOCTEUR DE L UNIVERSITÉ DE SAVOIE (Arrêté ministériel du 30 mars 1992)

ÉVALUATION PRIMAIRE D UN SYSTÈME D AIDE AU CONTRÔLE AÉRIEN EN ROUTE

ATELIER Les nouvelles fonctionnalités de Microsoft Project 2010 : premières impressions

F I E L D R O B O T I C S

CA Desktop Migration Manager

Symantec Backup Exec 2012

Cloud computing Votre informatique à la demande

Smart City Pour relever les défis d urbanisation et de mobilité du futur. Raphael Rollier 05/2015

Graphes d attaques Une exemple d usage des graphes d attaques pour l évaluation dynamique des risques en Cyber Sécurité

- Couches - Éléments - Domaines - ArchiMate et les techniques du BABOK

Conception et contrôle des SMA tolérants aux fautes

Oxybul éveil et jeux

L OBSERVATOIRE DE LA BIOLOGIE DE SYNTHESE SYNTHETIC BIOLOGY OBSERVATORY

Retour d expérience sur la mise en place d un Plan de Continuité des Activités PCA. James Linder

Le S.I. - colonne vertébrale de la Supply Chain étendue : deux approches pour réussir votre projet

SERVICES DE PLANIFICATION FINANCIÈRE ET SUCCESSORALE

Intelligence artificielle et les défis en robotique mobile et autonome

Export et Import de modèles ICAR sous Trnsys 17

AXES DE RECHERCHE - DOMAINE D'INTERET MAJEUR LOGICIELS ET SYSTEMES COMPLEXES

Modèle de changement d organisation. Leanpizza.net présente. Petit Guide Rapide du jeu de cartes Modèle de Changement d Organisation

Les lières. MSc in Electronics and Information Technology Engineering. Ingénieur civil. en informatique. MSc in Architectural Engineering

Aide à la décision en management par processus et intelligence économique

Analyse des logiciels d application spécialisée pour le courtage en épargne collective

Les méthodes Agile. Implication du client Développement itératif et incrémental

OPTIMISATION DE LA MAINTENANCE DES EQUIPEMENTS DE MANUTENTION DU TERMINAL A CONTENEURS DE BEJAIA (BMT)

Toolbox d étalonnage pour Kinect : Application à la fusion d une Kinect et d un télémètre laser

Master MIDO 2ème année. Spécification et Conception en UML Maude Manouvrier

Objectif : Passer de l analyse métier et fonctionnelle à la définition des applications qui

Architecture Reconfigurable Hétérogène à Gestion Hiérarchique Distribuée pour la Reconfiguration et la Prise de Décision

basée sur le cours de Bertrand Legal, maître de conférences à l ENSEIRB Olivier Augereau Formation UML

LA SOLUTION INNOVANTE DE GESTION DE PLANNING

CALENDRIER DES FORMATIONS

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

LE SYSTEME ROBOTISE MASTER D'AIDE AUX HANDICAPES. DESCRIPTION ET MODE OPERATOIRE

Maarch V1.4

Présentation. Pour. Gilles ALAIS, Country Manager Barloworld Supply Chain Software France 20 Rue des Petits Hôtels, Paris

Mise en place du Business Activity Monitoring (BAM) pour piloter les processus logistiques grâce aux Echanges de Données Informatisés (EDI)

Formula Negator, Outil de négation de formule.

Espace de Services : Vers une formalisation des Systèmes d Information Pervasifs

Bienvenue sur Lab-Windows Il n'y a de vents favorables que pour ceux qui ont un cap

Transcription:

Planification dynamique de tâches par raffinement pour un robot dans un environnement ambiant Nathan Ramoly 2éme année de thèse JJCR 15 20/10/2015 1

Introduction: contexte Objectif: Collaboration robot/environnement intelligent Plusieurs intérêts: Perception étendue Plus grande possibilité d action Meilleure qualité de service Application: Aide à la personne à domicile Robot de service dans une maison intelligente Mais cela pose divers challenges: Communication... Intégration de données hétérogènes Incertitudes des données Variation du contexte... 2

Introduction: problématique Planification de tâches Établir une séquence d actions pour atteindre un objectif dans un contexte donné Environnement ambiant => pour observer ET agir Contraintes et hypothèses Contexte variable => plan devient obsolète Informations indisponibles => plan erroné Multiple capteurs => surplus d informations Capteurs limités => sur-utilisation inutile Le planner doit: Prendre en compte le contexte pendant l'exécution Observer intelligemment le contexte => Proposition d un planner intelligent et dynamique basé sur le raffinement de tâche 3

Plan 1. Notre approche: DHTN 2. État de l art 3. Expérimentations 4. Conclusions et perceptives 4

Notre approche: DHTN Dynamic Hierarichal Task Network Planner par raffinement basé sur HTN Principe: Observer le contexte et raffiner tâche en sous-tâches plus précise au moment nécessaire Créer le plan en même temps qu il s'exécute Observer juste une partie du contexte uniquement 5

Notre approche: DHTN Exemple de déroulement 6

Notre approche: DHTN Exemple de déroulement 7

Notre approche: DHTN Exemple de déroulement Si eau sur la table Si eau dans le frigo 8

Notre approche: DHTN Exemple de déroulement Si eau sur la table Si eau dans le frigo 9

Notre approche: DHTN Exemple de déroulement Si eau sur la table Si eau dans le frigo 10

Notre approche: DHTN Analyse du contexte Contexte analysé quand raffinement nécessaire Contexte représenté sous formes de prédicats Choix des capteurs La partie du contexte à observer est déterminé par les préconditions des décompositions possibles Ensemble de prédicats à évaluer Le choix des capteurs est fait par un mapping capteur/prédicat Observation pendant une fenêtre de temps Une fois capteurs sélectionnés Durée établi en fonction des données observées (estimation) Fenêtres relatives aux tâches Observation pendant exécution 11

Notre approche: DHTN Utilisation du formalisme de HTN DHTN ~= amélioration de HTN Reprise des notions de HTN Par rapport aux contraintes: Contexte variable => plan créé au fur et à mesure Informations indisponibles => observation à l exec. Multiple capteurs => observation contexte partielle Capteurs limités => observation contexte partielle 12

État de l art Planification: domaine assez large Étude de quelques planners: En robotique Proche de notre approche Planner Analyse du contexte à l'exécution Observation partielle du contexte Replanification Adaptation du plan Brenner, 2009 Rocco, 2014 (?) - Montreuil, 2007 (HATP) - Lallement, 2014 (HATP) - Weser, 2010 Warfield, 2007-13

Expérimentations Implémentation d un prototype Robot Nao Sous Robot Operating System Indigo Salle Hadaptic Capteurs mouvements, d ouverture Réalisation d un scénario simpliste Met l accent sur le dynamisme de DHTN Interaction avec l humain 14

Conclusions Proposition de DHTN Planner par raffinement dynamique Observation intelligente du contexte à l'exécution Adapté à l utilisation d un environnement intelligent Améliorations possibles: Expérimentations plus poussées Cas d utilisation complet proche de la réalité Dans appartement complet Rajouter une notion d efficacité et d'acceptabilité lors du raffinement Combiner DHTN avec un autre planner pour la génération du plan de base 15

Perspectives Prochaine étape: situations bloquantes Lors de l'exécution d un plan, le robot peut se retrouver bloqué Dynamisme du planner ne peut pas tout résoudre Pannes... Imprévu Faire face à ces situations est un challenge Objectif: Analyser et comprendre les situations où le robot est bloqué Trouver un plan alternatif et/ou communiquer avec utilisateur/opérateur 16

Voilà! Merci de votre attention! 17

Références Fikes, Richard E., and Nils J. Nilsson. "STRIPS: A new approach to the application of theorem proving to problem solving." Artificial intelligence 2.3 (1972): 189-208. Earl D Sacerdoti. Planning in a hierarchy of abstraction spaces. Artificial intelligence, 5(2):115 135, 1974. Joyeux, Sylvain, Rachid Alami, and Simon Lacroix. "A software component for simultaneous plan execution and adaptation." Intelligent Robots and Systems, 2007. IROS 2007. IEEE/RSJ International Conference on. IEEE, 2007. Brenner, Michael, and Bernhard Nebel. "Continual planning and acting in dynamic multiagent environments." Autonomous Agents and Multi-Agent Systems 19.3 (2009): 297-331. Weser, Martin, Dominik Off, and Jianwei Zhang. "HTN robot planning in partially observable dynamic environments." Robotics and Automation (ICRA), 2010 IEEE International Conference on. IEEE, 2010. Rocco, M. D., et al. "A planner for ambient assisted living: From high-level reasoning to low-level robot execution and back." AAAI Spring Symposium Qualitative Representations for Robots. nessuno, 2014. Lallement, Raphaël, Lavindra De Silva, and Rachid Alami. "Hatp: An htn planner for robotics." arxiv preprint arxiv:1405.5345 (2014). Ian Warfield, Chad Hogg, Stephen Lee-Urban, and Héctor Munoz-Avila. Adaptation of hierarchical task network plans. In FLAIRS Conference, pages 429 434, 2007. 18

Annexe: HTN Hierarchical Task Network, késaco? 19