Výsledky vyhledávání
- 1.0564904 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Zorzenon, D. - Balun, J.
Modeling of safe timed Petri nets by two-level (max,+) automata.
IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 212-219. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: timed Petri nets * max-plus automata * modeling
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.345
Trvalý link: https://hdl.handle.net/11104/0336476Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 2 437.8 KB Vydavatelský postprint povolen - 2.0462468 - ÚTIA 2017 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Casas-Carrillo, R. - Begovich, O. - Ruiz-León, J. - Čelikovský, Sergej
Adaptive Fault Diagnoser based on PSO Algorithm for a class of Timed Continuous Petri Nets.
Proceedings of 2016 IEEE 21th Conference on Emerging Technologies & Factory Automation (ETFA). Berlin: IEEE, 2016, s. 1-7. IEEE catalog number: CFP16ETF-ART. ISBN 978-1-5090-1314-2.
[The 2016 IEEE 21th Conference on Emerging Technologies & Factory Automation (ETFA). Berlin (DE), 06.09.2016-09.09.2016]
Grant CEP: GA ČR GA13-20433S
Institucionální podpora: RVO:67985556
Klíčová slova: Fault detection * Timed Petri Nets
Kód oboru RIV: BC - Teorie a systémy řízení
http://www.ieeeexplore.ws/document/7733587/
Trvalý link: http://hdl.handle.net/11104/0261934 - 3.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 - 4.0444400 - MÚ 2016 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Modeling of timed Petri nets using deterministic (max,+) automata.
Proceedings of the 12th International Workshop on Discrete Event Systems. Paris: IFAC, 2014 - (Lesage, J.; Faure, J.; Cury, J.; Lennartson, B.), s. 471-476. ISBN 978-3-902823-61-8. ISSN 1474-6670.
[12th International Workshop on Discrete Event Systems (WODES 2014). Paris (FR), 14.05.2014-16.05.2014]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automate * timed Petri nets * determinization
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/65187.html
Trvalý link: http://hdl.handle.net/11104/0246941 - 5.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