Optimal control of (min, +) linear time-varying systems. - Sébastien Lahaye; Jean-Louis Boimond; Laurent Hardouin (PNPM, 1999)

MAISTeR: a user friendly software package for performance analysis and decision, based on (max, +) algebra. - Jean-Louis Ferrier; Sébastien Lahaye; Laurent Hardouin; Jean-Louis Boimond (SMC, 2000)

Modelling of Urban Bus Networks in Dioids Algebra. - Sébastien Lahaye; Laurent Houssin; Jean-Louis Boimond (POSTA, 2003)

Models combination in (max, +) algebra for the implementation of a simulation and analysis software. - Sébastien Lahaye; Laurent Hardouin; Jean-Louis Boimond (Kybernetika, 2003)

On Modeling and Control of Discrete Timed Event Graphs with Multipliers Using (min, +) Algebra. - Samir Hamaci; Jean-Louis Boimond; Sébastien Lahaye (ICINCO (3), 2004)

Linear Periodic Systems Over Dioids. - Sébastien Lahaye; Jean-Louis Boimond; Laurent Hardouin (Discret. Event Dyn. Syst., 2004)

Performance analysis of timed event graphs with multipliers using (min, +) algebra. - Samir Hamaci; Jean-Louis Boimond; Sébastien Lahaye (ICINCO, 2005)

On just in time control of switching max-plus linear systems. - Michel Alsaba; Sébastien Lahaye; Jean-Louis Boimond (ICINCO-SPSMC, 2006)

Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra. - Samir Hamaci; Jean-Louis Boimond; Sébastien Lahaye (Discret. Event Dyn. Syst., 2006)

Supervisory control of heap models using synchronous composition. - Jan Komenda; Jean-Louis Boimond; Sébastien Lahaye (ICINCO-ICSO, 2007)

Just in Time Control of Constrained ( max , +)-Linear Systems. - Laurent Houssin; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2007)

Control of (max, +) automata: A single step approach. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (ECC, 2009)

A Min-plus Approach for Traffic Flow Modeling. - Julien Rousseau; Sébastien Lahaye; Claude Martinez; Jean-Louis Boimond (ICINCO-ICSO, 2009)

Supervisory Control of (max, +) Automata: A Behavioral Approach. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2009)

On proportional controller in (min; +) algebra. - Jean-Louis Boimond; Sébastien Lahaye (WODES, 2010)

Synchronous composition of interval weighted automata. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (WODES, 2010)

Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata. - Rabah Boukra; Sébastien Lahaye; Jean-Louis Boimond (ICINCO (1), 2012)

New representations for (max, +) automata with applications to the performance evaluation of discrete event systems. - Rabah Boukra; Sébastien Lahaye; Jean-Louis Boimond (WODES, 2012)

Decentralized control of product (max+)-automata using coinduction. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (WODES, 2012)

Control of (max, +)-linear systems minimizing delays. - Laurent Houssin; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2013)

Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs. - Bertrand Cottenceau; Sébastien Lahaye; Laurent Hardouin (WODES, 2014)

Modeling of Timed Petri Nets Using Deterministic (max, +) Automata. - Sébastien Lahaye; Jan Komenda; Jean-Louis Boimond (WODES, 2014)

On steady state of continuous min-plus systems. - Jean-Louis Boimond; Sébastien Lahaye (Discret. Event Dyn. Syst., 2014)

New representations for (max, +) automata with applications to performance evaluation and control of discrete event systems. - Rabah Boukra; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2015)

Compositions of (max, +) automata. - Sébastien Lahaye; Jan Komenda; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2015)

Supervisory control of (max, +) automata: extensions towards applications. - Sébastien Lahaye; Jan Komenda; Jean-Louis Boimond (Int. J. Control, 2015)

Determinization of timed Petri nets behaviors. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2016)

Max-plus algebra in the history of discrete event systems. - Jan Komenda; Sébastien Lahaye; Jean-Louis Boimond; Ton J. J. van den Boom (Annu. Rev. Control., 2018)

A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. - Aiwen Lai; Sébastien Lahaye; Alessandro Giua (CoDIT, 2019)

State estimation of max-plus automata with unobservable events. - Aiwen Lai; Sébastien Lahaye; Alessandro Giua (Autom., 2019)

Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras. - Pavel Spacek; Jan Komenda; Sébastien Lahaye (CoRR, 2020)

A contribution to the determinization of max-plus automata. - Sébastien Lahaye; Aiwen Lai; Jan Komenda; Jean-Louis Boimond (Discret. Event Dyn. Syst., 2020)

Initial-state detectability and initial-state opacity of unambiguous weighted automata. - Aiwen Lai; Sébastien Lahaye; Zhiwu Li 001 (Autom., 2021)

Analysis of P-time event graphs in (max, +) and (min, +) semirings. - Pavel Spacek; Jan Komenda; Sébastien Lahaye (Int. J. Syst. Sci., 2021)

Verification of Detectability for Unambiguous Weighted Automata. - Aiwen Lai; Sébastien Lahaye; Alessandro Giua (IEEE Trans. Autom. Control., 2021)

Observer Construction for Polynomially Ambiguous Max-Plus Automata. - Aiwen Lai; Sébastien Lahaye; Jan Komenda (IEEE Trans. Autom. Control., 2022)

Diagnosability of Unambiguous Max-Plus Automata. - Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Representation of Time Petri Nets using Interval Weighted Automata. - Bérangère Daviaud; Sébastien Lahaye; Mehdi Lhommeau; Jan Komenda (CoDIT, 2023)

Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. - Shaowen Miao; Aiwen Lai; Xiao Yu 002; Sébastien Lahaye; Jan Komenda (CoDIT, 2023)

Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata. - Liren Shen; Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (ASCC, 2024)

On the Existence of Simulations for Max-Plus Automata. - Bérangère Daviaud; Sébastien Lahaye; Mehdi Lhommeau; Jan Komenda (IEEE Control. Syst. Lett., 2024)

Decentralized Fault Diagnosis for Constant-Time Automata. - Shaowen Miao; Aiwen Lai; Jan Komenda; Sébastien Lahaye (IEEE Control. Syst. Lett., 2024)

Box atlas: An interval version of atlas. - Arthur Ignazi; Rémy Guyonneau; Sebastien Lagrange; Sébastien Lahaye (Int. J. Approx. Reason., 2025)

Optimal contractor for triangle constraint. - Algassimou Diallo; Sebastien Lagrange; Rémy Guyonneau; Daouda Niang Diatta; Sébastien Lahaye (Robotics Auton. Syst., 2025)