Výsledky vyhledávání
- 1.0480320 - MÚ 2018 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Špaček, P.
Analysis of cycle time in interval P-time event graphs in dioid algebras.
IFAC-PapersOnLine. Vol. 50. Amsterdam: Elsevier, 2017 - (Dochain, D.; Henrion, D.; Peaucelle, D.), s. 13461-13467. E-ISSN 2405-8963.
[20th IFAC World Congress. Toulouse (FR), 09.07.2017-14.07.2017]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: dioid algebra * time Petri nets * residuation theory
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://www.sciencedirect.com/science/article/pii/S2405896317331294
Trvalý link: http://hdl.handle.net/11104/0276129Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 450.3 KB Vydavatelský postprint vyžádat - 2.0480311 - MÚ 2018 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lin, F. - van Schuppen, J. H.
Language equations for maximal decomposition in coordination control.
IFAC-PapersOnLine. Vol. 50. Amsterdam: Elsevier, 2017 - (Dochain, D.; Henrion, D.; Peaucelle, D.), s. 13441-13446. E-ISSN 2405-8963.
[20th IFAC World Congress. Toulouse (FR), 09.07.2017-14.07.2017]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: languages * convergence * automata * supervisory control
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://www.sciencedirect.com/science/article/pii/S2405896317331142
Trvalý link: http://hdl.handle.net/11104/0276125Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 369.6 KB Vydavatelský postprint vyžádat - 3.0480297 - MÚ 2018 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L. - van den Boom, T.
Max-plus algebra and discrete-event systems.
IFAC-PapersOnLine. Vol. 50. Amsterdam: Elsevier, 2017 - (Dochain, D.; Henrion, D.; Peaucelle, D.), s. 1784-1790. E-ISSN 2405-8963.
[20th IFAC World Congress. Toulouse (FR), 09.07.2017-14.07.2017]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: max-plus algebra * discrete-event systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://www.sciencedirect.com/science/article/pii/S2405896317302860
Trvalý link: http://hdl.handle.net/11104/0276118Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 408 KB Vydavatelský postprint vyžádat - 4.0470380 - MÚ 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems.
IEEE 55th Conference on Decision and Control (CDC). Las Vegas: IEEE, 2016 - (Giua, A.), s. 441-446. ISBN 978-1-5090-1838-3.
[55th IEEE Conference on Decision and Control (CDC 2016). Las Vegas (US), 12.12.2016-14.12.2016]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: automata * supervisory control * discrete event systems
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/document/7798308/
Trvalý link: http://hdl.handle.net/11104/0268037Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 1 242.6 KB Vydavatelský postprint vyžádat - 5.0460366 - MÚ 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lin, F.
Modular supervisory control of networked discrete-event system.
Proceedings of the 13th International Workshop on Discrete Event Systems. Danvers: IEEE, 2016 - (Cassandras, C.; Giua, A.; Li, Z.), s. 85-90. ISBN 978-1-5090-4190-9.
[13th International Workshop on Discrete Event Systems (WODES 2016). Xi'an (CN), 30.05.2016-01.06.2016]
Grant CEP: GA ČR GA15-02532S; GA MŠMT LH13012
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * supervisory control * communication delays
Kód oboru RIV: BA - Obecná matematika
https://ieeexplore.ieee.org/document/7497830
Trvalý link: http://hdl.handle.net/11104/0260458Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 176.7 KB Vydavatelský postprint vyžádat - 6.0460358 - MÚ 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Control of an engineering-structured multilevel discrete-event system.
Proceedings of the 13th International Workshop on Discrete Event Systems. Danvers: IEEE, 2016 - (Cassandras, C.; Giua, A.; Li, Z.), s. 103-108. ISBN 978-1-5090-4190-9.
[13th International Workshop on Discrete Event Systems (WODES 2016). Xi'an (CN), 30.05.2016-01.06.2016]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * automata * manufacturing systems
Kód oboru RIV: BA - Obecná matematika
https://ieeexplore.ieee.org/document/7497833
Trvalý link: http://hdl.handle.net/11104/0260453Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 300.5 KB Vydavatelský postprint vyžádat - 7.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 - 8.0457349 - MÚ 2016 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
On a distributed computation of supervisors in modular supervisory control.
2015 IEEE International Conference on Complex Systems Engineering (ICCSE). Piscataway: IEEE, 2015 - (Pattipati, K.), s. 7385990. ISBN 978-1-4673-7177-3.
[IEEE International Conference on Complex Systems Engineering (ICCSE) 2015. Storrs (US), 09.11.2015-11.11.2015]
Grant CEP: GA MŠMT LH13012; GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * modular discrete-event systems * relaxed coordination control
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7385990
Trvalý link: http://hdl.handle.net/11104/0257745Název souboru Staženo Velikost Komentář Verze Přístup Komenda5.pdf 1 109.6 KB Vydavatelský postprint vyžádat - 9.0448457 - MÚ 2016 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Relative observability in coordination control.
IEEE International Conference on Automation Science and Engineering (CASE), 2015. Piscataway: IEEE, 2015 - (Lennartson, B.), s. 75-80. ISBN 978-1-4673-8182-6.
[IEEE International Conference on Automation Science and Engineering (CASE), 2015. Gothenburg (SE), 24.08.2015-28.08.2015]
Grant CEP: GA MŠMT LH13012; GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * coordination control * relative observability
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7294044
Trvalý link: http://hdl.handle.net/11104/0250147Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 775.3 KB Vydavatelský postprint vyžádat