Publicaciones

• ART

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⟩

• COMM

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⟩

• ART

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⟩

• COMM

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⟩

• COMM

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⟩

• COMM

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⟩

• COMM

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⟩

• ART

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⟩

• OUV

Stability analysis and nonlinear observer design using Takagi-Sugeno fuzzy models

Zsofia Lendek, Thierry-Marie Guerra, Robert Babuska, Bart de Schutter

2010, ⟨10.1007/978-3-642-16776-8⟩. ⟨hal-02446398⟩

• COMM

Highly mobile query processing

Thierry Delot, S. Ilarri, Marie Thilliez, Genoveva Vargas-Solar, M. Bellengier

A number of wireless and small-sized devices have started to be embedded in modern cars in the form of on-board computers, GPS navigators, or even multimedia centers. Thus, the vehicles can carry useful information, acting as data sources for other vehicles. Recently, some works have addressed the...

In proceedings of The International Conference on Ambient Systems, Networks and Technologies, ACM, 2010, 2010, Paris, France. pp.101--108. ⟨hal-00953117⟩