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⟩

• Communication dans un congrès

Courbes algébriques-trigonométriques à holographe pythagorien et leur utilisation pour résoudre le problème d'interpolation de Hermite

Laura Saini, Lucia Romani, Gudrun Albrecht

Journées de modélisation géométrique, 2013, Marseille, France. ⟨hal-03187567⟩

• Article dans une revue

Analysis of inverse method applied on sandwich probes

Emna Berrich, Fethi Aloui, Jack Legrand

Parallel plate disks (PPD) are often used for analyzing the effect of small amplitude oscillations with different frequencies. These devices allow the imposing of a well-known flow kinematics. Mass transfer problems and, particularly, convection-diffusion problems relating wall shear rate to mass…

Journal of Fluids Engineering, 2013, 135 (1), ⟨10.1115/1.4007888⟩. ⟨hal-03521107⟩

• 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

DIELECTRIC AND PIEZOELECTRIC PROPERTIES OF LEAD-FREE ( Bi 0.5 Na 0.5 ) 0.94 Ba 0.06 TiO 3 + x% Ce 2 O 3 + y% La 2 O 3 + z% Y 2 O 3 COMPOUNDS SYNTHESIZED BY SOL–GEL TECHNIQUE

A. Chaouchi, M. Saidi, Sophie d'Astorg, Mohamed Rguiti, Christian Courtois

( Bi 0.5 Na 0.5 ) 0.94 Ba 0.06 TiO 3 + x% Ce 2 O 3 + y% La 2 O 3 + z% Y 2 O 3 compounds (named BNT–BT– x/y/z) were synthesized by a sol–gel technique, for (x,y,z) = (0,0,0), (0.25, 0.25, 0.25), (0.25, 0.5, 0.5), (0.5, 0.25, 0.25) and (0.5, 0.5, 0.25). The structural variation according to the…

Journal of Advanced Dielectrics, 2013, 02 (04), pp.1250022. ⟨10.1142/S2010135X12500221⟩. ⟨hal-04281123⟩