Sébastien Lahaye

Professor (61st section CNU) at Université d'Angers

33 (0)2 44 68 75 65 – sebastien.lahaye(at)univ-angers.fr

Schoolar Google profile

Head of the team Dynamic Systems and Optimization of the LARIS

Head of international relations in Polytech Angers, graduate school of engineering


Research

Member and head of the Dynamic Sytems and Optimization group of LARIS.

PC member of the conferences WODES, ICINCO, CODIT, MSR.

Member of the steering committee of MSR.

My research interests are :

·         modeling, performance evaluation and control of discrete event systems,

·         max-plus algebra, weighted automata and Petri nets,

·         manufacturing and transportation systems.

Recently, I have started to develop maxpluspy, an open source Python library for computations in max-plus algebra and manipulations of max-plus automata.

Publications

I defended my Ph.D. Thesis on October 27th 2000 with the following committee : Christian COMMAULT (rapporteur), Abdellah El Moudni (rapporteur), Geert Jan Olsder (rapporteur), Jean-Louis BOIMOND (directeur de thèse), Jean-Louis Ferrier (examinateur), Guy Juanole (examinateur), Edouard Wagneur (examinateur). The manuscript is entitled Contributions à l’étude des systèmes linéaires non stationnaires dans l'algèbre des dioïdes.

I defended my Habilitation à Diriger des Recherches on November 21st 2011 with the following committee : Hassane ALLA (rapporteur), Stéphane GAUBERT (rapporteur), Jean-Claude HENNET (rapporteur), Jean-Louis BOIMOND (examinateur), Jean-Jacques LESAGE (examinateur). The manuscript is entitled Contributions à l’étude des systèmes à événements discrets à partir de modèles définis sur des semi-anneaux idempotents.

List of publications (with downloadable preprints).

Supervision (DEA, Master and PhD students)

2021-20xx

Bérangère Daviaud

Méthodes formelles pour les systèmes réactifs, applications au live-coding

Co-advised by Mehdi Lhommeau

 

2018-2021

Luz Adriana Guzzman Trujillo

Optimization of complex dynamic systems

Co-advised by Vadim Azhmyakov and Nicolas Delanoue

2016-2019

Aiwen LAI

State estimation, verification of detectability and opacity in weighted automata

PhD defended on September 30th 2019

Rapporteurs : S. Gaubert, J. Komenda

Co-advised by Alessandro Giua

2010-2013

Rabah Boukra
Contribution à la modélisation, l'évaluation de performances et la commande des systèmes à événements discrets à l'aide des automates (max,+)
PhD defended on December 2nd 2013
Rapporteurs : S. Gaubert, H. Alla
Co-advised by
Jean-Louis Boimond (Pr, LISA)

2008

Tony Doat
Utilisation de modèles des systèmes à événements discrets pour l'amélioration de démonstrateurs 3D
Master SDS. (Université d'Angers, LISA)

2006-2010

Julien Rousseau
Contribution à la modélisation du trafic routier dans l'algèbre min-plus
PhD defended on October 22nd 2010
Rapporteurs : J.-C. Hennet, N. Sauer
Supervised by
Jean-Louis Boimond (Pr, LISA), and co-advised by Claude Martinez (MCF, IRCCYN)

2003-2006

Michel Al Saba
Contribution à la commande des systèmes flexibles de production manufacturière dans l'algèbre (max,+)
PhD defended on October 13th 2006
Rapporteurs : C. Commault, J.-J. Loiseau
Supervised and co-advised by
Jean-Louis Boimond (Pr, LISA).

2003-2006

Laurent Houssin
Contribution à la commande des systèmes (max,+)-linéaires. Applications aux réseaux de transport.
PhD defended on December 12th 2006)
Rapporteurs : J.-P. Quadrat, J.-J. Loiseau
Supervised and co-advised by
Jean-Louis Boimond (Pr, LISA).

2003-2004

Aurélien Correïa
Etude des graphes d'événements temporisés dans l'algèbre des dioïdes : Synthèse d'un modèle de référence avec contrainte de temps critique
D.E.A. A.I.A. (Ecole Centrale de Nantes, LISA)
Co-advised by
Bertrand Cottenceau (MCF, LISA)

2002-2003

Laurent Houssin
Sur l'étude des systèmes à événements discrets dans l'algèbre des dioïdes, Applications aux systèmes de transport
D.E.A. A.I.A. (Ecole Centrale de Nantes, LISA)

 

Teaching

Teachings (lectures, tutorial classes and labs) mainly at Master’s degree level in Polytech Angers: Automatic control, Identification, Supervisory Control and Data Acquisition, Programmable Logic Controllers.

Co-founder of a program “arts and digital science” between Polytech Angers (graduate school of engineering) and Esad TALM (school of fine arts and design), supported by “Recherche-Formation-Innovation en Pays de la Loire” (NaN project).