Bertrand Simon: Thursday 04/27/2017 at 17h.

 

Bertrand Simon is a second year PhD student within the ROMA project team. He will present a work that he has performed during his master degree studies entitled "Deadlock Avoidance and Detection In Railway Simulation Systems".

 

Abstract:

 

Avoiding or preventing deadlocks in simulation tools for train scheduling remains a critical issue, especially when combined with the objective of minimizing, e.g., the travel times of the trains. In this talk, we revisit the deadlock avoidance and detection problem, and propose a new deadlock avoidance algorithm, called deadaalg, based on a resource reservation mechanism. The Deadaalg algorithm is proved to be f inite, and either detects an unavoidable deadlock resulting form the input data or provide a train scheduling thanks the simtras algorithm, which is free of deadlocks in O(|S|.|T|2 log|T|), where T is the set of trains and S is the set of sections in the railway topology. Experiments are conducted on the Vancouver-Calgary single track corridor of Canadian Pacific. We then show that the simtras algorithm is very efficient and provides schedules of a quality that is comparable to those of an exact optimization algorithm, in tens of seconds for up to 30 trains/day over a planning period of 60 days.

 

Latest News

Poste d'ATER

Un poste d'ATER  à temps plein avec enseignement au Département d'Informatique de l'ENS Lyon et avec recherche au LIP  est ouvert pour la saison 2024.
Le profil de poste est disponible ici et aussi sur Galaxie/ALTAIR.
La clôture des pré-candidatures sur ALTAÏR est fixée au lundi 13 Mai à 16h et la clôture pour le dépôt des fichiers de candidature sur DEMATEC au mardi 14 mai à 16h.

Contacts:  pour les aspects enseignement Yves Robert et pour les aspects recherche Isabelle Guérin Lassous

Postes d'ATER

Deux postes d'ATER à temps plein avec enseignement au Département d'Informatique de l'ENS Lyon et avec recherche au LIP  sont ouverts pour la saison 2024.
L'ensemble des profils de postes de la campagne est en ligne. Les profils sont disponibles sur le site internet de l'ENS de Lyon et et sur Galaxie/ALTAIR.
La clôture des pré-candidatures sur ALTAÏR est fixée au vendredi 09 février à 16h et la clôture pour le dépôt des fichiers de candidature sur DEMATEC au lundi 12 février à 16h.

Contacts:  pour les aspects enseignement Yves Robert et pour les aspects recherche Isabelle Guérin Lassous

University Professor Position

The ENS de Lyon is to open a position for a university professor in computer science, with research at the LIP and teaching in the computer science department. The research profile is open. Given the needs of the department, preference will be given to colleagues likely to teach systems and/or networks, but all applications are welcome, including international ones: teaching can be done in English.

The full description of the position is available on Galaxie. The deadline to apply on Galaxie is 29/03/2024, 16h (Paris time). 

For further information, please contact:
- Eric Thierry, Deputy Director of the Computer Science Department (teaching),
- Nicolas Trotignon, Deputy Director of LIP (research),

Poste d'ingénieur de recherche au LIP en mobilité interne

Le Laboratoire de l'Informatique du Parallélisme propose un poste d'ingénieur de recherche CNRS ouvert en mobilité interne (accessible à tout titulaire de la fonction publique), pour des activités en lien avec l'expérimentation réseau et/ou le développement Rust. Pour plus d'information, voir la fiche de poste.

Contacts: Isabelle Guérin Lassous (isabelle.guerin-lassous@ens-lyon.fr) ou Simon Delamare (simon.delamare@ens-lyon.fr).

Postdoctoral Fellowship 2024
The LIP laboratory is opening a one-year postdoctoral fellowship in Computer Science in Lyon, France.
 
All themes of the laboratory are eligible, in particular: machine learning, computer arithmetic, computer algebra, molecular computing, distributed computing, high performance computing, combinatorics, compilation, complexity, graph theory, quantum computing, logic, computational models, parallelism, proof, scheduling, networks, semantics and verification.
Read More...
 

Past Events

isabelle guerrin lassous

Isabelle Guérin Lassous:
Le CAPES en informatique ! (en savoir plus)