Publications

• 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⟩

• Article dans une revue

Effect of the forming process on the microstructure of aluminium parts for collective transports

Bandiougou Diawara, Jeremie Bouquerel, Jean Bernard Vogt, Denis Najjar, Mirentxu Dubar

The topic of the current work is an investigation of the microstructure of 6082 Aluminium alloy in artificial aged condition (T6 condition) before and after cold forging test. Aluminium is an essential choice when working on the lightening of metallic structures. Different levels of plastic strain…

MATEC Web of Conferences, 2013, MATEC Web of Conferences, 7, pp.1003. ⟨10.1051/matecconf/20130701003⟩. ⟨hal-02279311⟩

• Article dans une revue

Embedded Holonic Fault Diagnosis of Complex Transportation Systems

Antoine Le Mortellec, Joffrey Clarhaut, Yves Sallez, Thierry Berger, Damien Trentesaux

The use of electronic equipment and embedded computing technologies in modern complex transportation systems continues to grow in a highly competitive market, in which product maintainability and availability is vital. These technological advances also make fault diagnosis and maintenance…

Engineering Applications of Artificial Intelligence, 2013, 26 (1), pp.227-240. ⟨10.1016/j.engappai.2012.09.008⟩. ⟨hal-03041257⟩

• Article dans une revue

Frequency based indicator for driver differentiation during steering exercises

François Gabrielli, Jessica Schiro, Philippe Pudlo, Franck Barbier, Mohamed Djemai

AMSE, Journal of the Association for the Advancement of Modelling and Simulation Techniques in Enterprises, 2013, 73 (3), pp.34-45. ⟨hal-03468608⟩

• Article dans une revue

Variable neighborhood search for the travelling deliveryman problem

Nenad Mladenovic, Dragan Urošević, Said Hanafi

A travelling deliveryman needs to find a tour such that the total waiting time of all the customers he has to visit is minimum. The deliveryman starts his tour at a depot, travelling at constant velocity. In this paper we suggest a general variable neighborhood search based heuristic to solve this…

4OR: A Quarterly Journal of Operations Research, 2013, 11 (1), pp.57-73. ⟨10.1007/s10288-012-0212-1⟩. ⟨hal-03594522⟩

• Article dans une revue

Bone texture analysis is correlated with three-dimensional microarchitecture and mechanical properties of trabecular bone in osteoporotic femurs

Thomas Le Corroller, Martine Pithioux, Fahmi Chaari, Benoit Rosa, Sebastien Parratte, Boris Maurel, Jean-Noël Argenson, Pierre Champsaur, Patrick Chabrand

Fracture of the proximal femur is a major public health problem in elderly persons. It has recently been suggested that combining texture analysis and bone mineral density measurement improves the failure load prediction in human femurs. In this study, we aimed to compare bone texture analysis with…

Journal of Bone and Mineral Metabolism, 2013, 31 (1), pp.82-88. ⟨10.1007/s00774-012-0375-z⟩. ⟨hal-01438690⟩