Sébastien Lahaye

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 14

Top Topics

Timed Petri Nets

Fault Diagnosis

Finite State Automaton

Top Venues

Discret. Event Dyn. Syst.

IEEE Trans. Autom. Control.

Publications

Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
On the Existence of Simulations for Max-Plus Automata. IEEE Control. Syst. Lett. 8 (2024)
Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. CoDIT (2023)
B. Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
Representation of Time Petri Nets using Interval Weighted Automata. CoDIT (2023)
Aiwen Lai, Sébastien Lahaye, Jan Komenda
Observer Construction for Polynomially Ambiguous Max-Plus Automata. IEEE Trans. Autom. Control. 67 (3) (2022)
Aiwen Lai, Jan Komenda, Sébastien Lahaye
Diagnosability of Unambiguous Max-Plus Automata. IEEE Trans. Syst. Man Cybern. Syst. 52 (11) (2022)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
Verification of Detectability for Unambiguous Weighted Automata. IEEE Trans. Autom. Control. 66 (3) (2021)
Pavel Spacek, Jan Komenda, Sébastien Lahaye
Analysis of P-time event graphs in (max, +) and (min, +) semirings. Int. J. Syst. Sci. 52 (4) (2021)
Aiwen Lai, Sébastien Lahaye, Zhiwu Li
Initial-state detectability and initial-state opacity of unambiguous weighted automata. Autom. 127 (2021)
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
A contribution to the determinization of max-plus automata. Discret. Event Dyn. Syst. 30 (1) (2020)
Pavel Spacek, Jan Komenda, Sébastien Lahaye
Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras. CoRR (2020)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
State estimation of max-plus automata with unobservable events. Autom. 105 (2019)
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. CoDIT (2019)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom
Max-plus algebra in the history of discrete event systems. Annu. Rev. Control. 45 (2018)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Determinization of timed Petri nets behaviors. Discret. Event Dyn. Syst. 26 (3) (2016)
Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond
New representations for (max, +) automata with applications to performance evaluation and control of discrete event systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Compositions of (max, +) automata. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Supervisory control of (max, +) automata: extensions towards applications. Int. J. Control 88 (12) (2015)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata. WODES (2014)
Bertrand Cottenceau, Sébastien Lahaye, Laurent Hardouin
Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs. WODES (2014)
Jean-Louis Boimond, Sébastien Lahaye
On steady state of continuous min-plus systems. Discret. Event Dyn. Syst. 24 (4) (2014)
Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond
Control of (max, +)-linear systems minimizing delays. Discret. Event Dyn. Syst. 23 (3) (2013)
Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems. WODES (2012)
Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond
Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata. ICINCO (1) (2012)
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
Compositions of (max, +) automata. WODES (2012)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Decentralized control of product (max+)-automata using coinduction. WODES (2012)
Jean-Louis Boimond, Sébastien Lahaye
On proportional controller in (min; +) algebra. WODES (2010)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Synchronous composition of interval weighted automata. WODES (2010)
Julien Rousseau, Sébastien Lahaye, Claude Martinez, Jean-Louis Boimond
A Min-plus Approach for Traffic Flow Modeling. ICINCO-ICSO (2009)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Supervisory Control of (max, +) Automata: A Behavioral Approach. Discret. Event Dyn. Syst. 19 (4) (2009)
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
Control of (max, +) automata: A single step approach. ECC (2009)
Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye
Supervisory control of heap models using synchronous composition. ICINCO-ICSO (2007)
Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond
, +)-Linear Systems. Discret. Event Dyn. Syst. 17 (2) (2007)
Michel Alsaba, Sébastien Lahaye, Jean-Louis Boimond
On just in time control of switching max-plus linear systems. ICINCO-SPSMC (2006)
Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye
Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra. Discret. Event Dyn. Syst. 16 (2) (2006)
Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye
Performance analysis of timed event graphs with multipliers using (min, +) algebra. ICINCO (2005)
Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin
Linear Periodic Systems Over Dioids. Discret. Event Dyn. Syst. 14 (2) (2004)
Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye
On Modeling and Control of Discrete Timed Event Graphs with Multipliers Using (min, +) Algebra. ICINCO (3) (2004)
Sébastien Lahaye, Laurent Hardouin, Jean-Louis Boimond
Models combination in (max, +) algebra for the implementation of a simulation and analysis software. Kybernetika 39 (2) (2003)
Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond
Modelling of Urban Bus Networks in Dioids Algebra. POSTA (2003)
Jean-Louis Ferrier, Sébastien Lahaye, Laurent Hardouin, Jean-Louis Boimond
MAISTeR: a user friendly software package for performance analysis and decision, based on (max, +) algebra. SMC (2000)
Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin
Optimal control of (min, +) linear time-varying systems. PNPM (1999)