Publications

·         Diagnosability of Unambiguous Max-Plus Automata. Aiwen Lai, Jan Komenda, Sébastien Lahaye. IEEE Transactions on Systems, Man, and Cybernetics: Systems, IEEE, In press, pp.1-10. ⟨10.1109/TSMC.2022.3176045⟩

·         Initial-state detectability and initial-state opacity of unambiguous weighted automata. Aiwen Lai, Sébastien Lahaye, Zhiwu Li. Automatica, Elsevier, 2021, 127, pp.109490. ⟨10.1016/j.automatica.2021.109490⟩

·         Verification of Detectability for Unambiguous Weighted Automata. Aiwen Lai, Sébastien Lahaye, Alessandro Giua. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/TAC.2020.2995173⟩

·         Analysis of P-time event graphs in (max,+) and (min,+) semirings. Pavel Špaček, Jan Komenda, Sébastien Lahaye. International Journal of Systems Science, Taylor & Francis, 2021, pp.1-16. ⟨10.1080/00207721.2020.1837992⟩

·         Observer Construction for Polynomially Ambiguous Max-Plus Automata. Aiwen Lai, Sébastien Lahaye, Jan Komenda. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, pp.1-1. ⟨10.1109/TAC.2021.3069899⟩

·         Modeling of Safe Time Petri Nets by Interval Weighted Automata. Jan Komenda, Aiwen Lai, Sébastien Lahaye, Jean-Louis Boimond. 15th IFAC Workshop on Discrete Event Systems, Nov 2020, Rio de Janeiro, Brazil ⟨10.1016/j.ifacol.2021.04.018⟩

·         A contribution to the determinization of max-plus automata. Sébastien Lahaye, Aiwen Lai, Jan Komenda, Jean-Louis Boimond. Discrete Event Dynamic Systems, Springer Verlag, 2020, 30, pp.155-174. ⟨10.1007/s10626-019-00309-6⟩

·         State estimation of max-plus automata with unobservable events. Lai A., Lahaye  S., Giua A., Automatica.  2019, vol. 105, p. 36-42. ⟨10.1016/j.automatica.2019.03.003⟩

·         Application of the Projected Dynamics to the Sliding Mode Control Processes, V. Azhmyakov, M. Bonilla, S. Lahaye, N. Delanoue, L.A. Guzman Trujillo. 15th IFAC European Workshop on Advanced Control and Diagnosis (ACD 2019), Bologna, Italy, 2019.

·         A two-step approach for fault diagnosis of max-plus automata. Aiwen Lai, Sébastien Lahaye, Alessandro Giua. 6th International Conference on Control, Decision and Information Technologies (CoDIT), 2019.

·         Max-plus algebra in the history of discrete event systems. Komenda J., Lahaye S., Boimond J. - L., T. van den Boom. Annual Reviews in Control. 2018. Vol. 45, p. 240-249.

·         Robust Optimal Control of Linear-Type Dynamic Systems with Random Delays. Azmyakov V., Verriest E. I., Guzman Trujillo L. A., Lahaye S., Delanoue N. 9th IFAC Symposium on Robust Control Design (ROCOND’18), Florianopolis, Brésil.

·         (Max,+)-automata with partial observations. Komenda J., Lahaye S., Boimond J. - L. 14th IFAC International Workshop on Discrete Event Systems (WODES'18). 2018, Sorrento, Italie.

·         Contribution à la déterminisation des automates max-plus. Lahaye S., Lai A., Komenda J. Modélisation des Systèmes Réactifs (MSR). 2017, Marseille.

·         Max-plus algebra and discrete event systems. Jan Komenda, Sbastien Lahaye, Jean-Louis Boimond, and T van den Boom. 20th IFAC World Congress, Toulouse, France, volume 50, pages 1784–1790, 2017.

·         Identification of Discrete Event Systems. Lai A., Lahaye S. 20th IFAC World Congress, Toulouse, France, 2017.

·         Determinization of timed Petri nets behaviors. Komenda J., Lahaye S., Boimond J.- L. Discrete Event Dynamic Systems. 2016. Vol. 26, p. 413-437.

·         Compositions of (max, +) automata. Lahaye S., Komenda J., Boimond J.- L. Discrete Event Dynamic Systems. 2015. Vol. 25 p. 323-344, preprint

·         New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems. Boukra R., Lahaye S., Boimond J. - L. Discrete Event Dynamic Systems. 2015. Vol. 25 p. 295-322.

·         Supervisory control of (max,+) automata: extensions towards applications. Lahaye S., Komenda J., Boimond J. - L. International Journal of Control. 2015. Vol. 88 n°12 p. 2523-2537, preprint.

·         Amélioration de la procédure de déterminisation des automates (max,+). Lahaye S., Komenda J., Boimond J. - L. Modélisation des Systèmes Réactifs (MSR). 2015, Nancy.

·         Modeling of Time-Varying (max,+) Systems by means of Weighted Timed Event Graphs, B. Cottenceau, S. Lahaye, L. Hardouin, WODES 2014

·         Modeling of timed Petri nets using deterministic (max,+) automata, S. Lahaye, J. Komenda, J.-L. Boimond, WODES 2014, preprint

·         On Steady State of Continuous Min-Plus Systems, J.-L. Boimond, S. Lahaye, Discrete Event Dynamic Systems, DOI 10.1007/s10626-013-0175-1, 2013

·         New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems, R. Boukra, S. Lahaye, J.-L. Boimond, Discrete Event Dynamic Systems, DOI 10.1007/s10626-013-0178-y, 2013, preprint

·         Control of (Max,+)-linear Systems Minimizing Delays, L. Houssin, S. Lahaye, J.-L. Boimond, Discrete Event Dynamic Systems, DOI 10.1007/s10626-012-0143-1, 2013, preprint

·         Séquentialisation du comportement de réseaux de Petri temporisés, J. Komenda, S. Lahaye, J.-L. Boimond, Modélisation des Systèmes Réactifs (MSR). 2013, Rennes, preprint

·         Compositions of (max,+) automata, S. Lahaye, J. Komenda, J.-L. Boimond, WODES 2012, preprint

·         Decentralized control of product (max,+)-automata using coinduction, J. Komenda, S. Lahaye, J.-L. Boimond, WODES 2012,

·         New representations for (max,+)-automata with applications to the performance evaluation of discrete event systems, R. Boukra, S. Lahaye, J.-L. Boimond, WODES 2012, preprint

·         Performance evaluation of discrete event systems thanks to new representations for (max,+) automata, R. Boukra, S. Lahaye, J.-L. Boimond, ICINCO 2012, preprint

·         Modélisation modulaire à l'aide d'automates (max,+) , S. Lahaye, J. Komenda, J.-L. Boimond, CIFA 2012, preprint

·         Sur la précision asymptotique des systèmes (min, +) linéaires continus, J.-L. Boimond, S. Lahaye, Special issue of JESA-MSR 2011

·         Application of product dioids for dead token detection in interval P-time event graphs, P. Spacek, J. Komenda, S. Lahaye, IFAC World Congress 2011

·         Synchronous Composition of Interval Weighted Automata, J. Komenda, S. Lahaye, J.-L. Boimond, WODES 2010, preprint

·         On Proportional Controller in (Min,+) Algebra, J.-L. Boimond, S. Lahaye, WODES 2010

·         Commande supervisée des automates (max,+), J. Komenda, S. Lahaye, J.-L. Boimond, CIFA 2010, preprint

·         Supervisory Control of (max,+) Automata: A Behavioral Approach, J. Komenda, S. Lahaye, J.-L. Boimond, Discrete Event Dynamic Systems, 2009, preprint

·         Le produit synchrone des automates (max,+), J. Komenda, S. Lahaye, J.-L. Boimond, Special issue of JESA-MSR 2009, preprint

·         Supervisory Control of (max,+) Automata: A Single Step Approach, J. Komenda, S. Lahaye, J.-L. Boimond, ECC 2009, preprint

·         A min-plus approach for traffic flow modelling, J. Rousseau, S. Lahaye, C. Martinez, J.-L. Boimond, ICINCO 2009

·         Controllability of (max,+) Formal Power Series,, J. Komenda, S. Lahaye, J.-L. Boimond, DCDS 2009, preprint

·         Just in Time Control of Time-Varying Discrete Event Dynamic Systems in (max,+) Algebra, S. Lahaye, J.-L. Boimond, J.-L. Ferrier, IJPR, 2008, preprint

·         On Steady State Controller in Min-Plus Algebra, J.-L. Boimond, S. Lahaye, ILAS 2008

·         Control of (max,+) automata : logical and timing aspects, J. Komenda, S. Lahaye, J.-L. Boimond, WODES 2008

·         Just in Time Control of constrained (max,+)-Linear Systems, L. Houssin, S. Lahaye, J.-L. Boimond, Discrete Event Dynamic Systems, 2007, preprint

·         Sur la commande des systèmes flexibles de production manufacturière par l'algèbre des dioïdes, M. Alsaba, J.-L. Boimond, S. Lahaye, e-STA, 2007

·         Supervisory Control of Heap Models using Synchronous Composition, J. Komenda, S. Lahaye, J.-L. Boimond, ICINCO 2007

·         On Hybrid Timed Event Graphs with Multipliers in Dioid, S. Hamaci, J.-L. Boimond, S. Lahaye, CSCS 2007

·         Sur le comportement dynamique des réseaux de Petri valués dans l'algèbre des dioïdes, S. Hamaci, J.-L. Boimond, S. Lahaye, CPI 2007

·         Modeling and control of hybrid timed event graphs with multipliers using (min,+) algebra, S. Hamaci, J.-L. Boimond, S. Lahaye, Discrete Event Dynamic Systems, 2006

·         On just in time control of flexible manufacturing systems via dioid algebra, M. Alsaba, J.-L. Boimond, S. Lahaye, INCOM 2006, preprint

·         Sur la commande des systèmes flexibles de production manufacturière par l'algèbre des dioïdes, M. Alsaba, J.-L. Boimond, S. Lahaye, CIFA 2006, preprint

·         On just in time control of switching max-plus linear systems, M. Alsaba, J.-L. Boimond, S. Lahaye, ICINCO 2006, preprint

·         Commande de graphes d'evénements temporisés partiellement commandables avec contraintes temporelles, A. Correïa, S. Lahaye, B. Cottenceau, CIFA 2006, preprint

·         Control of constrained (max,+)-cinear systems minimizing delays, L. Houssin, S. Lahaye, J.-L. Boimond, INCOM 2006, preprint

·         Timetable synthesis using (max,+) algebra , L. Houssin, S. Lahaye, J.-L. Boimond, INCOM 2006, preprint

·         Performance analysis of timed event graphs with multipliers using (min, +) algebra, S. Hamaci, J.-L. Boimond, S. Lahaye, ICINCO 2005

·         Commande en juste-à-temps sous contraintes de systèmes (max,+)-linéaires, L. Houssin, S. Lahaye, J.-L. Boimond, Special issue of JESA-MSR 2005, preprint

·         Linear periodic systems over dioids, S. Lahaye, J.-L. Boimond, L. Hardouin, Discrete Event Dynamic Systems, 2004, preprint

·         Modélisation et commande de réseaux de bus urbains dans l'algèbre des dioïdes, L. Houssin, S. Lahaye, J.-L. Boimond, e-STA, 2004, preprint

·         Sur la linéarisation des graphes d'événements temporisés discrets avec multiplieurs dans l'algèbre (min,+), S. Hamaci, J.-L. Boimond, S. Lahaye, M. Mostefaoui, e-STA, 2004

·         Commande de graphes d'événements temporisés avec contrainte de temps critique, S. Lahaye, B. Cottenceau, A. Correïa, CIFA 2004, preprint

·         Modelling and control of urban bus networks in dioids algebra, L. Houssin, S. Lahaye, J.-L. Boimond, WODES 2004, preprint

·         On the linearizability of discrete timed event graphs with multipliers using (min,+) algebra, S. Hamaci, J.-L. Boimond, S. Lahaye, M. Mostefaoui, WODES 2004

·         Modeling and control of discrete timed event graphs with multipliers using (min,+) algebra , S. Hamaci, J.-L. Boimond, S. Lahaye, ICINCO 2004

·         Models combination in (max,+) algebra for the implementation of a simulation and analysis software, S. Lahaye, L. Hardouin, J.-L. Boimond, Kybernetika 2003, preprint

·         Modelling of urban bus networks in dioids algebra, S. Lahaye, L. Houssin, J.-L. Boimond, POSTA 2003, preprint

·         Analysis of periodic discrete event systems in (max,+) algebra, S. Lahaye, J.-L. Boimond, L. Hardouin, WODES 2000, preprint

·         Optimal control of (min,+) linear time-varying systems, S. Lahaye, J.-L. Boimond, L. Hardouin, PNPM 1999, preprint

·         Timed event graphs with variable resources: asymptotic behavior, representation in (min,+) algebra, S. Lahaye, J.-L. Boimond, L. Hardouin, Special issue of JESA-MSR 1999, preprint