Publicaciones

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

• Communication dans un congrès

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⟩

• Ouvrages

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⟩

• Communication dans un congrès

Conception et évaluation des tables interactives à interface virtuelle, tangible ou mixte : classification, pistes de réflexion, illustration en transport

Sébastien Kubicki, Sophie Lepreux, Christophe Kolski

Cet article vise à proposer dans une première section une classification globale des tables interactives. Leur utilisa-tion devrait nécessiter l’adaptation ou la définition de méthodes d’analyse, conception et évaluation, dédiés à ces nouvelles Interfaces Homme-Machine à base de ta-bles..., This paper aims to propose in a first section a global classification of the interactive tables. Consequently, their using may necessitate the adaptation or analysis methods definition, of design and evaluation, dedicated to these new interactive table-based Human-Machine Interfaces. Some ways of...

12ème conférence Ergo'IA 2010 "Innovation, Interactions, Qualité de vie", Oct 2010, Biarritz, France. pp. 3-7. ⟨hal-03429217⟩

• Chapitre d'ouvrage

Bayesian network model for decision problems

K Sedki, V Delcroix, Fx Lepoutre, Emmanuel Adam, Anne-Pascale Godillon-Maquinghen, Isabelle Ville

M. A. Klopotek; M. Marciniak; A. Mykowiecka; W. Penczek; S. Wierzchon. Intelligent Information Systems, new approaches, House of University of Podlasie, pp.285-298, 2010, 9788370515805. ⟨hal-03707651⟩

• Communication dans un congrès

Control theory approach for on-board estimation and monitoring of heavy duty vehicle dynamical tyre forces

Omar Khemoudj, Hocine Imine, Mohamed Djemai, Bernard Jacob

Le mode routier est dominant pour le transport de marchandises, avec plus de 75% du fret dans la plupart des pays de l'Union européenne. En outre, la proportion de poids lourds croît dans le trafic routier et atteint souvent 15 à 20%. Par conséquent, pour atteindre les nouveaux objectifs de...

HVTT11, International Heavy Vehicle Symposium, Mar 2010, Australia. 12p. ⟨hal-00550002⟩

• Article dans une revue

Les activités de gestion de soins : un cadre d'étude privilégié de la cognition en situation naturelle, Health Management Activities : An Ideal Setting for Cognition Research in its Natural Framework

Françoise Anceaux, Christine Chauvin

Le travail humain, 2010, 73 (4), pp.293. ⟨10.3917/th.734.0293⟩. ⟨hal-03208725⟩

• Chapitre d'ouvrage

A pedagogics pattern model of blended e-learning: a step towards designing sustainable simulation-based learning

Michel Labour, Christophe Kolski

This chapter proposes a new pedagogic pattern model which enables the transcription of blended elearning practice in a hands-on way to both instructional designers and educational practitioners using e-learning to satisfy the emotional and cognitive needs of learners. This model takes into account...

Aimilia Tzanavari, Nicolas Tsapatsoulis. Affective, interactive and cognitive methods for e-learning design: creating an optimal education experience, IGI Global, pp.114-137, 2010, 9781605669403. ⟨hal-03270116⟩

• Chapitre d'ouvrage

Querying Issues in Pervasive Environments

Genoveva Vargas-Solar, Christine Collet, Michel Adiba, Jean-Marc Petit, Thierry Delot, Noha Ibrahim

Pervasive computing is all about making information, data and services available everywhere and anytime. The explosion of huge amounts of data largely distributed and produced by different means (sensors, devices, networks, analysis processes, more generally data services) and the requirements to...

Malatras Editor, Apostolos. Pervasive Computing and Communications Design and Deployment: Technologies, Trends, and Applications, IGI Global, pp.1--20, 2010. ⟨hal-00953113⟩