Publications

Affichage de 1491 à 1500 sur 5527

COMM

Empirical review of Java program repair tools: a large-scale experiment on 2,141 bugs and 23,551 repair attempts

Thomas Durieux, Fernanda Madeiral, Matias Martinez, Rui Abreu

In the past decade, research on test-suite-based automatic program repair has grown significantly. Each year, new approaches and implementations are featured in major software engineering venues. However, most of those approaches are evaluated on a single benchmark of bugs, which are also rarely…

ESEC/FSE '19: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Aug 2019, Tallinn, Estonia. pp.302-313, ⟨10.1145/3338906.3338911⟩. ⟨hal-03522732⟩

COMM

Robust Observer-Based Tracking Control Design for Power-Assisted Wheelchairs

Guoxi Feng, Thierry-Marie Guerra, Tran Anh-Tu Nguyen, Lucian Busoniu, Sami Mohammad

Power-assisted wheelchairs (PAW) are efficient means of transportation for disabled persons. The resulting human-machine system includes several unknown parameters such as the mass of the user or ground adhesion. Moreover, the torque signals produced by the human are required to design a robust…

5th IFAC Conference on Intelligent Control and Automation Sciences ICONS 2019, Aug 2019, Belfast, United Kingdom. pp.61-66, ⟨10.1016/j.ifacol.2019.09.119⟩. ⟨hal-03457485⟩

OUV

Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future

Theodor Borangiu, Damien Trentesaux, Paulo Leitão, Adriana Giret, Vicente Botti

Presents recent research on service orientation in holonic and multi-agent manufacturing. Includes selected papers from the 9th International Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future (SOHOMA'19), held in Valencia, Spain, on October…

Springer, 853, 440 p., 2019, 9783030274764. ⟨10.1007/978-3-030-27477-1⟩. ⟨hal-03111218⟩

ART

Stability analysis of a class of switched nonlinear systems using the time scale theory

Fatima Zohra Taousser, Michael Defoort, Mohamed Djemai, Seddik Djouadi, Kevin Tomsovic

This paper investigates stability for a class of switched nonlinear systems evolving on a non-uniform time domain. The studied class of systems switch between a nonlinear continuous-time and a nonlinear discrete-time subsystem. This problem is formulated using time scale theory where the latter is…

Nonlinear Analysis: Hybrid Systems, 2019, 33, pp.195-210. ⟨10.1016/j.nahs.2019.02.006⟩. ⟨hal-03468301⟩

ART

A robust method for MR image segmentation and multiple scleroses detection

H. Zouaoui, Abdelouahab Moussaoui, Mourad Oussalah, Abdelmalik Taleb-Ahmed

In the present article, we propose a new approach for the segmentation of the MR images of the Multiple Sclerosis (MS). The Magnetic Resonance Imaging (MRI) allows the visualization of the brain and it is widely used in the diagnosis and the follow-up of the patients suffering from MS. Aiming to…

Journal of Medical Imaging and Health Informatics, 2019, 9 (6), pp.1119-1130. ⟨10.1166/jmihi.2019.2690⟩. ⟨hal-03138564⟩

ART

Experimental characterization of the mechanical behaviour and the failure of multi-sheet and multi-material spot welded assembly

Rami Tounsi, Grégory Haugou, Fahmi Chaari, Nicolas Leconte, Eric Markiewicz

An experimental investigation of the mechanical behaviour of three-sheet multi-material spot welded assembly is performed. An experimental device based on the Arcan principle is developed to test the three-sheet spot welded specimen under pure opening mode, pure shear mode and mixed opening/shear…

International Journal of Impact Engineering, 2019, 130, pp.226-238. ⟨10.1016/j.ijimpeng.2019.04.017⟩. ⟨hal-03448674⟩

ART

Risk-taking, emotions and socio-cognitive dynamics of pedestrian street-crossing in the city

Stéphanie Coeugnet, Béatrice Cahour, Sami Kraïem

This study investigates pedestrian street-crossing decision-making to better appreciate both the complexity and the dynamics of this activity by analyzing the cognitive, emotional and social processes involved in such situations. We consider street-crossing decision-making in the context of…

Transportation Research Part F: Traffic Psychology and Behaviour, 2019, 65, pp.141-157. ⟨10.1016/j.trf.2019.07.011⟩. ⟨hal-02305633⟩

ART

Enhancing the settling time estimation of a class of fixed‐time stable systems

Rodrigo Aldana-Lopez, David Gomez-Gutierrez, Esteban Jiménez-Rodríguez, Juan Diego Sanchez-Torres, Michael Defoort

In this paper, we provide a new nonconservative upper bound for the settling time of a class of fixed-time stable systems. To expose the value and the applicability of this result, we present four main contributions. First, we revisit the well-known class of fixed-time stable systems, to show the…

International Journal of Robust and Nonlinear Control, 2019, 29 (12), pp.4135-4148. ⟨10.1002/rnc.4600⟩. ⟨hal-03644253⟩

ART

ENOrMOUS: ENergy Optimization for MObile plateform using User needS

Ismat Chaib Draa, Smail Niar, Emmanuelle Grislin-Le Strugeon, Morteza Biglari-Abhari, Jamel Tayeb

Optimizing energy consumption in modern mobile handled devices plays a crucial role as lowering the power consumption impacts battery life and system reliability. Recent mobile platforms have an increasing number of sensors and processing components. Added to the popularity of power-hungry…

Journal of Systems Architecture, 2019, 97, pp.320-334. ⟨10.1016/j.sysarc.2018.10.004⟩. ⟨hal-01879172⟩

ART

Ultra-local model-based control of the square-back Ahmed body wake flow

Baptiste Plumejeau, Sebastien Delprat, Laurent Keirsbulck, Wafik Abassi

This paper presents a new model-free control approach applied to a dynamical fluidic system. The main objective is to evaluate the ability of this closed-loop control technique to control the bistability of a turbulent wake flow past to a square-back Ahmed body. This bistable behavior occurs for…

Physics of Fluids, 2019, 31 (8), pp.085103. ⟨10.1063/1.5109320⟩. ⟨hal-03341963⟩