Sébastien Lahaye

47 papers B 1C 4Journal 26Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimal contractor for n-gons constraint.
Int. J. Approx. Reason.
Algassimou Diallo, Sebastien Lagrange, Rémy Guyonneau, Daouda Niang Diatta, Sébastien Lahaye
2026 J jnl
Weakly strong semantics of Time Petri Nets and its algebraic description.
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Rémi Parrot, Olivier H. Roux
2025 J jnl
Box atlas: An interval version of atlas.
Int. J. Approx. Reason.
Arthur Ignazi, Rémy Guyonneau, Sebastien Lagrange, Sébastien Lahaye
2025 J jnl
Optimal contractor for triangle constraint.
Robotics Auton. Syst.
Algassimou Diallo, Sebastien Lagrange, Rémy Guyonneau, Daouda Niang Diatta, Sébastien Lahaye
2024 J jnl
Decentralized Fault Diagnosis for Constant-Time Automata.
IEEE Control. Syst. Lett.
Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 — conf
Initial-and - Final-State Detectability of Nondeterministic Finite-State Automata.
ASCC
Liren Shen, Shaowen Miao, Aiwen Lai, Jan Komenda, Sébastien Lahaye
2024 J jnl
On the Existence of Simulations for Max-Plus Automata.
IEEE Control. Syst. Lett.
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
2023 C conf
Representation of Time Petri Nets using Interval Weighted Automata.
CoDIT
Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda
2023 C conf
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.
CoDIT
Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
2022 J jnl
Diagnosability of Unambiguous Max-Plus Automata.
IEEE Trans. Syst. Man Cybern. Syst.
Aiwen Lai, Jan Komenda, Sébastien Lahaye
2022 J jnl
Observer Construction for Polynomially Ambiguous Max-Plus Automata.
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Jan Komenda
2021 J jnl
Analysis of P-time event graphs in (max, +) and (min, +) semirings.
Int. J. Syst. Sci.
Pavel Spacek, Jan Komenda, Sébastien Lahaye
2021 J jnl
Initial-state detectability and initial-state opacity of unambiguous weighted automata.
Autom.
Aiwen Lai, Sébastien Lahaye, ZhiWu Li
2021 J jnl
Verification of Detectability for Unambiguous Weighted Automata.
IEEE Trans. Autom. Control.
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2020 J jnl
A contribution to the determinization of max-plus automata.
Discret. Event Dyn. Syst.
Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond
2020 J jnl
Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras.
CoRR
Pavel Spacek, Jan Komenda, Sébastien Lahaye
2019 C conf
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata.
CoDIT
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2019 J jnl
State estimation of max-plus automata with unobservable events.
Autom.
Aiwen Lai, Sébastien Lahaye, Alessandro Giua
2018 J jnl
Max-plus algebra in the history of discrete event systems.
Annu. Rev. Control.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond, Ton J. J. van den Boom
2016 J jnl
Determinization of timed Petri nets behaviors.
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2015 J jnl
Compositions of (max, +) automata.
Discret. Event Dyn. Syst.
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2015 J jnl
New representations for (max, +) automata with applications to performance evaluation and control of discrete event systems.
Discret. Event Dyn. Syst.
Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond
2015 J jnl
Supervisory control of (max, +) automata: extensions towards applications.
Int. J. Control
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2014 — conf
Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs.
WODES
Bertrand Cottenceau, Sébastien Lahaye, Laurent Hardouin
2014 — conf
Modeling of Timed Petri Nets Using Deterministic (max, +) Automata.
WODES
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2014 J jnl
On steady state of continuous min-plus systems.
Discret. Event Dyn. Syst.
Jean-Louis Boimond, Sébastien Lahaye
2013 J jnl
Control of (max, +)-linear systems minimizing delays.
Discret. Event Dyn. Syst.
Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond
2012 — conf
Compositions of (max, +) automata.
WODES
Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond
2012 — conf
Decentralized control of product (max+)-automata using coinduction.
WODES
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2012 — conf
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems.
WODES
Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond
2012 — conf
Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata.
ICINCO (1)
Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond
2010 — conf
On proportional controller in (min; +) algebra.
WODES
Jean-Louis Boimond, Sébastien Lahaye
2010 — conf
Synchronous composition of interval weighted automata.
WODES
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2009 — conf
A Min-plus Approach for Traffic Flow Modeling.
ICINCO-ICSO
Julien Rousseau, Sébastien Lahaye, Claude Martinez, Jean-Louis Boimond
2009 — conf
Control of (max, +) automata: A single step approach.
ECC
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2009 J jnl
Supervisory Control of (max, +) Automata: A Behavioral Approach.
Discret. Event Dyn. Syst.
Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond
2007 J jnl
Just in Time Control of Constrained (
Discret. Event Dyn. Syst.
Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond
2007 — conf
Supervisory control of heap models using synchronous composition.
ICINCO-ICSO
Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye
2006 J jnl
Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra.
Discret. Event Dyn. Syst.
Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye
2006 — conf
On just in time control of switching max-plus linear systems.
ICINCO-SPSMC
Michel Alsaba, Sébastien Lahaye, Jean-Louis Boimond
2005 C conf
Performance analysis of timed event graphs with multipliers using (min, +) algebra.
ICINCO
Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye
2004 J jnl
Linear Periodic Systems Over Dioids.
Discret. Event Dyn. Syst.
Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin
2004 — conf
On Modeling and Control of Discrete Timed Event Graphs with Multipliers Using (min, +) Algebra.
ICINCO (3)
Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye
2003 — conf
Modelling of Urban Bus Networks in Dioids Algebra.
POSTA
Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond
2003 J jnl
Models combination in (max, +) algebra for the implementation of a simulation and analysis software.
Kybernetika
Sébastien Lahaye, Laurent Hardouin, Jean-Louis Boimond
2000 B conf
MAISTeR: a user friendly software package for performance analysis and decision, based on (max, +) algebra.
SMC
Jean-Louis Ferrier, Sébastien Lahaye, Laurent Hardouin, Jean-Louis Boimond
1999 — conf
Optimal control of (min, +) linear time-varying systems.
PNPM
Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin