Sébastien Lahaye

According to our database, Sébastien Lahaye authored at least 40 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2023

Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition.

Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda

Proceedings of the 9th International Conference on Control, 2023

Representation of Time Petri Nets using Interval Weighted Automata.

Bérangère Daviaud, Sébastien Lahaye, Mehdi Lhommeau, Jan Komenda

Proceedings of the 9th International Conference on Control, 2023

2022

Diagnosability of Unambiguous Max-Plus Automata.

Aiwen Lai, Jan Komenda, Sébastien Lahaye

IEEE Trans. Syst. Man Cybern. Syst., 2022

Observer Construction for Polynomially Ambiguous Max-Plus Automata.

Aiwen Lai, Sébastien Lahaye, Jan Komenda

IEEE Trans. Autom. Control., 2022

2021

Verification of Detectability for Unambiguous Weighted Automata.

Aiwen Lai, Sébastien Lahaye, Alessandro Giua

IEEE Trans. Autom. Control., 2021

Analysis of P-time event graphs in (max, +) and (min, +) semirings.

Pavel Spacek, Jan Komenda, Sébastien Lahaye

Int. J. Syst. Sci., 2021

Initial-state detectability and initial-state opacity of unambiguous weighted automata.

Aiwen Lai, Sébastien Lahaye, Zhiwu Li

Autom., 2021

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

Analysis of P-time Event Graphs in (Max, +) and (Min, +) Algebras.

Pavel Spacek, Jan Komenda, Sébastien Lahaye

CoRR, 2020

2019

State estimation of max-plus automata with unobservable events.

Aiwen Lai, Sébastien Lahaye, Alessandro Giua

Autom., 2019

A Two-Step Approach for Fault Diagnosis of Max-Plus Automata.

Aiwen Lai, Sébastien Lahaye, Alessandro Giua

Proceedings of the 6th International Conference on Control, 2019

2018

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

2016

Determinization of timed Petri nets behaviors.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2016

2015

Supervisory control of (max, +) automata: extensions towards applications.

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Int. J. Control, 2015

Compositions of (max, +) automata.

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2015

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

2014

On steady state of continuous min-plus systems.

Jean-Louis Boimond, Sébastien Lahaye

Discret. Event Dyn. Syst., 2014

Modeling of Timed Petri Nets Using Deterministic (max, +) Automata.

Sébastien Lahaye, Jan Komenda, Jean-Louis Boimond

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Modeling of Time-Varying (max, +) Systems by Means of Weighted Timed Event Graphs.

Bertrand Cottenceau, Sébastien Lahaye, Laurent Hardouin

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

2013

Control of (max, +)-linear systems minimizing delays.

Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2013

2012

Decentralized control of product (max+)-automata using coinduction.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

New representations for (max, +) automata with applications to the performance evaluation of discrete event systems.

Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata.

Rabah Boukra, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the ICINCO 2012 - Proceedings of the 9th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy, 28, 2012

2010

Synchronous composition of interval weighted automata.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

On proportional controller in (min; +) algebra.

Jean-Louis Boimond, Sébastien Lahaye

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Supervisory Control of (max, +) Automata: A Behavioral Approach.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2009

A Min-plus Approach for Traffic Flow Modeling.

Julien Rousseau, Sébastien Lahaye, Claude Martinez, Jean-Louis Boimond

Proceedings of the ICINCO 2009, 2009

Control of (max, +) automata: A single step approach.

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the 10th European Control Conference, 2009

2007

Just in Time Control of Constrained ( <i>max</i> , +)-Linear Systems.

Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond

Discret. Event Dyn. Syst., 2007

Supervisory control of heap models using synchronous composition.

Jan Komenda, Jean-Louis Boimond, Sébastien Lahaye

Proceedings of the ICINCO 2007, 2007

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

On just in time control of switching max-plus linear systems.

Michel Alsaba, Sébastien Lahaye, Jean-Louis Boimond

Proceedings of the ICINCO 2006, 2006

2005

Performance analysis of timed event graphs with multipliers using (min, +) algebra.

Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye

Proceedings of the ICINCO 2005, 2005

2004

Linear Periodic Systems Over Dioids.

Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin

Discret. Event Dyn. Syst., 2004

On Modeling and Control of Discrete Timed Event Graphs with Multipliers Using (min, +) Algebra.

Samir Hamaci, Jean-Louis Boimond, Sébastien Lahaye

Proceedings of the ICINCO 2004, 2004

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

Modelling of Urban Bus Networks in Dioids Algebra.

Sébastien Lahaye, Laurent Houssin, Jean-Louis Boimond

Proceedings of the Positive Systems, 2003

2000

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

Proceedings of the IEEE International Conference on Systems, 2000

1999

Optimal control of (min, +) linear time-varying systems.

Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999