Výsledky vyhledávání
- 1.0491959 - MÚ 2019 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
(Max,+)-automata with partial observations.
IFAC-PapersOnLine. Vol. 51, Issue 7. Amsterdam: Elsevier, 2018 - (De Tommasi, G.), s. 192-197. ISSN 2405-8963.
[14th Workshop on Discrete Event Systems (WODES 2018). Sorrento Coast (IT), 29.05.2018-01.06.2018]
Institucionální podpora: RVO:67985840
Klíčová slova: (Max,+)-automata * partial observations * weak bisimulation
Obor OECD: Automation and control systems
https://www.sciencedirect.com/science/article/pii/S240589631830630X?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0285545Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 391.8 KB Vydavatelský postprint vyžádat - 2.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 - 3.0458232 - MÚ 2017 RIV FR fre C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Amélioration de la procédure de déterminisation des automates (max,+).
[Improvement of the determinization procedure of (max,+)-automata.]
10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015). Nancy: Inria, 2015 - (Merz, S.), s. 1-15
[10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015). Nancy (FR), 18.11.2015-20.11.2015]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * (max,+)-automata * determinization
Kód oboru RIV: BA - Obecná matematika
https://hal.inria.fr/hal-01224219
Trvalý link: http://hdl.handle.net/11104/0258528Název souboru Staženo Velikost Komentář Verze Přístup Komenda6.pdf 1 657.8 KB Vydavatelský postprint vyžádat - 4.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 - 5.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 - 6.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 - 7.0386937 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Decentralized control of product (max+)-automata using coinduction.
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012 - (Ramírez-Treviño, A.; López-Mellado, E.; Lesage, J.), s. 122-127. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * decentralized control * coalgebra
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58179.html
Trvalý link: http://hdl.handle.net/11104/0216163 - 8.0386930 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max+)-automata.
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012 - (Ramírez-Treviño, A.; López-Mellado, E.; Lesage, J.), s. 61-66. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * synchronous composition * asynchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58159.html
Trvalý link: http://hdl.handle.net/11104/0216166Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 257.4 KB Autorský preprint povolen - 9.0330875 - MÚ 2010 RIV FR fre C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Le produit synchrone des automates (max,+).
[Synchronous product of **(max,+) **automata.]
Modélisation des systèmes réactifs : MSR 2009. Paris: Lavoisier, 2009 - (Roux, O.; Lime, D.), s. 1033-1047. ISBN 2-7462-2601-4.
[7ième Colloque Francophone sur la Modélisation des Systèmes. Nantes (FR), 16.11.2009-18.11.2009]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: (max,+) automata * synchronous product * parallelism
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0176557Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 245.2 KB Vydavatelský postprint vyžádat - 10.0330864 - MÚ 2011 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Controllability of (max,+) formal power series.
[Kontrolovatelnost (max,+) formálních mocninných řad.]
Proceedings of IFAC DCDS'09. Bari: The International Federation of Automatic Control, 2009 - (Fanti, M.; Dotoli, M.), s. 97-102. ISBN 978-3-902661-44-9.
[2nd IFAC Workshop on Dependable Control of Discrete Systems. Bari (IT), 10.06.2009-12.06.2009]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: controllability * (max,+) automata * (max,+) formal power series * Hadamard product
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0176549Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 122 KB Autorský preprint vyžádat