Publicaciones

• Chapitre d'ouvrage

BRILLANT/BCaml - Une plateforme d’outils libres pour la méthode B

Samuel Colin, Dorian Petit

Boulanger, Jean-Louis. Mise en oeuvre de la méthode B, Hermès, pp.359-368, 2013, Informatique et systèmes d'information. Recherche, technologie, applications, 9782746238107. ⟨hal-03517848⟩

• Communication dans un congrès

On stabilization of discrete-time periodic TS systems

Zsofia Lendek, Jimmy Lauber, Thierry-Marie Guerra, Paula Raica

In this paper we consider controller design for periodic Takagi-Sugeno fuzzy models. For this, we use a periodic nonquadratic Lyapunov function defined at the time instants when the subsystems switch. Using the proposed conditions we are able to handle periodic Takagi-Sugeno systems where the local...

IEEE International Conference on Fuzzy Systems, Jul 2013, Hyderabad, India. ⟨10.1109/FUZZ-IEEE.2013.6622308⟩. ⟨hal-03461732⟩

• Article dans une revue

Sharing with Caution: Managing Parking Spaces in Vehicular Networks

Thierry Delot, Sergio Ilarri, Sylvain Lecomte, Nicolas Cenerario

By exchanging events in a vehicular ad hoc network (VANET), drivers can receive interesting information while driving. For example, they can be informed of available parking spaces in their vicinity. A suitable protocol is needed to disseminate the events efficiently within the area where they are...

Mobile Information Systems, 2013, 9 (1), pp.69-98. ⟨10.1155/2013/703830⟩. ⟨hal-03594510⟩

• Article dans une revue

Évaluation de requêtes mobiles basée sur une infrastructure de services

Marie Thilliez, Mikael Desertot

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2013, Numéro Spécial "Social, Localisation et Mobilité : de nouveaux enjeux pour la gestion des données", 18 (1), pp.107-123. ⟨hal-03517866⟩

• Article dans une revue

When motor simulation of disequilibrium increases postural stability

Loïc Heurley, Emilie Simoneau-Buessinger, Sebastien Leteneur, Denis Brouillet

Computer Methods in Biomechanics and Biomedical Engineering, 2013, 16 (1), pp.44-45. ⟨10.1080/10255842.2013.815900⟩. ⟨hal-03062943⟩

• Communication dans un congrès

Holonic recursiveness with multi-agent system technologies

Sonia Suárez, Paulo Leitão, Emmanuel Adam

Recursive Systems are often needed or recommended for automatically deploy or build a software system composed of multiple entities on a large network, or on distributed locations, without a central control. We use the recursive definitions proposed in holonic systems, as the recursiveness is an...

11th International Conference on Practical Applications of Agents and multi-Agents systems, May 2013, Salamanque, Spain. pp.103-111, 978-3-319-00562-1, ⟨10.1007/978-3-319-00563-8_13⟩. ⟨hal-03472711⟩

• Communication dans un congrès

Validation of a new numerical weaving tool highlighting the influence of real yarn positions and shapes on their behaviour under impact

Mickael Lequin, E. Ferry, Benjamin Provost, Daniel Coutellier, François Boussu

In this study, a numerical simulation approach is used to measure the influence of yarn positions inside a 3D warp interlock fabric submitted to impact. Four numerical results have been compared to one experimental impact test. A first simulation is made directly from the experimental tomographic...

13th AUTEX World Textile Conference, May 2013, Dresde, Germany. ⟨hal-03512879⟩

• Communication dans un congrès

L'analyse de la tâche effective, un support de l'intervention et de la recherche ergonomiques

Françoise Anceaux, Julie Bouchel, Sylvia Pelayo, Stéphanie Bernonville, Robert Bonvini, Laurence Seferdjeli, Fabienne Terraneo, Marc Diby

Cette communication présente l’utilisation d’un formalisme MAD pour modéliser les tâches effectives d’une équipe soignante intervenant en cathétérisme cardiaque. Cette situation met en jeu une collaboration multi-professionnelle puisque les opérateurs représentent trois professions différentes mais...

EPIQUE 2013: 7ème colloque de psychologie ergonomique. Activités humaines, technologies et bien-être, Jul 2013, Bruxelles, Belgique. pp.27-32, ISBN 979-10-92329-01-8. ⟨hal-03385857⟩

• Article dans une revue

Design guidelines for quality of service support in Optimized Link State Routing-based mobile ad hoc networks

Patrick Sondi, Dhavy Gantsou, Sylvain Lecomte

he proposals for quality of service in mobile ad hoc networks have focused on adding QoS mechanisms in best-effort routing protocols while keeping the same assumptions regarding both the network representation and the routing protocol design. Most of the solutions concentrate the algorithmic effort...

Ad Hoc Networks, 2013, 11 (1), pp.298-323. ⟨10.1016/j.adhoc.2012.06.001⟩. ⟨hal-03451428⟩

• Communication dans un congrès

When motor simulation of disequilibrium increases postural stability

Loïc Heurley, Emilie Simoneau-Buessinger, Sebastien Leteneur, Denis Brouillet

XXXVIIIe Congrès de la Société de Biomécanique, Sep 2013, Marseille, France. pp.44-45, ⟨10.1080/10255842.2013.815900⟩. ⟨hal-03388652⟩