Publications

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

• 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

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⟩

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

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

• COMM

Un mouchard électronique orienté agent pour l'évaluation de systèmes interactifs de supervision

Abdelwaheb Trabelsi, Houcine Ezzedine, Christophe Kolski

Nous présentons dans cet article un outil contribuant à l’évaluation de systèmes interactifs de supervision de processus industriels. Il prend la forme d’un mouchard électronique. Nous présentons l’architecture orientée agent de ce mouchard électronique qui permet l’acquisition et l’analyse des…

CIFA'2006, Conférence Internationale Francophone d'Automatique, Institute of electrical and electronics engineers (IEEE), du Groupe de Recherche "Modélisation, Analyse et Conduite des Systèmes dynamiques (GdR MACS) et du CNRS, May 2006, Bordeaux, France. ⟨hal-03474153⟩

• PROCEEDINGS

ERGO-IA 2006 : [l'humain comme facteur de performance des systèmes complexes]

Bertrand T. David, Christophe Kolski, Jean-René Ruault

Ecole supérieure des technologies industrielles avancées (Bidart, Pyrénées-Atlantiques). ERGO-IA 2006, Oct 2006, Biarritz, France. ESTIA, 382 p., 2006, 2-9514772-6-0. ⟨hal-03405474⟩

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

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