Publications

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

• Ouvrages

Mathématiques pour l'ingénieur

Jean-Pierre Richard, Hugues Mounier, Abdennebi Achour, Lotfi Belkoura, Selma Ben Attia, Michel Dambrine, Mekki Ksouri, Wilfrid Perruquetti, Joachim Rudolph, Salah Salhi, Franck Woittennek

1. Introduction aux distributions. 2. Optimisation et LMI. 3. Systèmes stochastiques. 4. EDO non linéaires. 5. Calcul des variations. 6. Systèmes à retards. 7. Commande algébrique des EDP. 8. Platitude et algèbre différenetielle.

R. Ben Abdennour, K. Abderrahim, H. Mounier. ATAN, Association Tunisienne d'Automatique et de Numérisation, pp.384, 2009, J.P. Richard. ⟨hal-00519555⟩

• 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

Revisiting multipoint relay selection in the optimized link state routing protocol

Dhavy Gantsou, Patrick Sondi, Said Hanafi

The objective of the multipoint relay (MPR) technique is to reduce the number of redundant retransmissions, while ensuring reliable delivery of broadcast messages in wireless networks. To do this, it is necessary to select a small set of re-transmitter nodes, called multipoint relays. Selecting…

International journal of communication networks and distributed systems, 2009, 2 (1), pp.4. ⟨10.1504/IJCNDS.2009.021691⟩. ⟨hal-03447670⟩

• Chapitre d'ouvrage

Trace-based usability evaluation using aspect-oriented programming and agent-based software architecture

J.C. Tarby, Houcine Ezzedine, Christophe Kolski

Interactive system evaluation is currently the subject of numerous research projects. Some are intended to link design and evaluation explicitly by different software mechanisms. In this chapter, we describe two evaluation approaches based on the concept of traces, taking advantage of new…

Ahmed Seffah, Jean Vanderdonckt, Michel Desmarais. Human-Centered Software Engineering, Springer-Verlag, pp.257-276, 2009, 978-1-84800-906-6. ⟨hal-03270155⟩

• 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

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⟩

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