Publications

• Article dans une revue

Current state on computer-aided design of user interfaces, Le point sur la conception assistée par ordinateur d'interfaces utilisateur

Christophe Kolski, Jean Vanderdonckt

Revue des Interactions Humaines Médiatisées (RIHM) = Journal of Human Mediated Interactions, 2004, 5 (1), pp.7-11. ⟨hal-03269546⟩

• Communication dans un congrès

Modélisation orientée agents d'IHM dans un contexte de supervision lié aux transports

Houcine Ezzedine, André Péninou, Christophe Kolski

Cet article décrit une recherche en cours concernant une approche de conception orientée agents d'Interface Homme-Machine. A partir d'un bref rappel des modèles d'architecture de la littérature, nous présentons les motivations de cette approche multi-agents ainsi que ses principes…

Conférence Internationale : Sciences Electroniques, Technologies de l'Information et des Télécommunications, SETIT 2004, Mar 2004, Sousse, Tunisie. pp.295-300. ⟨hal-05368496⟩

• Article dans une revue

Contribution to the definition of a partial overlapping plastic strain rates domain for moderate loadings - application to tensile testing on metallic materials

Grégory Haugou, Eric Markiewicz, Jacky Fabis, Gérard Gary

Generally, tensile testing on Hopkinson bars requires some particular considerations. Most of the specific devices, designed to hold tensile sheet specimens on the bars, involve the degradation of the pulses in particular case of no-direct tensile loadings. A tensile testing configuration for sheet…

International Journal of Crashworthiness, 2004, 9 (2), pp.187-194. ⟨10.1533/ijcr.2004.0278⟩. ⟨hal-00111426⟩

• Article dans une revue

Towards A Generic Object Oriented Decision Support System for University Timetabling : An Interactive Approach

Sylvain Piechowiak, Christophe Kolski

Timetable management in universities is a complicated issue which uses up a great deal of human resources and is therefore very costly. This article deals with the analysis and design of an interactive decision support system for timetable management. This tool will be able to take hierarchical…

International Journal of Information Technology and Decision Making, 2004, 3 (1), pp.179-208. ⟨10.1142/S0219622004000982⟩. ⟨hal-03279470⟩

• Article dans une revue

Design of intelligent distributed control systems: A dependability point of view

Laurent Cauffriez, Joseph Ciccotelli, Blaise Conrard, Mireille Bayart

The use of fieldbuses and the emergence of intelligent sensors and actuators are opening up new possibilities for distributed control systems, but are also introducing additional constraints in terms of achieving dependability objectives. The type of production environment will greatly determine…

Reliability Engineering and System Safety, 2004, 84 (1), pp.19-32. ⟨10.1016/S0951-8320(03)00174-1⟩. ⟨hal-00289496⟩

• Communication dans un congrès

Conception des systèmes multi-agents : pistes de réflexion en vue de futures coopérations entre ergonomes et informaticiens

Christophe Kolski, Emmanuelle Grislin-Le Strugeon, Emmanuel Adam, Philippe Mathieu

Issus de l’Intelligence Artificielle Distribuée, les agents et systèmes multi-agents sont de plus en plus présents dans les systèmes en interaction avec les utilisateurs. En conséquence, leur utilisation devrait nécessiter l’adaptation ou la définition de méthodes d’analyse, conception et…, Issued from Distributed Artificial Intelligence, agents and multi-agent systems are more and more present in systems in interaction with users. Consequently, their using may necessitate the adaptation or definition of analysis, design and evaluation methods, dedicated to new agent-based systems.…

Actes de la conférence Ergo-IA 2004 (ErgoIA'2004), Nov 2004, Biarritz, France. pp.147--154. ⟨hal-00731990⟩

• Article dans une revue

A genetic algorithm for robust schedules in a just-in-time environment

Marc Sevaux, Kenneth Sorensen

Computing a schedule for a single machine problem is often difficult for irregular criteria, but when the data are uncertain, the problem is much more complicated. In this paper, we modify a genetic algorithm to compute robust schedules when release dates are subject to small variations. Two types…

AAPS PharmSciTech, 2004, pp.1-25. ⟨10.1007/s10288-003-0028-0⟩. ⟨hal-03368987⟩

• Thèse

Génération automatique de composants logiciels sûrs à partir de spécifications formelles B, Automatic generation of reliable components from B formal specifications

Dorian Petit

Ce mémoire est consacré à l'étude de la génération de code à partir de spécifications formelles B. L'aspect primordial à maîtriser pour la génération de code est la modularité du langage B. Pour ce faire, nous avons modélisé le système de modules du langage B en l'exprimant par un…, These works are related to the study of the code generation from B formal specifications. The main aspect that should be studied in the code generation is the modularity of the B language. We have expressed the B modularity with an Harper-Lillibridge-Leroy module system (an ML-like module system).…

Informatique [cs]. Université de Valenciennes et du Hainaut-Cambrésis, 2003. Français. ⟨NNT : 2003VALE0039⟩. ⟨tel-03420740⟩

• Communication dans un congrès

DGPS-INS data fusion for land navigation

Denis Berdjag, Denis Pomorski

The interest for land navigation has increased for the recent years. With the advent of the Global Position System (GPS) we have now the ability to determine the absolute position anywhere on the globe. The problem is that the GPS systems work well only in open environments with no overhead…

2003 Sino-French Workshop on Sensory Evaluation and Intelligent Techniques, Dec 2003, Shanghai, China. ⟨hal-01509819⟩

• Thèse

Estimation des caractéristiques du mouvement humain en station debout. Mise en œuvre d'observateurs flous sous forme descripteur, Estimation of human movement characteristics in standing. A fuzzy observer approach in descriptor form.

Kevin Guelton

La neurophysiologie et la biomécanique constituent deux approches complémentaires à la compréhension globale de la régulation posturale. Le corps humain est considéré comme un système mécanique poly-articulé régulé par le système nerveux central. Ses entrées sont les couples articulaires et ses…, Neurophysiology and biomechanics brings two complementary approaches to the postural control scheme. The human body, which is controlled by the central nervous system, is considered as rigid body segments connected by hinge joints system where inputs are the joint torques and the outputs are the…

Automatique / Robotique. Université de Valenciennes et du Hainaut-Cambresis, 2003. Français. ⟨NNT : ⟩. ⟨tel-00007960⟩