Publicaciones

• Rapport

Bridging the gap between KAOS requirements models and B specifications

Abderrahman Matoussi, Régine Laleau, Dorian Petit

Employing formal methods for complex systems specification is steadily growing from year to year. Whereas the formal specification process from abstraction to implementation via refinement is well understood, the traceability between initial user requirements (requirements analysis) and the...

[Research Report] TR-LACL-2009-5, LACL. 2009. ⟨hal-01224650⟩

• Poster de conférence

Impact of the Expertise on the Gathering of Information Contained in the Anesthetic File

Bruno Marciniak, Romaric Marcilly, Julien Aldegheri, Françoise Anceaux

Annual Meeting of the American Society of Anesthesiologists, 2009, New Orleans, United States. ⟨hal-04147019⟩

• Article dans une revue

A third order sliding mode controller for a stepper motor

Michael Defoort, Frédéric Nollet, Thierry Floquet, Wilfrid Perruquetti

This paper deals with the robust control problem of a stepper motor subject to parameter uncertainties and load torque perturbation. The developed algorithm is based on third-order sliding-mode control such that a desired angular motor position is accurately tracked. The proposed scheme requires...

IEEE Transactions on Industrial Electronics, 2009, 56 (9), pp.3337-3346. ⟨10.1109/TIE.2009.2026378⟩. ⟨hal-00731474⟩

• Article dans une revue

A Hybrid Algorithm for the Unbounded Knapsack Problem

Vincent Poirriez, Nicola Yanev, Rumen Andonov

This paper presents a new approach for exactly solving the Unbounded Knapsack Problem (UKP) and proposes a new bound that was proved to dominate the previous bounds on a special class of UKP instances. Integrating bounds within the framework of sparse dynamic programming led to the creation of an...

Discrete Optimization, 2009, 6, pp.110-124. ⟨10.1016/j.disopt.2008.09.004⟩. ⟨inria-00335065⟩

• Article dans une revue

Dispositif expérimental d'analyse des performances de cellules photovoltaïques

Jean-Paul Becar, Fabrice Robert, Jean-Charles Canonne, Laurent Vermeiren

L'article rapporte un travail de conception, de réalisation et d'utilisation d'un dispositif expérimental d'analyse de performances de cellules photovoltaïques. Initié à son origine par des questionnements d'étudiants d'un Institut Universitaire de Technologie relatifs...

Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2009, 8, pp.1009. ⟨10.1051/j3ea:2008050⟩. ⟨hal-02049289⟩

• Article dans une revue

Un algorithme GRASP pour le problème de planification de techniciens et d'interventions pour les télécommunications, A GRASP algorithm for the problem of planning technicians and scheduling interventions in telecommunications

Sylvain Boussier, Hashimoto Hideki, Michel Vasquez, Christophe Wilbaut

Le problème de planification de techniciens et d'interventions pour les télécommunications (TIST pour Technicians and Interventions Scheduling Problem for Telecommunications) comprend la planification d'interventions et l'affectation d'équipes de techniciens à ces interventions...

RAIRO - Operations Research, 2009, 43 (4), pp.387-407. ⟨10.1051/ro/2009027⟩. ⟨hal-00842407⟩

• Chapitre d'ouvrage

Applying a human factors engineering approach to heathcare IT applications: example of a medication CPOE project

Sylvia Pelayo, Stéphanie Bernonville, Christophe Kolski, Marie-Catherine Beuscart-Zephir

This paper describes a Human Factors Engineering approach to a medication use system in a context of a hospital medication CPOE project. It presents the results obtained from the organizational analysis and describes the variations in distribution of tasks between the actors of the medication use...

James G. McDaniel. Advances in Information Technology and Communication in Health, 143, IOS Press, pp.334-339, 2009, Studies in Health Technology and Informatics, 9781586039790. ⟨10.3233/978-1-58603-979-0-334⟩. ⟨hal-03446739⟩

• Communication dans un congrès

Evaluation of agent-based interactive systems, application to an information assistance system: first results

Abdelwaheb Trabelsi, Houcine Ezzedine, Christophe Kolski

The evaluation of interactive systems is a wide and rich research domain: many methods, criteria and tools are available. In this article, we are focused on agent-based interactive systems. We first describe the agent oriented architecture used in our researches. Then we propose an evaluation...

28th European Annual Conference on Human Decision-Making and Manual Control, 2009, Reims, France. pp.45-50. ⟨hal-03474482⟩

• Communication dans un congrès

Methodological approach for designing training courses tutoring tools, analogies with HMI design for industrial supervisory control

Philippe Teutsch, Christophe Kolski

This paper presents an on-going work about the design of monitoring human-machine interfaces (HMI) in the domain of distance training course. The objective is to define interactive tools that facilitate the task of the online teacher. The teacher needs to see the path and the contributions of the...

28th European Annual Conference on Human Decision-Making and Manual Control, 2009, Reims, France. pp.58-63. ⟨hal-03474464⟩

• Article dans une revue

A 3D fourth order fabric tensor approach of anisotropy in granular media

Jamila Rahmoun, Djimedo Kondo, Olivier Millet

We propose a micromechanical approach for granular media, with a particular account of the texture-induced anisotropy and of the strain localization rule. The approach is mainly based on the consideration of a fourth order fabric tensor able to capture general anisotropy which can be induced by...

Computational Materials Science, 2009, 46 (4), pp.869-880. ⟨10.1016/j.commatsci.2009.04.030⟩. ⟨hal-00418889⟩