Publications

• COMM

Integration of B activity into a global design process of critical software

Philippe Bon, Simon Collart-Dutilleul, Dorian Petit

Transport Research Arena Europe 2012, Apr 2012, Athens, Greece. pp.CDROM. ⟨hal-00838060⟩

• COMM

Relation between Exponential Stability and Input-to-State Stability of Time-Delay Systems

Nader Yeganefar, Nima Yeganefar, Michel Dambrine

The main contribution of this paper is to establish a link between the exponential stability of an unforced system and the Input-to-State Stability (ISS) via the Lyapunov- Krasovskii methodology. A new theorem is provided, which proves that an unforced system whose trivial solution is exponentially…

American Control Conference, 2007. ACC '07, Jul 2007, New York, NY, United States. pp.4919-4920, ⟨10.1109/ACC.2007.4282609⟩. ⟨hal-01299103⟩

• COMM

Experiment for tyre vertical forces estimation on the accelerated loading facility equipement

Hocine Imine, Mohamed Djemai, Omar Khemoudj, Anthony Germanchev

In this paper, an experiment for vehicle forces estimation is presented. The purpose of this experiment is to provide understanding and validation for future experiments on a heavy duty vehicle. The main points discussed in this paper concern the study of evaluating the wheel vehicle forces using…

HVTT 12th International Symposium on Heavy Vehicle Transportation Technology, Sep 2012, France. 13p. ⟨hal-00877046⟩

• COMM

Diagnosis of human operator behaviour in case of train driving: interest of facial recognition

Cyril Legrand, Philippe Richard, Vincent Benard, Frédéric Vanderhaegen, Patrice Caulier

This paper shows a state-of-the-art of facial recognition with reliable algorithms more particularly with Viola and Jones contributions based on the use of Haar-like features suited to temporal constraints of rail drive. Estimations of eyes and mouth positions are provided in relation to face. The…

30th European Annual Conference on Human Decision-Making and Manual Control, Sep 2012, Germany. 6p. ⟨hal-00993161⟩

• COMM

Simulation de perception humaine limitée : étude de l'influence d'un paramètre de seuil

Utku Görkem Ketenci, Emmanuelle Grislin-Le Strugeon, Roland Bremond, Jean Michel Auberlet

Les Systèmes Multi-Agents constituent désormais une des approches fréquemment utilisées dans un objectif de modélisation et de simulation de trafic routier. Des progrès restent toutefois à accomplir en vue d'améliorer le réalisme des comportements humains simulés, dont le comportement des…

Journées Francophones sur les Systèmes Multi-Agents (JFSMA), Oct 2011, France. 10p. ⟨hal-00853568⟩

• COMM

A driver ego-centered environment representation in traffic behavioral simulation

Feirouz Ksontini, Stéphane Espie, Zahia Guessoum, René Mandiau

We present a multi-agent traffic simulation to improve the validity of traffic simulations in urban and suburban fields, with a better consideration of the driving context and driver behavior in terms of anticipation of positioning on the lanes and occupation of space. The demonstration intends to…

10th International Conference on Practical Applications of Agents and Multi-Agent Systems : PAAMS 2012, Mar 2012, Salamanca, Spain. pp.249-253, ⟨10.1007/978-3-642-28786-2_31⟩. ⟨hal-00876448⟩

• ART

Abstract Clock-Based Design of a JPEG Encoder

Adolf Abdallah, Abdoulaye Gamatié, Rabie Ben Atitallah, Jean-Luc Dekeyser

This paper presents the design and analysis of multimedia applications such as the JPEG encoder on multiprocessor architectures. Abstract clocks are considered to deal with the correctness of system behaviors and to find the most suitable execution platform configurations regarding performance and…

IEEE Embedded Systems Letters, 2012, 4 (2), pp.29 -32. ⟨10.1109/LES.2012.2189195⟩. ⟨hal-00758171⟩

• COMM

Préférences continues pour la sélection d'action

Patricia Everaere, Emmanuelle Grislin-Le Strugeon

No abstract

IAF'2012 -- Toulouse (France) -- 22-24 mai 2012, 2012, Toulouse, France. pp.143-152. ⟨hal-00826433⟩

• COMM

Interaction Homme-Machine : des méthodes et modèles de conception de systèmes interactifs aux interactions tangibles sur table interactive

Christophe Kolski

Séminaire du laboratoire Heudiasyc, Université De Technologie De Compiègne, Jan 2012, Compiègne, France. ⟨hal-03483974⟩

• ART

The undirected m-Capacitated Peripatetic Salesman Problem

Éric Duchenne, Gilbert Laporte, Frédéric Semet

In the m-Capacitated Peripatetic Salesman Problem (m-CPSP) the aim is to determine m Hamiltonian cycles of minimal total cost on a graph, such that all the edges are traversed less than the value of their capacity. This article introduces three formulations for the m-CPSP. Two branch-and-cut…

European Journal of Operational Research, 2012, 223 (3), pp.637-643. ⟨10.1016/j.ejor.2012.07.022⟩. ⟨hal-00831917⟩