Sébastien Lahaye

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

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

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).