Výsledky vyhledávání
- 1.0586690 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Daviaud, B. - Lahaye, S. - Lhommeau, M. - Komenda, Jan
On the existence of simulations for max-plus automata.
IEEE Control Systems Letters. Roč. 8 (2024), s. 694-699. ISSN 2475-1456
Institucionální podpora: RVO:67985840
Klíčová slova: algebraic methods * automata * discrete event systems
Obor OECD: Automation and control systems
Impakt faktor: 3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/LCSYS.2024.3401415
Trvalý link: https://hdl.handle.net/11104/0354122Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 0 549.8 KB Vydavatelský postprint vyžádat - 2.0562936 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Lai, A. - Komenda, Jan - Lahaye, S.
Diagnosability of unambiguous max-plus automata.
IEEE Transactions on Systems Man Cybernetics-Systems. Roč. 52, č. 11 (2022), s. 7302-7311. ISSN 2168-2216. E-ISSN 2168-2232
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: fault diagnosis * discrete-event systems * max-plus automata
Obor OECD: Automation and control systems
Impakt faktor: 8.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TSMC.2022.3176045
Trvalý link: https://hdl.handle.net/11104/0335089Název souboru Staženo Velikost Komentář Verze Přístup Komenda6.pdf 4 978.2 KB Vydavatelský postprint vyžádat - 3.0554644 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Lai, A. - Lahaye, S. - Komenda, Jan
Observer construction for polynomially ambiguous max-plus automata.
IEEE Transactions on Automatic Control. Roč. 67, č. 3 (2022), s. 1582-1588. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: critical observability * discrete event systems * observer * polynomially ambiguous max-plus automata
Obor OECD: Automation and control systems
Impakt faktor: 6.8, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1109/TAC.2021.3069899
Trvalý link: http://hdl.handle.net/11104/0329342Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 4 523.6 KB Vydavatelský postprint vyžádat - 4.0540650 - MÚ 2022 RIV GB eng J - Článek v odborném periodiku
Špaček, P. - Komenda, Jan - Lahaye, S.
Analysis of P-time event graphs in (max,+) and (min,+) semirings.
International Journal of Systems Science. Roč. 52, č. 4 (2021), s. 694-709. ISSN 0020-7721. E-ISSN 1464-5319
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: P-time event graphs * residuation theory * cycle time
Obor OECD: Automation and control systems
Impakt faktor: 2.648, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1080/00207721.2020.1837992
Trvalý link: http://hdl.handle.net/11104/0318270Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 1.3 MB Vydavatelský postprint vyžádat - 5.0522961 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Lahaye, S. - Lai, A. - Komenda, Jan - Boimond, J.-L.
A contribution to the determinization of max-plus automata.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 30, č. 1 (2020), s. 155-174. ISSN 0924-6703. E-ISSN 1573-7594
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: max-plus automata * determinization * simulation relation
Obor OECD: Automation and control systems
Impakt faktor: 0.976, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10626-019-00309-6
Trvalý link: http://hdl.handle.net/11104/0307373Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 3 1.5 MB Vydavatelský postprint vyžádat - 6.0490540 - MÚ 2019 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - Lahaye, S. - Boimond, J.-L. - van den Boom, T.
Max-plus algebra in the history of discrete event systems.
Annual Reviews in Control. Roč. 45, č. 1 (2018), s. 240-249. ISSN 1367-5788. E-ISSN 1872-9088
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: Max-Plus Algebra * Discrete-Event Systems
Obor OECD: Automation and control systems
Impakt faktor: 4.759, rok: 2018
https://www.sciencedirect.com/science/article/pii/S1367578818300129?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0284737Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 1 824.1 KB Vydavatelský postprint vyžádat - 7.0460479 - MÚ 2017 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Determinization of timed Petri nets behaviors.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 26, č. 3 (2016), s. 413-437. ISSN 0924-6703. E-ISSN 1573-7594
Grant CEP: GA MŠMT LH13012; GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: timed Petri nets * (max,+) automata * determinization
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.660, rok: 2016
http://link.springer.com/article/10.1007%2Fs10626-015-0214-1
Trvalý link: http://hdl.handle.net/11104/0260547Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 1.1 MB Vydavatelský postprint vyžádat - 8.0450641 - MÚ 2016 RIV GB eng J - Článek v odborném periodiku
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Supervisory control of (max,+) automata: extensions towards applications.
International Journal of Control. Roč. 88, č. 12 (2015), s. 2523-2537. ISSN 0020-7179. E-ISSN 1366-5820
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * logical and timed behaviors * (max,+) automata * supervisory control
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.880, rok: 2015
http://www.tandfonline.com/doi/full/10.1080/00207179.2015.1048295
Trvalý link: http://hdl.handle.net/11104/0251999Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 2 485.8 KB Vydavatelský postprint vyžádat - 9.0443129 - MÚ 2016 RIV US eng J - Článek v odborném periodiku
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max, +) automata.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 25, 1-2 (2015), s. 323-344. ISSN 0924-6703. E-ISSN 1573-7594
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * synchronous product * asynchronous product
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.268, rok: 2015
http://link.springer.com/article/10.1007/s10626-014-0186-6
Trvalý link: http://hdl.handle.net/11104/0245884Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 2 1.3 MB Vydavatelský postprint vyžádat - 10.0422087 - MÚ 2014 RIV FR fre J - Článek v odborném periodiku
Boimond, J.-L. - Komenda, Jan - Lahaye, S.
Séquentialisation du comportement des réseaux de Petri temporisés.
[Sequentialization of timed Petri net behaviours.]
Journal Européen des Systèmes Automatisés. Roč. 47, 1-3 (2013), s. 139-154. ISSN 1269-6935.
[Modélisation des Systèmes Réactifs (MSR) 2013. Rennes, 13.11.2013-15.11.2013]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: timed Petri nets * (max,+) automata * race policy
Kód oboru RIV: BA - Obecná matematika
http://jesa.revuesonline.com/article.jsp?articleId=18769
Trvalý link: http://hdl.handle.net/11104/0228302Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 2 505.9 KB Vydavatelský postprint vyžádat