Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

104 résultats
Image document

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

Aiwen Lai , Sébastien Lahaye , Zhiwu Li
Automatica, 2021, 127, pp.109490. ⟨10.1016/j.automatica.2021.109490⟩
Article dans une revue hal-03140443v1

Linear Periodic Systems Over Dioids

Sébastien Lahaye , Jean-Louis Boimond , Laurent Hardouin
Discrete Event Dynamic Systems, 2004, 14, pp.133-152
Article dans une revue hal-00860640v1

On discrete event dynamic systems in dioids: identification, control, extension of timed event graphs

Jean-Louis Boimond , Sébastien Lahaye , Bertrand Cottenceau , Laurent Hardouin
IAR'2000, 15th IAR (Institut Franco-Allemand pour les Applications de la Recherche), Annual meeting, Nov 2000, Nancy, France. pp.1-7
Communication dans un congrès hal-00845076v1
Image document

Éléments d'évaluation de performances pour les systèmes à évènements discrets à travers de nouvelles représentations pour les automates (max,+)

Rabah Boukra , Sébastien Lahaye , Jean-Louis Boimond
9th International Conference on Modeling, Optimization & SIMulation, Jun 2012, Bordeaux, France. pp.X
Communication dans un congrès hal-00728627v1

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

Samir Hamaci , Jean-Louis Boimond , Sébastien Lahaye
ICINCO, International Conference on Informatics in Control, Automation and Robotics 2005, Sep 2005, Barcelone, Spain. pp.16-21
Communication dans un congrès hal-00860528v1

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, IEEE International Conference on Systems, Man and Cybernetics, Oct 2000, Nashville (Tennessee), United States
Communication dans un congrès hal-00845069v1

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

Jan Komenda , Sébastien Lahaye , Jean-Louis Boimond
WODES 2012, Oct 2012, Guadalajara, Mexico. pp.x-x
Communication dans un congrès hal-00846351v1

Controllability of (max,+) Formal Power Series

Jan Komenda , Sébastien Lahaye , Jean-Louis Boimond
IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), Jun 2009, Bari, Italy
Communication dans un congrès hal-00858959v1

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

Aiwen Lai , Sébastien Lahaye , Alessandro Giua
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1061-1066, ⟨10.1109/CoDIT.2019.8820433⟩
Communication dans un congrès hal-02481667v1
Image document

Weight-deterministic max-plus automata

Sébastien Lahaye , Aiwen Lai , Jan Komenda
16th IFAC Workshop on Discrete Event Systems (WODES 2022), Sep 2022, Prague (CZ), Czech Republic. pp.291-296, ⟨10.1016/j.ifacol.2022.10.356⟩
Communication dans un congrès hal-04419187v1

On the Linearizability of Discrete Timed Event Graphs with Multipliers using (Min,+) Algebra

Samir Hamaci , Jean-Louis Boimond , Sébastien Lahaye , M. Mostefaoui
WODES'2004, Workshop On Discrete Event Systems, Sep 2004, Reims, France. pp.367-372
Communication dans un congrès hal-00861478v1

On Steady State of Continuous Min-Plus Systems

Jean-Louis Boimond , Sébastien Lahaye
Discrete Event Dynamic Systems, 2013, pp.32. ⟨10.1007/s10626-013-0175-1⟩
Article dans une revue hal-00875074v1
Image document

Commande en juste-à-temps sous contraintes de systèmes (max,+)-linéaires

Laurent Houssin , Sébastien Lahaye , Jean-Louis Boimond
Modélisation des Systèmes Réactifs, Oct 2005, France. pp.335-350
Communication dans un congrès hal-00367283v1

Le produit synchrone des automates (max,+)

Jan Komenda , Sébastien Lahaye , Jean-Louis Boimond
Journal Européen des Systèmes Automatisés (JESA), 2009, 43 (7-9), pp.1033-1047
Article dans une revue hal-00858688v1

Control of (max,+) automata : logical and timing aspects

Jan Komenda , Jean-Louis Boimond , Sébastien Lahaye
Worksop On Discrete Event Systems, WODES 08, May 2008, Göteborg, Sweden. pp.55-60
Communication dans un congrès hal-00859172v1

Modélisation et commande des graphes d'événements temporisés avec multiplieur dans l'algèbre des dioïdes

Samir Hamaci , Jean-Louis Boimond , Sébastien Lahaye
2005
Autre publication scientifique hal-00860593v1

Génération de tables d'horaires à l'aide de la théorie des dioïdes

Laurent Houssin , Sébastien Lahaye , Jean-Louis Boimond
2005
Autre publication scientifique hal-00860602v1

Robust Optimal Control of Linear-Type Dynamic Systems with Random Delays

Vadim Azhmyakov , Erik I. Verriest , Luz Adriana Guzman Trujillo , Sébastien Lahaye , Nicolas Delanoue
9th IFAC Symposium on Robust Control Design ROCOND 2018, Sep 2018, Florianópolis, Brazil. pp.18-23, ⟨10.1016/j.ifacol.2018.11.075⟩
Communication dans un congrès hal-02481677v1

LiveCode+

Bérangère Daviaud , Sébastien Lahaye , Mehdi Lhommeau , Mathieu Delalle
Modélisation des Systèmes Réactifs (MSR'21), Nov 2021, Paris, France
Poster de conférence hal-04011413v1

Application of the Projected Dynamics to Hybrid Systems and to the Sliding Mode Control Processes

Vadim Azhmyakov , Moises Bonilla , Sébastien Lahaye , Nicolas Delanoue , Luz Adriana Guzman Trujillo
15th IFAC European Workshop on Advanced Control and Diagnosis (ACD 2019), Nov 2019, Bologne, Italy
Communication dans un congrès hal-02481656v1
Image document

Modeling of Time-Varying (max,+) systems by means of Weighted Timed Event Graphs

Bertrand Cottenceau , Sébastien Lahaye , Laurent Hardouin
12th IFAC-IEEE International Workshop on Discrete Event Systems, Jul 2014, Cachan, France
Communication dans un congrès hal-02535602v1

Modelling and Control of Hybrid Timed Event Graphs with Multipliers using (Min,+) Algebra

Samir Hamaci , Jean-Louis Boimond , Sébastien Lahaye
Discrete Event Dynamic Systems, 2006
Article dans une revue hal-01708177v1

Control of (Max,+)-linear Systems Minimizing Delays

Laurent Houssin , Sébastien Lahaye , Jean-Louis Boimond
Discrete Event Dynamic Systems, 2013, 23 (3), pp. 261-276
Article dans une revue hal-00846201v1
Image document

Analysis of Periodic Discrete Event Systems in (Max,+) Algebra

Sébastien Lahaye , Jean-Louis Boimond , Laurent Hardouin
WODES'2000, Workshop on Discrete Event Systems, Aug 2000, Ghent, Belgium. pp.93-102
Communication dans un congrès hal-00845026v1

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

Rabah Boukra , Sébastien Lahaye , Jean-Louis Boimond
Discrete Event Dynamic Systems : Theory and Applicatioins, 2013, pp.30. ⟨10.1007/s10626-013-0178-y⟩
Article dans une revue hal-00967973v1

Modeling and Control of Hybrid Timed Event Graphs with Multipliers using (Min,+) Algebra

Samir Hamaci , Jean-Louis Boimond , Sébastien Lahaye
Discrete Event Dynamic Systems, 2006, 16 (2), pp.241-256
Article dans une revue hal-00859956v1

PERFORMANCE EVALUATION OF DISCRETE EVENT SYSTEMS THANKS TO NEW REPRESENTATIONS FOR (MAX,+) AUTOMATA

Rabah Boukra , Sébastien Lahaye , Jean-Louis Boimond
9th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Jul 2012, Rome, Italy. pp.x-x
Communication dans un congrès hal-00846575v1

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, Oct 2012, Guadalajara, Mexico. pp.x-x
Communication dans un congrès hal-00846350v1

Models Combination in (Max,+) Algebra for the Implementation of a Simulation and Analysis Software

Sébastien Lahaye , Laurent Hardouin , Jean-Louis Boimond
1st IFAC Symposium on System Structure and Control, Workshop on (max,+) algebras, Aug 2001, Prague, Czech Republic. pp.133-139
Communication dans un congrès hal-00845423v1
Image document

State estimation of max-plus automata with unobservable events

Aiwen Lai , Sébastien Lahaye , Alessandro Giua
Automatica, 2019, 105, pp.36-42. ⟨10.1016/j.automatica.2019.03.003⟩
Article dans une revue hal-02481619v1