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⟩

• 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

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

Experimental validation and critical analysis of inverse method in mass transfer using electrochemical sensor

Emna Berrich, Fethi Aloui, Jack Legrand

Rehimi et al. [1] numerically studied the frequency response of an electrochemical probe. They applied an inverse sequential algorithm of the convection diffusion equation to simulated periodic mass transfer signals in order to determine the wall shear rate. This paper presents an experimental…

Experimental Thermal and Fluid Science, 2013, 44, pp. 253-263. ⟨10.1016/j.expthermflusci.2012.07.001⟩. ⟨hal-03520746⟩

• Communication dans un congrès

Ankle joint moment is substantially underestimated when measured with classical ergometers mounted with a uni-dimensional force sensor

Emilie Simoneau-Buessinger, Anis Toumi, Christophe Gillet, Sebastien Leteneur

XVIIIth Annual Congress of the European College of Sport Sciences (ECSS), Jan 2013, Barcelone, Spain. ⟨hal-03533968⟩

• Article dans une revue

L'effet de deux types d'entrainement sur la vitesse de marche des personnes âgées MCI

L. Combourieu, Alexandra Perrot, F. Bloch, Eric Watelain, M.-L. Seux, G. Kemoun

Neurophysiologie Clinique = Clinical Neurophysiology, 2013, 44 (1), pp.122-123. ⟨10.1016/j.neucli.2013.10.045⟩. ⟨hal-03534129⟩

• Article dans une revue

Polynomial decay rate for a wave equation with general acoustic boundary feedback laws

Serge Nicaise, Zainab Abbas

We consider the stabilization of the wave equation by a general class of acoustic boundary feedback laws at one extremity. This system is not uniformly stable but we furnish sufficient conditions that guarantee a polynomial stability. Our method combines the use of an observability inequality for…

SeMA Journal: Boletin de la Sociedad Española de Matemática Aplicada, 2013, 61 (1), pp.19-48. ⟨10.1007/s40324-013-0002-5⟩. ⟨hal-03134810⟩

• Article dans une revue

Benchmarking Flexible Job-Shop Scheduling and Control Systems

Damien Trentesaux, Cyrille Pach, Abdelghani Bekrar, Yves Sallez, Thierry Berger, Thérèse Bonte, Paulo Leitão, José Barbosa

Benchmarking is comparing the output of different systems for a given set of input data in order to improve the system's performance. Faced with the lack of realistic and operational benchmarks that can be used for testing optimization methods and control systems in flexible systems, this…

Control Engineering Practice, 2013, 21 (9), pp.1204-1225. ⟨10.1016/j.conengprac.2013.05.004⟩. ⟨hal-03405597⟩

• Article dans une revue

Using the BCD model for risk analysis

Karima Sedki, Philippe Polet, Frédéric Vanderhaegen

In this paper, we are interested in addressing risk analysis. We propose an influence diagram-based approach that focuses on a Benefit, Cost, Deficit (BCD) model. The BCD model is proposed for studying the intentional deviant behaviors of human operators in a system. In this model, the consequences…

Engineering Applications of Artificial Intelligence, 2013, 26 (9), pp.2172-2183. ⟨10.1016/j.engappai.2013.06.009⟩. ⟨hal-03405576⟩