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

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

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⟩

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

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

• Rapport

Déploiement des concepts de la Coopération Homme-Machine dans l’inspection filtrage aéroportuaire

Igor Crevits, Frédéric Vanderhaegen

[Rapport de recherche] LAMIH, Valenciennes; CHM. 2013. ⟨hal-03467548⟩

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

• Article dans une revue

Stability analysis of switching TS models using α-samples approach

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

In this paper we consider stability analysis of discrete-time switching systems represented by Takagi-Sugeno fuzzy models. For the analysis we use a switching Lyapunov function defined on the switches. In order to develop stability conditions, we consider the variation of this function along...

IFAC Proceedings Volumes, 2013, 46 (20), pp.468-472. ⟨10.3182/20130902-3-CN-3020.00059⟩. ⟨hal-03623183⟩

• Communication dans un congrès

Definição de Componentes de Processo para apoiar a Análise de Desempenho de Processos de Software

Taisa Guidini Gonçalves, Ana Regina Rocha, Káthia Marçal de Oliveira

XI Workshop de Teses e Dissertações em Qualidade de Software (WTDQS 2013), 2013, Salvador, Brazil. ⟨hal-03584488⟩