Search

Your search keyword '"Andreu, David"' showing total 21 results
Start Over Author "Andreu, David" Language french
21 results on '"Andreu, David"'

1. Analyse de Réseau de Petri Temporels Exécutés de Façon Synchrone

Author

Merzoug, Ibrahim, Godary-Dejean, Karen, Andreu, David, Control of Artificial Movement and Intuitive Neuroprosthesis (CAMIN), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Robotique mobile pour l'exploration de l'environnement (EXPLORE), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[SPI]Engineering Sciences [physics], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Abstract

National audience; Lors de la conception de systèmes numériques complexes, le recours aux méthodes formelles est utile notamment pour valider les propriétés du système, avec certitude. Cependant, les processus de validation usuels font abstraction des propriétés non fonc-tionnelles, notamment celles issues des contraintes d'exécution sur la cible matérielle. En l'occurrence, l'analyse des réseaux de Petri temporels doitêtrédoitêtré etudiée avec attention lorsque ce formalisme, intrinsèquement asynchrone, est exécuté de façon synchrone sur un FPGA. Il faut alors considérer la synchronisation d'horloge, le parallélisme effectif et l'interprétation. Actuellement, aucune sémantique formelle et aucune méthode d'analyse ne s'attaquentàattaquent`attaquentà toutes ces problématiques en même temps. Ainsi, nous proposons une nouvelle méthode d'analyse pour les réseaux de Petri interprétés exécutés en synchrone, avec une sémantique formelle d'exécution et un graphe d'´ etats spécifique : le Graphe de Comportement Synchrone.

Published
2017

2. Dispositif et système de contrôle du corps humain

Author

Guiraud, David, Andreu, David, Divoux, Jean-Louis, Charvin, Guy, Guiraud, David, Artificial movement and gait restoration (DEMAR), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), AXONIC - OBELIA dept, MXM-Laboratoires de Techologies Médicales, MXM-AXONIC, Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-AR] Computer Science [cs]/Hardware Architecture [cs.AR], [SPI.AUTO] Engineering Sciences [physics]/Automatic, informatique embarquée, [INFO.INFO-MC] Computer Science [cs]/Mobile Computing, Neuroprothèse, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

Extension : 22/06/12 AU2011239791 (A1) CN102971043 (A) EP2558157 (A1) US2013110200 (A1); Dispositif de contrôle implantable dans un corps humain, comprenant une unité de commande (12) et au moins une électrode, ladite unité de commande (12) étant reliée à la ou chaque électrode pour la commander en stimulation et/ou en mesure, caractérisé en ce que l'unité de commande (12) comprend : - une horloge (44) de cadencement, - une mémoire (52) stockant des données de configuration définies pour permettre la configuration de la ou chaque électrode en correspondance d'identifiants, - une mémoire (54) stockant des données de programme décrivant un profil temporel en correspondance d'identifiants, - un exécuteur (48) activable en vue d'envoyer à la ou chaque électrode (14) des impulsions électriques correspondant à un programme donné selon une configuration d'électrode donnée, en fonction de l'horloge (44), - un séquenceur (46) agencé pour recevoir une pluralité ordonnée de couples comprenant chacun un identifiant de configuration d'électrode et un identifiant de programme, et pour activer sélectivement l'exécuteur (48) avec les couples de configuration d'électrode et de programme désignés par les couples d'identifiants reçus en entrée, en fonction de leur ordre et de l'horloge (44). Système de contrôle du corps humain comprenant un tel dispositif.

Published
2012

3. Observation en continu de la marche hémiplégique pour la stimulation électrique des muscles releveurs de pied

Author

Azevedo Coste, Christine, Pissard-Gibollet, Roger, Espiau, Bernard, Andreu, David, Froger, Jérôme, Laffont, Isabelle, Artificial movement and gait restoration (DEMAR), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), SED [Grenoble], Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Unité de Rééducation Neurologique, Centre Hélio-Marin CHU Nîmes, CHU Montpellier, Centre Hospitalier Régional Universitaire [Montpellier] (CHRU Montpellier), Azevedo Coste, Christine, Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Service Expérimentation et Développement (SED [Grenoble]), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[SPI.AUTO] Engineering Sciences [physics]/Automatic, [SDV.MHEP] Life Sciences [q-bio]/Human health and pathology, embryonic structures, [SDV.MHEP]Life Sciences [q-bio]/Human health and pathology, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

National audience; Observation en continu de la marche hémiplégique pour la stimulation électrique des muscles releveurs de pied

Published
2010

4. Architecture distribuée sans fil pour des applications de SEF externe

Author

Toussaint, Mickael, Andreu, David, Fraisse, Philippe, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Artificial movement and gait restoration (DEMAR), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM)

Subjects
[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering
Abstract

National audience; La Stimulation Électro-Fonctionnelle (SEF) est une technique largement utilisée en particulier pour le traitement thérapeutique de la déficience musculaire (rééducation)[1]. Les dispositifs technologiques actuels sont basés sur une architecture centralisée et filaire, constituant un obstacle à la mobilité. Ils déroulent un profil de stimulation programmé non modifiables en temps-réel et permettent parfois de faire de l'acquisition de signaux physiologiques ou physiques. Cependant, les applications potentielles des technologies de SEF [1], [2], pour les personnes déficientes requièrent un contrôle plus sophistiqué en boucle fermée et en temps réel (modulation de la stimulation en fonction d'informations capteurs), pour une SEF plus efficace sur un plan physiologique. De plus, dans le cadre du mouvement il faut pouvoir coordonner la stimulation sur plusieurs muscles différents impliqués dans le mouvement concerné. Pour répondre à ce besoin nous avons conçu et développé en partenariat avec la société Vivaltis, un nouveau dispositif basé sur une architecture de SEF distribuée (SENIS).

Published
2010

5. MASEA : Marche Assistée par Stimulation Électrique Adaptative. D'un déclenchement événementiel à un contrôle continu de la stimulation électrique pour la correction du syndrome de pied tombant chez l'hémiplégique

Author

Azevedo Coste, Christine, Héliot, Rodolphe, Pissard-Gibollet, Roger, Dussaud, Philippe, Andreu, David, Jérôme, Froger, Laffont, Isabelle, Azevedo Coste, Christine, Artificial movement and gait restoration (DEMAR), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Service Expérimentation et Développement (SED [Grenoble]), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Unité de Rééducation Neurologique, Centre Hélio-Marin CHU Nîmes, CHU Montpellier, Centre Hospitalier Régional Universitaire [Montpellier] (CHRU Montpellier), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), SED [Grenoble], Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM)

Subjects
[SDV.IB] Life Sciences [q-bio]/Bioengineering, [SPI.AUTO] Engineering Sciences [physics]/Automatic, [SDV.IB]Life Sciences [q-bio]/Bioengineering, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

International audience; MASEA : Marche Assistée par Stimulation Électrique Adaptative. D'un déclenchement événementiel à un contrôle continu de la stimulation électrique pour la correction du syndrome de pied tombant chez l'hémiplégique

Published
2010

6. Principe de la stimulation électrique fonctionnelle. Exemples d'application thérapeuthique

Author

Azevedo Coste, Christine, Guiraud, David, Andreu, David, Bernard, Serge, Artificial movement and gait restoration (DEMAR), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Conception et Test de Systèmes MICroélectroniques (SysMIC), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[SPI.TRON]Engineering Sciences [physics]/Electronics
Abstract

National audience; La compréhension du système sensori-moteur humain devient suffisante pour en décrire les mécanismes fondamentaux, mais les déficiences de ce système restent encore trop souvent dans une impasse thérapeutique. La stimulation électrique peut restaurer ou suppléer certaines fonctions déficientes. Les progrès constants de la microélectronique, de la micromécanique et de l'informatique, laissent entrevoir de nouvelles applications. Ce dossier tente de présenter un état de lieux de ce domaine.

Published
2009

7. Communication sur architecture de stimulation répartie : Le protocole application, du modèle à l'implémentation

Author

Souquet, Guillaume, Andreu, David, Artificial movement and gait restoration (DEMAR), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM)

Subjects
[SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

La Stimulation Electro-Fonctionnelle (SEF) est l'une des solutions technologiques actuellement envisagée pour la réhabilitation de fonctions humaines. Notre système de stimulation électro-fonctionnelle repose sur une architecture de nouvelle génération basée sur des implants distribués «intelligents» : les Unités de Stimulation Réparties (USR). Le concept d'USR s'inscrit dans une architecture basée sur un contrôleur extra-corporel et des unités intelligentes intra-corporelles, qui ne sont pas physiquement reliés. Ce concept d'USR suppose donc une communication sans-fil ; elle repose sur une pile protocolaire à 3 couches : couche Physique, couche d'accès au médium (MAC) et couche Application. Ce rapport de recherche aborde plus particulièrement la couche Application et son implantation sur composant FPGA.

Published
2007

8. Unité de stimulation électrofonctionnelle répartie : Langage et noyau d'exécution, supportant les modifications « temps-réel »

Author

Souquet, Guillaume, Andreu, David, Artificial movement and gait restoration (DEMAR), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Souquet, Guillaume, Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[SPI.AUTO] Engineering Sciences [physics]/Automatic, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

La Stimulation Electro-Fonctionnelle (SEF) est l'une des solutions technologiques actuellement envisagée pour la réhabilitation de fonctions humaines. Notre système de stimulation électro-fonctionnelle repose sur une architecture de nouvelle génération basée sur des implants distribués «intelligents» : les Unités de Stimulation Réparties (USR). Le concept d'USR s'inscrit dans une architecture basée sur un contrôleur extra-corporel et des unités intelligentes intra-corporelles, qui ne sont pas physiquement reliés. Ce concept d'USR suppose donc une communication sans-fil. Ce rapport de recherche aborde plus particulièrement la partie commande de l'électrode avec le générateur de stimulation interne à l'USR.

Published
2007

9. Méthode d'accès au médium à intervalles glissants et son implantation au sein d'une unité de stimulation répartie

Author

Souquet, Guillaume, Andreu, David, Artificial movement and gait restoration (DEMAR), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

La Stimulation Electro-Fonctionnelle (SEF) est l'une des solutions technologiques actuellement envisagée pour la réhabilitation de fonctions humaines. Notre système de stimulation électro-fonctionnelle repose sur une architecture de nouvelle génération basée sur des implants distribués «intelligents» : les Unités de Stimulation Réparties (USR). Le concept d'USR s'inscrit dans une architecture basée sur un contrôleur extra-corporel et des unités intelligentes intra-corporelles, qui ne sont pas physiquement reliés. Ce concept d'USR suppose donc une communication sans-fil ; elle repose sur une pile protocolaire à 3 couches : couche Physique, couche d'accès au médium (MAC) et couche Application. Ce rapport de recherche aborde plus particulièrement la méthode d'accès au médium (MAC) que nous avons brevetée et son implantation sur composant FPGA.

Published
2007

10. CoSARC : Un Langage et une Méthodologie de Conception de Contrôleur de Robots basée sur les Composants Logiciels

Author

Passama, Robin, Andreu, David, Dony, Christophe, Libourel Rouge, Thérèse, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Models And Reuse Engineering, Languages (MAREL), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[SPI.AUTO]Engineering Sciences [physics]/Automatic
Published
2005

11. Commande à Longue Distance d'un Robot Mobile par Régulation de Retard Supervisée

Author

Andreu, David, Fraisse, Philippe, Segovia De Los Rios, A., Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

(article sur CD n°283); International audience

Published
2004

12. Modèle de Contrôleur pour une Méthodologie de Conception Basée Composents

Author

Passama, Robin, Andreu, David, Dony, Christophe, Libourel Rouge, Thérèse, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Models And Reuse Engineering, Languages (MAREL), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Published
2004

13. Dispositif de répartition de courant entre des cathodes d'une électrode multipolaire, notamment d'un implant

Author

Guiraud, David, Cathébras, Guy, Bernard, Serge, Andreu, David, Bertrand, Yves, Techer, Jean-Denis, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Artificial movement and gait restoration (DEMAR), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Conception et Test de Systèmes MICroélectroniques (SysMIC), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Inria Sophia Antipolis - Méditerranée (CRISAM), and Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)

Subjects
[SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

Projet DEMAR - CNRS-INRIA-UMII

Published
2004

14. Vers une Méthodologie Logicielle pour la Robotique d'intervention

Author

Passama, Robin, Andreu, David, Dony, Christophe, Libourel Rouge, Thérèse, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Models And Reuse Engineering, Languages (MAREL), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
[INFO]Computer Science [cs], ComputingMilieux_MISCELLANEOUS
Abstract

National audience

Published
2004

15. Stimulation Electro-Fonctionnelle : Noyau d'Exécution Intégré au Sein d'une Unité de Stimulation Répartie

Author

Andreu, David, Bruchon, Nicolas, Gil, Thierry, Guiraud, David, Galy, Jérôme, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Artificial movement and gait restoration (DEMAR), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Conception et Test de Systèmes MICroélectroniques (SysMIC), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[SPI.AUTO]Engineering Sciences [physics]/Automatic
Published
2004

16. Du Modèle à l'exécution : Traduction Automatique d'un Réseau de Petri Interprété en Langage VHDL

Author

Andreu, David, Bruchon, Nicolas, Gil, Thierry, Artificial movement and gait restoration (DEMAR), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), LIRMM, Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), and Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract

Du Modèle à l'exécution : Traduction Automatique d'un Réseau de Petri Interprété en Langage VHDL

Published
2004

17. Pilotage d'un Bras Robotisé par Commutation de Commande

Author

Carbou, Jacques, Andreu, David, Fraisse, Philippe, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
Supervision locale, Robotique, Modèle hybride, ComputingMilieux_MISCELLANEOUS, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

International audience

Published
2002

18. E-NetObject: Un Editeur de Réseaux de Petri à Objets

Author

Raclot, Frédéric, Andreu, David, Libourel Rouge, Thérèse, Passama, Robin, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Models And Reuse Engineering, Languages (MAREL), and Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Subjects
EDITEUR GRAPHIQUE, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], RESEAUX DE PETRI A OBJETS
Abstract

E-NetObject: Un Editeur de Réseaux de Petri à Objets

Published
2002

19. J-NetObject : Un Noyau d'Exécution de Réseaux de Petri à Objets Temporels

Author

Passama, Robin, Andreu, David, Raclot, Frédéric, Libourel Rouge, Thérèse, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Models And Reuse Engineering, Languages (MAREL), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), and Carvalho De Matos, Christine

Published
2002

20. Manuel d'Utilisation E-NetObject : Un Editeur de Réseaux de Petri à Objets

Author

Raclot, Frédéric, Andreu, David, Libourel Rouge, Thérèse, Passama, Robin, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Models And Reuse Engineering, Languages (MAREL), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), and Carvalho De Matos, Christine

Subjects
[INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Abstract

Manuel d'Utilisation E-NetObject : Un Editeur de Réseaux de Petri à Objets

Published
2002

21. Commande et supervision des procédés discontinus : une approche hybride

Author

Andreu, David, Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées, Université Paul Sabatier - Toulouse III, JC.PASCAL, Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), and Université de Toulouse (UT)

Subjects
Générateur d'événements, Surpervision, Systèmes discontinus, Discontinuous systems, Architecture hiérarchisée et répartie, Event generator, Distributed and hierarchical architecture, Modèle hybride, Hybrid model, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Abstract

The presented work belongs to the field of control and supervision of discontinuous processes. A control/supervision system, particularly developed for batch processes, is proposed. The work is turned towards a global approach of real-time aspects of such production systems control, in a hierarchical and modular way. Original points are on the one hand a new control architecture and on the other hand a process and control separated modeling in which hybrid aspects of each model is tackled according to the respect of the discrete and continuous "worlds'' identity. The architecture which is proposed is organised around two local area networks: a field bus of continuous nature, in charge of all the periodic data flow, and a cell network of discrete nature, dedicated to the sporadic flow of messages between the control/supervision system elements. The interface between the world of continuous state variables and that of events is ensured by an Event Generator. As the need of a model taking into account both discrete and continuous aspects at the supervisory level has been pointed out, the system model results of the combination of two formalisms. Petri nets are used to describe the discrete aspect, and algebraic-differential equations to represent the continuous one. This system model is broken down into three views: a discrete view describing the control strategy, a discrete view corresponding to a qualitative representation of the process state (its configurations), and finally a continuous view associated to each of these configurations. The consistent evolution of this structure, based on events, is assured by the models cooperation whose interactions are clearly defined.; Les travaux présentés s'inscrivent dans le cadre de la commande et de la supervision des procédés discontinus. Un système de commande/supervision, étudié dans le contexte particulier des systèmes de production à traitements par lots, est proposé. Notre démarche s'oriente vers une approche globale, hiérarchisée et modulaire, des aspects temps-réel de la conduite de ces procédés de fabrication, reposant sur une modélisation homogène de chaque composante du système. Les points originaux sont d'une part, une nouvelle architecture de commande et d'autre part, une modélisation séparée du procédé et de la commande, dont la nature hybride de chaque modèle obtenu est abordée selon le respect de l'identité des "mondes'' discret et continu. L'architecture proposée est organisée autour de deux réseaux locaux : un bus de terrain à caractère continu, dédié aux variables d'état continues échantillonnées, et un bus d'atelier à caractère discret, consacré aux échanges sporadiques entre les éléments du système de commande/supervision. L'interface entre le monde des variables continues et celui des événements est assurée par un générateur d'événements. Ayant mis en évidence la nécessité d'une représentation des aspects discrets et continus au niveau de la supervision, le modèle du système, constitué du modèle du procédé et du modèle de sa commande, résulte de la combinaison de deux formalismes. Les réseaux de Petri sont utilisés pour aborder l'aspect discret (événementiel) et les équations algébro-différentielles pour représenter l'aspect continu. Ce modèle est structuré selon trois vues : une vue discrète traduisant la stratégie de commande, une vue discrète correspondant à une représentation qualitative de l'état du procédé (ses configurations) et une vue continue associée à chaque configuration. L'évolution cohérente de cette structure, basée sur les événements, est garantie par une coopération des modèles dont le s interactions sont clairement définies. Deux exemples d'application sont présentés afin d'illustrer l'approche exposée. Ils insistent sur l'importance de la notion de configuration dynamique et illustrent la modélisation hybride du procédé, les interactions entre les modèles, ainsi que l'association directe d'une vue continue à des états du modèle discret de la commande.

Published
1996

Catalog

Books, media, physical & digital resources
See catalog results