Publicaciones

• COMM

Démarche en vue de la Génération d'Interfaces Mobiles et Plastiques

Mohamad-Anas Hariri, Dimitri Tabary, Christophe Kolski

L’interface plastique est un des éléments les plus importants dans le domaine de l’informatique pervasive, si nous considérons un grand nombre de dispositifs d’interaction, sur diverses plates-formes, différents types d’utilisateurs, et diverses situations de travail. Notre contribution consiste à..., User interface (UI) plasticity is key to context-aware computing, given the large number of interactive devices, platform heterogeneity, user profiles as well as work situations diversity. Our contribution to UI plasticity consists in automatically generating plastic user interfaces from an...

UBIMOB2006 Mobilité et Ubiquité, Sep 2006, Paris, France. pp. 127-130. ⟨hal-03429471⟩

• ART

Design and evaluation of an advanced driver assistance system: the case of auto-adaptive cruise control

Nicolas Tricot, Bako Rajaonah, Jean-Christophe Popieul, Patrick Millot

Le travail humain, 2006, 69 (2), pp.129. ⟨10.3917/th.692.0129⟩. ⟨hal-04781982⟩

• ART

A support method for the contextual interpretation of biomechanical data.

Emmanuel Roux, Anne-Pascale Godillon-Maquinghen, Patrice Caulier, Stéphane Bouilland, Denis Bouttens

In the clinical field, biomechanical data provided by advanced technical devices are still underexploited. Data analysis usually consists of extracting attributes or computing synthetic values from temporal data and exploiting them by means of a monovariable statistical method. This article...

IEEE Transactions on Information Technology in Biomedicine, 2006, 10 (1), pp.109-18. ⟨10.1109/TITB.2005.856861⟩. ⟨hal-00404892⟩

• COMM

Explicit combination between Petri Nets and ergonomic criteria: basic principles of the ErgoPNets method

Stéphanie Bernonville, Nicolas Leroy, Christophe Kolski, Marie-Catherine Beuscart-Zephir

The method proposed in this article aims to facilitate the re-engineering of existing interactive software by proposing a common framework for Software Engineers and Human Factors specialists. The method explicitly combines Petri Nets and ergonomic criteria. A case study of medication ordering in...

Proceedings of the 25th Edition of EAM'06, European Annual Conference on Human Decision-Making and Manual Control, Sep 2006, Valenciennes, France. ⟨hal-03474132⟩

• ART

Tabu search: global intensification using dynamic programming

Christophe Wilbaut, Saïd Hanafi, Arnaud Fréville, Stefan Balev

Tabu search has proven highly successful in solving hard combinatorial optimization problems. In this paper, we propose a hybrid method that combines adaptive memory, sparse dynamic programming, and reduction techniques to reduce and explore the search space. Our approach starts with a bi-partition...

Control and Cybernetics, 2006, 35 (3), pp.579-598. ⟨hal-03723758⟩

• COMM

Association des réseaux de Petri et des critères d'ergonomie des logiciels pour la modélisation et la réingénierie de systèmes interactifs, cas de la prescription thérapeutique en milieu hospitalier

Stéphanie Bernonville, Nicolas Leroy, Christophe Kolski, Marie-Catherine Beuscart-Zephir

L’objectif de la méthode proposée dans cet article, est d’aider à la réingénierie de logiciel interactif en proposant un support commun de travail entre spécialistes du Génie Logiciel et spécialistes des facteurs humains et de l’ergonomie. La méthode proposée combine explicitement réseaux de Petri..., The objective of the method proposed in this article is to help existant interactive software reingeneering by proposing a common work support between Software Engineering and Human Factors specialists. The method combines explicitely Petri Nets and ergonomic criteria. Case studies illustrating the...

ErgoIA 2006, "L'humain comme facteur de performance des systèmes complexes", Oct 2006, Biarritz, France. pp.55-62. ⟨hal-03474095⟩

• COMM

Nonlinear modelling and control approach for a turbocharged SI engine

Djamel Khiar, Jimmy Lauber, Thierry-Marie Guerra, Thierry Floquet, Guillaume Colin, Yann Chamaillard

IECON 2006 - 32nd Annual Conference on IEEE Industrial Electronics, 2006, Paris, France. ⟨hal-05232455⟩

• ART

A new formalism for designing and specifying RAMS parameters for complex distributed control systems: the Safe-SADT formalism

Laurent Cauffriez, Vincent Benard, Dominique Renaux

Dependability evaluation is a fundamental step in distributed control system design. However, the current dependability evaluation methods are not appropriate due to the level of complexity of such systems. Given the ineffectiveness of these methods, we propose the Safe-SADT formalism for...

IEEE Transactions on Reliability, 2006, 55 (3), pp.397-410. ⟨10.1109/TR.2006.879604⟩. ⟨hal-00289488⟩

• ART

Modelling of an interactive system with an agent-based architecture using Petri nets, application of the method to the supervision of a transport system

Houcine Ezzedine, Abdelwaheb Trabelsi, Christophe Kolski

This article presents an original method using high level Petri nets for the specification and design of interactive systems. We suggest an agent oriented architecture based on the classic components of an interactive application (application, dialogue control, interface with the application). Our...

Mathematics and Computers in Simulation, 2006, 70 (5-6), pp.358-376. ⟨10.1016/j.matcom.2005.11.006⟩. ⟨hal-03279243⟩

• ART

Modélisation et commande d'un véhicule à deux roues

Hélène Tirmant, Laurent Vermeiren, Thierry-Marie Guerra, Alexandre Kruszewski, Michel Null Parent

Cet article présente des résultats sur la modélisation et la commande d'un prototype de véhicule à 2 roues nommé le B2, basé sur le principe du pendule inversé., This paper presents the results on the modeling and the control of a two-wheeled prototype, the vehicle named B2, based on the inverted pendulum principle. Its goal is to reduce the problems due to the vehicles in the center of the towns. A Takagi-Sugeno fuzzy model has been developed from the...

Journal Européen des Systèmes Automatisés, 2006, 40 (4-5/2006), pp.535-561. ⟨10.3166/jesa.40.535-561⟩. ⟨inria-00122586⟩