Manifestations

Séminaires - Cours doctoral - Congrès

Séminaires du LAMIH

System-on-Chip Verification: Challenges and State-of-the-art  (16 fév. 2012, 14h, Salle des réunions ISTV2)

Orateur : Prof. Sofiène Tahar, ECE Dept., Concordia University, Montreal, Quebec, CANADA
Domaine : Mobile & Embedded Systems
Résumé : A System-on-Chip (SoC) is an integrated circuit composed of heterogeneous components ranging from microprocessors, digital, analog, RF, embedded memory to optical, MEMS and even biometric devices. The verification of an SoC is a very challenging task in terms of human, computer and budget resources. Many product delays are caused by verification taking longer than expected, and despite multiple efforts, products are delivered with uncaught bugs. During the seminar, I will present the different kinds of verifications used today in industry and academia, where several technologies will be displayed and compared, with pointers to open problems and possible research issues. Among them formal verification is one of the most active areas of research based on using mathematical reasoning to specify and verify systems properties. I will elaborate on some of these techniques with example projects carried out in my research group at Concordia University (http://hvg.ece.concordia.ca), which activities will also be briefly introduced during the seminar.
Contact : Véronique Delcroix
 

Embedded MPSoC: Design and Prototyping  (30 jan. 2012, 10h, Salle des réunions ISTV2)

Orateur : Dr. Ben SNOUCI, In Post-Doc at University of Twenty, Nederlands
Domaine : Mobile & Embedded Systems
Résumé : Today’s high-end MPSoC (Multi-Processor Systems on Chip), such as those used in cell phones, game consoles, cars, and multimedia applications contain a huge amount of software and relies on complex hardware components. Furthermore, they integrate CPUs and DSPs cores combined with one or more hardware accelerators in order to improve the overall system’s performance and efficiency. This talk describes some experiences in using reconfigurable Multi-CPU/FPGA platforms for both symmetric and heterogeneous MPSoC design/prototyping. We present a Multi-CPU/FPGA platform based MPSoC design methodology with a specific goals of 1) filling the gap between the embedded SW and the hardware architecture in MPSoC systems design 2) Investigating the difficulty of ensuring an efficient control and bridging between processors in heterogeneous MPSoC.
Contact : Véronique Delcroix

 

Human-Centered Design of Life-Critical Systems (15 déc. 2011, 140h, ENSIAME - Amphi E14)

Orateur : Guy Boy, Professeur au FIT (Florida Institute of Technology)
Domaine : Recherche Opérationnelle
Mots-clés : Human-centered design is not a new approach to design. Aerospace is a good example of a life-critical systems domain where participatory design was fully integrated, involving experimental test pilots and design engineers as well as many other actors of the aerospace engineering community. This lecture will provide six topics that are currently part of the requirements of the Ph.D. Program in Human-Centered Design of the Florida Institute of Technology (FIT): cognitive engineering; advanced interaction media; complexity analysis for HCD; life-critical systems; organization design and management for HCD; modeling and simulation. This Human-Centered Design program offers principles, methods and tools that support human-centered sustainable products such as mission or process control environments, cockpits and hospital operating rooms. It supports education and training of design thinkers who are natural leaders, and understand complex relationships among technology, organizations and people. We all need to understand what we want to do with technology, how we should organize ourselves to a better life and finally find out whom we are and have become. Human-centered design is being developed for all these reasons and issues.
Contact : Frédéric Vanderhaegen

 

Query Processing in Mobile Peer-to-peer Databases  (15 déc. 2011, 15h, salle de réunion ISTV2 (à confirmer) )

Orateur : Pr. Bo XU, Databases and Mobile Computing Laboratory (University of Illinois at Chicago)
Domaine : databases and mobile computing
Mots-clés : mobile data management, peer-to-peer computing, query processing, mobile local search
Résumé : Mobile local search is a procedure in which a mobile user searches for local resources, i.e., resources that are in geographic proximity to the user (e.g., a person with certain expertise in a convention hall, a ride-share opportunity, a taxi-cab, a parking slot, etc.). A promising approach to mobile local search is mobile peer-to-peer databases (MP2PD). In the MP2PD approach, a database is stored in the peers (PDA's, cell phones, vehicles, sensors, etc.) that communicate with each other via short-range wireless technologies such as IEEE 802.11, Bluetooth, Zigbee, or Ultra Wide Band (UWB). We propose a query processing method that uses cooperative caching. It makes the data items satisfying a query flow to its originator. To cope with communication bandwidth and storage constraints, the method prioritizes the data-items in terms of their relevance, as reflected by supply and demand. We develop algorithms for the estimation of supply and demand. The algorithms are based on machine learning at each peer using relevance feedbacks to the received data items.
Contact : Véronique Delcroix

 

Logistique urbaine - planification et incertitude (1 déc. 2011, 10h30, ISTV2 salle 100E)

Orateur : TeodorGabriel [dot] Crainic [at] cirrelt [dot] ca (Teodor Gabriel Crainic), Ph.D., MSRC, Prof. de recherche opérationnelle, transport et logistique (UQAM - Montréal, Canada)
Domaine : Recherche Opérationnelle
Mots-clés : City Logistics, ou logistique urbaine, est à la fois un concept plutôt révolutionnaire dans la façon d?envisager le transport de marchandise en ville, un ensemble de propositions, visions, projets, réalisations et rêves, ainsi que des possibilités et défis importants pour la recherche opérationnelle. C?est dans ce contexte que nous nous intéressons aux problèmes de planification des systèmes de logistique urbaine, notamment à la planification tactique des systèmes à deux échelons et au traitement de l?incertitude, particulièrement relativement à la demande de transport, dans ce contexte. Nous discuterons ces concepts, décrirons un cadre de modélisation du problème de planification tactique, pour ensuite présenter deux modèles, un déterministe et un deuxième de programmation stochastique à deux étapes prenant explicitement en compte l?incertitude sur le niveau réel de demande à satisfaire par un plan déterminé à priori sur la base de prévisions. Nous regarderons, en particulier, la question de la capacité additionnelle qu?il faudra, probablement, prévoir, ainsi que qu?un certain nombre de politiques de modification du plan, les « recours », suite à l?observation de la demande « réelle ».  Dans tous les cas, il s?agit non seulement de chercher la « meilleure solution » d?un point de vue conceptuel et mathématique, mais aussi de ne pas oublier les objectifs de société de la logistique urbaine ? moins d?impacts négatifs sur la ville et ces citoyens ?,  ainsi que les questions relatives à la gestion du système et de ses ressources:
Contact : Véronique Delcroix

 

Composition dynamique d'IHM par planification automatique (17 nov 2011, 14)

Orateur : Yoann GABILLON (ATER post-doc au LAMIH-DIM ; thèse au Laboratoire LIG - IIHM, oct 2011)
Domaine : IHM, IA (Planification automatique)
Mots-clés : Interface Homme-Machine, Composition dynamique, Contexte d?usage, Planification automatique
Résumé : En informatique ambiante, les objectifs de l?utilisateur peuvent émerger opportunément. Il devient, dès lors, nécessaire de générer à la volée des systèmes interactifs. Un système interactif est composé d?un noyau fonctionnel et d?une Interface Homme-Machine (IHM). Cette thèse traite de la composition d?IHM pour un objectif utilisateur et un contexte d?usage (utilisateur, plate-forme, environnement) donnés. Elle en propose un espace problème fondé sur les exigences utilisateur recueillies par une étude qualitative. Un état de l?art positionne notre travail et en montre la complémentarité par rapport aux travaux existants : la composition du modèle de tâches. La composition de l?IHM concrète est déléguée à une boîte à outils d?interacteurs définis au niveau tâches. La composition du modèle de tâches se fait par planification automatique. L?étude montre que les planificateurs existants répondent partiellement au problème. Aussi, un planificateur a été spécifiquement développé pour l?IHM. Son utilisation est illustrée dans un prototype Compose. Le travail est original à deux titres : d?une part, son approche « Composition de modèles de tâches » est une extension de la littérature ; d'autre part, la composition d?IHM est un nouveau cadre applicatif pour les algorithmes de planification:
Contact : Véronique Delcroix

 

Human-machine collaboration through mutual understanding (30 juin 2011, 14h30)

Orateur : Dr. Makoto ITOH (Associate Professor ), Department of Risk Engineering, University of Tsukuba
Domaine : Risk Engineering
Mots-clés : Human-Machine System, Overtrust in Automation, Automobile Domain
Résumé : Increase of machine intelligence is making it technically possible that an automated system has authority over human operators for making a decision and implementing an action in an emergency situation. However, society has not fully accepted such machine autonomy, because people have been concerned about human overtrust in automation, complacency, and risk compensation or behavioral adaptation. The human-centered automation principles claim that human operators must maintain the authority over automation. Still, several researches show that there exist cases in which a machine should perform an action for preventing an accident autonomously because humans are not able to do that. In order to improve safety of a human-machine system, prevention of the possible side effects, such as overtrust, is important. A key for this is mutual understanding between a human and a machine. A human operator should understand the machine capability. Moreover, a machine should understand whether the human is paying appropriate attention to his/her work and whether his/her intent is appropriate. If any problem is found on the human attitude or intent, the machine should give some feedback to the human operator by issuing a reminder or an alert in an auditory, visual, or haptic manner.In this presentation, I will show a general research framework and recent research topics, mainly in automobile domain. The presentation includes the followings:

Necessity of machine’s autonomous safety control in emergency situations

Driver understanding on machines

 Occurrence of overtrust in an Adaptive Cruise Control (ACC) system

 Human-interface design for avoidance of human overtrust in ACC system

Machine understanding on human

 Observation of driver behavior in the real world

 Development of non-intrusive methods for detection of distraction and/or sleepiness

 Inference of driver intent to change lanes

Contact : Maris-Pierre Pacaux

 

Open PC based control for industrial robots (30 juin 2011, 9h30)

Orateur : Dr. Mohamed BOURI, EPFL (Suisse)
Résumé : Robot motion controllers consist of a very important component in a robotic infrastructure. The flexibility is more and more needed to allow fastness in development and adaptation from one robot to another. The laboratory of robotic systems of the Ecole Polytechnique Fédérale de Lausanne (LSRO-EPFL) has initiated the work presented in this talk to propose a PC based architecture that is both flexible and open. This motion controller is industrialized and proposed now as a commercial product (called FlexCom®) by a Swiss company: Moveit Automation. The presentation will introduce this architecture, how it can be open for a use with any robot structure even in industry or for laboratories. We will stress on its safety and flexibility to add more components. The flexibility of this control has been proven with the different applications that run based on the same control kernel. With easiness and fastness different field buses have been implemented (Firewire, profibus and CanOpen).
Contact : Mohamed DJEMAI

 

ITS in the Canadian Context:  Initiatives, challenges, and some particular projects (24 juin 2011, présentation)

Orateur : Dr. Soumaya Cherkaoui, Professor at Sherbrooke University, Canada
Mots-clés : Intelligent Transportation Systems, Vehicular Communications
Résumé : The area of Intelligent Transportation Systems (ITS) has been enjoying a tremendous growth in recent years, as the new advances in wireless and sensor technologies have rapidly promoted the seamless integration of information of various types from transportation networks in order to improve safety and comfort to drivers/passengers, and reduce transportation times and fuel costs. In this talk, we briefly review recent and new efforts and initiatives in the area of ITS in North American in general and discuss the particular Canadian context. We detail the efforts and programs that bring together Canadian industry and research bodies to address the technical challenges that need to be addressed by the ITS community in Canada in complementarily to its other North American partners. Finally we will present some of the works performed within the AUTO21 Canadian Network of Excellence, particularly the works conducted by Pr. Cherkaoui and team.
Contact : Véronique Delcroix

 

Optimal Project Compression under Generalized Precedence Relations (23 juin 2011, présentation)

Orateur : Salah Eldin Elmaghraby  (University Professor Emeritus - North Carolina State University, Raleigh NC, USA )
Domaine : Operations Research
Mots-clés : Activity Networks, Project Compression
Résumé : The talk shall present a brief overview of ?generalized precedence relations? (GPR?s) in deterministic and stochastic activity networks, then present the algorithm for the optimal (i.e., minimal cost) reduction in the duration of the project (normally referred to as ?project compression?) assuming that the activities can be shortened, at a cost. The approach is based on the work of Fulkerson for networks with ?strict precedence?, and is an application of the primal/dual properties of the underlying linear program. The algorithm shall be illustrated by application to a simple project.
Contact : Véronique Delcroix

 

Heuristiques et métaheuristique pour les problèmes de découpe (16 juin 2011, 10h30)

Orateur : Ya LIU (post-doc au LAMIH)
Domaine : recherche opérationnelle
Mots-clés : heuristique, métaheuristique, problème de découpe
Résumé : Le problème de découpe se pose dans de nombreux secteurs industriels. En raison de ses larges applications, les heuristiques basées sur l'idée de la programmation dynamique et une métaheuristique sont présentés pour une série de problèmes de découpes, comme le problème avec des conteneurs identiques, des conteneurs différents et multi-objectif.
Contact : Véronique Delcroix

 

Design des réseaux de services avec horaires pour le transport de fret avec consolidation (23 mai 2011, présentation)

Orateur : Teodor Gabriel CRAINIC (Professeur de recherche opérationnelle, logistique et transport, Université du Québec à Montréal)
Domaine : Design des réseaux de services avec horaires pour le transport de fret avec consolidation
Mots-clés : programmation entière - mixte, approche métaheuristique, systèmes de transport intelligent (ITS)
Résumé : Le transport des marchandises longue distance est assuré en grande partie par des transporteurs « avec consolidation » : compagnies de chemin de fer, de camionnage en lots brisés, de transport intermodal, etc. L?idée fondamentale de ce type de transport est de grouper des charges, d?expéditeurs divers et avec des points de départ initial et d?arrivée finale possiblement différents, pour un chargement dans un même véhicule lors du transport. La performance de tels systèmes dépend, bien sûr, de l?efficacité de fonctionnement de chaque composante, mais aussi d?une planification globale des services et acheminements, des ressources et des opérations. C?est le domaine de la planification tactique et des problèmes de conception des réseaux de services. Nous débuterons par une présentation générale du transport de marchandises, de la consolidation et des défis de planification associés. Nous présenterons ensuite un cadre de modélisation pour le problème de conception des réseaux de services avec horaires qui permettent de traiter plusieurs niveaux de consolidation, ce qui permet de traiter les applications au domaine ferroviaire. La formulation par programmation entière - mixte pose d?intéressants défis algorithmiques. Notre approche métaheuristique combine une méthode de slope scalling, des mécanismes de perturbation basés sur des mémoires à long terme, une nouvelle recherche ellipsoïdale qui combine des attributs de solutions d?élite, ainsi qu?une heuristique pour la génération progressive de variables de design. Des résultats d?expérimentations numériques montrent la qualité et les limites de cette méthodologie et ouvre la discussion sur les perspectives et les applications.
Contact : Véronique Delcroix

 

Modèles logique et graphiques pour l'aide à la décision (14 avril 2011, présentation)

Orateur : Karima Sedki (postdoc au LAMIH)
Domaine : Intelligence artificielle
Mots clés : aide à la décision, préférences, modèles graphiques probabiliste, corrélation d'alertes en sécurité, analyse de risques.
Résumé : L'aide à la décision nécessite de s'intéresser à plusieurs problématiques comme la représentation et le raisonnement en présence de préférences, d'informations incertaines, etc. Dans cet exposé, je présenterai, dans un premier temps, certains de nos travaux sur la représentation et le raisonnement avec des préférences dans un cadre logique avec une application au problème de corrélation d'alertes en sécurité informatique. Dans un second temps, je présenterai des travaux réalisés au LAMIH concernant des problèmes d'aide à la décision et d'analyse des risques en utilisant des modèles graphiques probabilistes.
Contact : Véronique Delcroix

 

Voter dans un contexte dynamique (7 avril 2011, présentation)

Orateur : Nicolas Maudet (MdC HdR au Lamsade, univ.Paris Dauphine, Equipe aide à la décision)
Mots clés : théorie du choix social, vote, SMA
Résumé: La théorie du choix social offre de nombreuses méthodes de vote permettant d'effectuer un choix collectif, aux propriétés diverses, et largement étudiées. Toutefois, l'utilisation récente de ces méthodes dans des contextes comme le vote en ligne ou les systèmes multi-agents amène à remettre en cause certaines des hypothèses classiquement admises (par exemple le fait que l'ensemble des votants et des candidats soient connus et fixes au moment du vote). Nous introduisons (et illustrons) quelques notions utiles à apprécier la pertinence d'utilisation de différentes règles de vote dans ce cadre-là.
Contact : Véronique Delcroix
 

Cours doctoral

• Approches polyédrales en supply chain

Congrès 

• JFSMA 2011 (Journées Francophones des Systèmes Multi-Agent), 17-19 octobre, Valenciennes
• GIS 3SGS' 2011 (4ème Workshop du Groupement d'Intérêt Scientifique «Surveillance, Sûreté, Sécurité des Grands Systèmes»), 12-13 octobre, Valenciennes
• Ergo-IA "Plates-formes d'évaluation et Innovation", 30/06-1/07 2011, Biarritz
• ICILLS 2011 (International Conference on Impact Loading of Lightweight Structures, 28/06-1/07 2011, Valenciennes)
• JPOC7 (Journées Polyèdres et Optimisation Combinatoire), 8-10 juin 2011, Valenciennes

13 mars 2008
Valenciennes-UVHC - Bât ISTV2
Contact : simon [dot] enjalbert [at] univ-valenciennes [dot] fr

29 novembre 2007
LILLE - Hôtel consulaire, Place du Théâtre
http://www.innovembre.fr

29 - 30 octobre 2007
Université du Mont Houy - Valenciennes
http://www.univ-valenciennes.fr/congres/afnc07/
Contact : afnc07-sec [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 16/04/2007

17 - 20 octobre 2006
Lille - Grand Palais
http://www.lifl.fr/BDA2006/
Contact : Thierry [dot] Delot [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 21/04/2006

27 - 29 septembre 2006
Valenciennes - Les Tertiales
http://www.univ-valenciennes.fr/congres/EAM06/
Contact : isabelle [dot] oliveira [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 24/04/2006

28 - 30 juin 2006
Université des Tertiales de Valenciennes
http://www.univ-valenciennes.fr/congres/3D2006
http://www.utpb.edu/3D-HumanMovement/
Contact : 3D-sec [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 30/01/2006

18 - 19 mai 2006
LAMIH - Université du Mont Houy de Valenciennes
http://www.univ-valenciennes.fr/congres/JFRB06
Contact : veronique [dot] delcroix [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 12/05/2006

04 - 05 avril 2006
Université du Mont Houy de Valenciennes
http://www.univ-valenciennes.fr/congres/GTAA/
Contact : melanie [dot] lecq [at] univ-valenciennes [dot] fr

06 - 08 février 2006
Nouveau Siècle, Lille
http://www.lifl.fr/ROADEF2006/
Contact : orga-roadef06 [at] lifl [dot] fr
Date limite de remise des publications : 03/10/2005

23 - 24 juin 2005
Université des Tertiales de Valenciennes
http://www.univ-valenciennes.fr/congres/RFIS2005
http://www.rfis.asso.fr/
Contact : rfis-sec [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 28/03/2005

23 mars 2005
Université du Mont Houy de Valenciennes
http://www.univ-valenciennes.fr/congres/10annivLAMIH/
Contact : marie-claude [dot] rossillol [at] univ-valenciennes [dot] fr

06 - 08 octobre 2004
Union Internationale des Chemins de Fers - PARIS
http://www.univ-valenciennes.fr/congres/VPP04/
Contact : melanie [dot] lecq [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 15/05/2004

25 - 27 juin 2003
Université de Valenciennes et du Hainaut-Cambrésis - Site Les Tertiales
http://www.univ-valenciennes.fr/congres/JDA03/
Contact : Isabelle [dot] Oliveira [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 28/02/2003

15 mai 2003
Université de Valenciennes et du Hainaut-Cambrésis
http://www.univ-valenciennes.fr/ROAD/PM2O/
Contact : xavier [dot] gandibleux [at] univ-valenciennes [dot] fr

15 mai 2003
Université de Valenciennes et du Hainaut-Cambrésis
http://www.univ-valenciennes.fr/congres/JTSB/
Contact : sec-jtsb [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 01/12/2002

26 - 28 mars 2003
Université de Valenciennes et du Hainaut-Cambrésis
http://www.univ-valenciennes.fr/sp/PENTOM2003/
Contact : pentom2003 [at] univ-valenciennes [dot] fr
Date limite de remise des publications : 01/10/2002

21 - 22 octobre 2002
Montpellier
http://www.lirmm.fr/lfa02/
Contact : lfa02 [at] lirmm [dot] fr
Date limite de remise des publications : 22/09/2009

12 - 13 septembre 2002
Valenciennes
http://www.univ-valenciennes.fr/congres/SB2002/
Contact : Sec-SB [at] lirmm [dot] fr
Date limite de remise des publications : 31/03/2002

18 - 20 juin 2002
LAMIH, Université de Valenciennes et du Hainaut-Cambrésis
http://www.euromech.cz
http://www.univ-valenciennes.fr/euromech435/
Contact : euromech435 [at] univ-valenciennes [dot] fr

15 - 17 mai 2002
Université de Valenciennes et du Hainaut-Cambrésis
http://www.isys.ucl.ac.be/bchi/cadui/
Contact : Christophe [dot] Kolski [at] univ-valenciennes [dot] fr

26 - 28 septembre 2001
Université de Valenciennes et du Hainaut-Cambrésis
Contact : Dominique [dot] Dubois [at] univ-valenciennes [dot] fr

12 - 14 juin 2001
LAMIH, Université de Valenciennes et du Hainaut-Cambrésis
http://www.univ-valenciennes.fr/sp/FEATS2001/
Contact : Dominique [dot] Deneux [at] univ-valenciennes [dot] fr

11 mai 2001
Faculté des Sciences et des Métiers du Sport, Université de Valenciennes et du Hainaut-Cambrésis
http://www.multimania.com/sportetepsprtous/manif_congres.html
Contact : Eric [dot] Watelain [at] univ-valenciennes [dot] fr

26 - 27 octobre 2000
Université de Valenciennes et du Hainaut-Cambrésis
http://www.univ-valenciennes.fr/actualites/presse/2000/novembre/chercheurs.html
Contact : Damien [dot] Trentesaux [at] univ-valenciennes [dot] fr