Publicaciones

• ISSUE

Revue d'Interaction Homme-Machine (RIHM)

Bertrand T. David, Christophe Kolski

Revue d’Interaction Homme Machine , 7 (1 et 2), 2006. ⟨hal-03405433⟩

• COMM

ORDONNANCEMENT DES BLOCS OPERATOIRES

Nour-El-Houda Saadani, Alain Guinet, Sondès Chaabane

L'ordonnancement définit la dernière étape du processus de gestion du bloc opératoire. A partir du planning du bloc, il détermine l'ordre de passage des interventions dans chaque salle d'opérations. Il s'apparente à un ordonnancement d'ateliers. Le problème étudié est NP-...

6e Conférence Francophone de MOdélisation et SIMulation « Modélisation, Optimisation et Simulation des Systèmes : Défis et Opportunités »., Apr 2006, Rabat, Maroc. pp.1-7. ⟨hal-00379642⟩

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

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