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⟩

Communication dans un congrès

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⟩

Article dans une revue

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⟩

Communication dans un congrès

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⟩

Article dans une revue

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⟩

Communication dans un congrès

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⟩

Article dans une revue

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⟩