Search results
- 1.0480320 - MÚ 2018 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : dioid algebra * time Petri nets * residuation theory
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0276129File Download Size Commentary Version Access Komenda3.pdf 1 450.3 KB Publisher’s postprint require - 2.0480311 - MÚ 2018 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : languages * convergence * automata * supervisory control
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0276125File Download Size Commentary Version Access Komenda2.pdf 1 369.6 KB Publisher’s postprint require - 3.0480297 - MÚ 2018 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : max-plus algebra * discrete-event systems
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0276118File Download Size Commentary Version Access Komenda1.pdf 1 408 KB Publisher’s postprint require - 4.0470380 - MÚ 2017 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : automata * supervisory control * discrete event systems
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/document/7798308/
Permanent Link: http://hdl.handle.net/11104/0268037File Download Size Commentary Version Access Komenda4.pdf 1 242.6 KB Publisher’s postprint require - 5.0460366 - MÚ 2017 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S; GA MŠMT LH13012
Institutional support: RVO:67985840
Keywords : discrete-event systems * supervisory control * communication delays
Subject RIV: BA - General Mathematics
https://ieeexplore.ieee.org/document/7497830
Permanent Link: http://hdl.handle.net/11104/0260458File Download Size Commentary Version Access Komenda2.pdf 1 176.7 KB Publisher’s postprint require - 6.0460358 - MÚ 2017 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : supervisory control * automata * manufacturing systems
Subject RIV: BA - General Mathematics
https://ieeexplore.ieee.org/document/7497833
Permanent Link: http://hdl.handle.net/11104/0260453File Download Size Commentary Version Access Komenda1.pdf 1 300.5 KB Publisher’s postprint require - 7.0458232 - MÚ 2017 RIV FR fre C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : discrete-event systems * (max,+)-automata * determinization
Subject RIV: BA - General Mathematics
https://hal.inria.fr/hal-01224219
Permanent Link: http://hdl.handle.net/11104/0258528File Download Size Commentary Version Access Komenda6.pdf 1 657.8 KB Publisher’s postprint require - 8.0457349 - MÚ 2016 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA MŠMT LH13012; GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : supervisory control * modular discrete-event systems * relaxed coordination control
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7385990
Permanent Link: http://hdl.handle.net/11104/0257745File Download Size Commentary Version Access Komenda5.pdf 1 109.6 KB Publisher’s postprint require - 9.0448457 - MÚ 2016 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA MŠMT LH13012; GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : supervisory control * coordination control * relative observability
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7294044
Permanent Link: http://hdl.handle.net/11104/0250147File Download Size Commentary Version Access Komenda3.pdf 1 775.3 KB Publisher’s postprint require