Publications

• Article dans une revue

A first attempt to combine SysML requirements diagrams and B

Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët

This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering methods. In this article we present extensions…

Innovations in Systems and Software Engineering, 2010, 1-2 (6), pp.47-54. ⟨10.1007/s11334--009-0119-y⟩. ⟨hal-01224642⟩

• Communication dans un congrès

On finite time observer design for multicellular converter

Michael Defoort, Mohamed Djemai, Thierry Floquet, Wilfrid Perruquetti

The aim of this paper is to estimate the capacitor's voltages by tacking the hybrid behavior of the multicellular converter into account. A nonlinear finite time observer is given in order to solve this problem. The stability and properties of the proposed homogeneous finite time observer are…

International Workshop on Variable Structure Systems, 2010, Mexico, Mexico. pp.CDROM. ⟨hal-00519791⟩

• Article dans une revue

Corpus Callosum deformation analysis in Multiple Sclerosis

Foued Derraz, Antonio Pinti, Bruno Lenne, Laurent Peyrodie, Azzeddine Chikh, Abdelmalik Taleb-Ahmed, Patrick Hautecoeur

In this paper, we propose a new methodology for analyzing the deformations of the Corpus Callosum (CC) volume associated to Multiple Sclerosis (MS) lesion. We propose an approach for 3D segmentation of the volume of interest based on deformable models method. The measures are carried from the…

AMSE, 2010, 71 (3-4), pp.1-15. ⟨hal-00838381⟩

• Communication dans un congrès

Vers le concept de stabilité humaine pour l'amélioration de la sécurité des transports

Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier

Les erreurs humaines sont responsables de 70% des incidents et accidents dans les systèmes de transports. Ce papier propose de prendre en compte la stabilité humaine dont l'objectif principal est d'accroître le contrôle des risques. Un rappel des définitions des différents termes (…

Lambda Mu 17, 17ème Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Oct 2010, La Rochelle, France. 7p. ⟨hal-00615226⟩

• Communication dans un congrès

Influence de l'architecture cellulaire de l'os spongieux sur sa réponse mécanique

Julien Halgrin, Fahmi Chaari, Eric Markiewicz, Pascal Drazetic

Pour optimiser la sécurité des usagers de la route, les constructeurs automobiles ont de plus en plus souvent recours à des modèles virtuels de l'être humain. Afin d'améliorer la fiabilité de ces modèles, nous nous proposons d'identifier le comportement mécanique des tissus osseux,…

9e Colloque national en calcul des structures, CSMA, May 2009, Giens, France. pp.203-208, ⟨10.1051/meca/2010036⟩. ⟨hal-01413191⟩

• Article dans une revue

Choice, sorting and ranking in aerial conflict management

David Annebicque, Igor Crevits, Patrick Millot, Serge Debernard

In the Air Traffic control, many decisions must be taken, quickly. Due to the increase of traffic, these decisions are more and more numerous. It is possible to propose some assistance tools to air traffic controllers in order to help them to make decisions. For that purpose we need to understand…

IFAC Proceedings Volumes, 2010, 43 (13), pp.31-36. ⟨10.3182/20100831-4-FR-2021.00007⟩. ⟨hal-02112910⟩

• Communication dans un congrès

Higher order sliding modes in robotics

Michael Defoort, Thierry Floquet, Annemarie Kökösy, Wilfrid Perruquetti

International Workshop on Variable Structure Systems, 2010, Mexico, Mexico. ⟨hal-00731066⟩

• Communication dans un congrès

Human factors in studies of the safety and reliability of agro-equipment

Wided Ben Yahia, Philippe Polet, Frédéric Vanderhaegen, N. Tricot

This paper aims to show the importance of taking into account human factors in risk analysis. Safety analysis methods identify system failures and dangers, thus allowing risk to be analyzed. However, although erroneous human behaviour can affect the Human-Machine System (HMS), studies using safety…

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.6. ⟨hal-02594644⟩

• Communication dans un congrès

New fast heuristics for the 2D strip packing problem with guillotine constraint

Ha Minh Hoang, François Clautiaux, Said Hanafi, Christophe Wilbaut

9th International Symposium on efficient algorithms, SEA 2010, May 2010, Napoli, Italy. ⟨inria-00522681⟩

• Communication dans un congrès

Toward an on-line and non-obtrusive workload assessment method

Marianne Pichon, Patrick Millot, Simon Enjalbert

Workload is an index introduced in the 70th for ergonomic purposes, for evaluating the adequacy of tasks to the human operator abilities. Methods based on a self evaluation such as SWAT and TLX gave the best results, but mainly for assessing a total workload after the task has been performed. But…

11th IFAC/IFIP/IFORS/IEA Symposium on Analysis, Design, and Evaluation of Human-Machine Systems, Aug 2010, Valenciennes, France. pp.281-286, ⟨10.3182/20100831-4-FR-2021.00050⟩. ⟨hal-03644350⟩