Search results
- 1.0490540 - MÚ 2019 RIV US eng J - Journal Article
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
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : Max-Plus Algebra * Discrete-Event Systems
OECD category: Automation and control systems
Impact factor: 4.759, year: 2018
https://www.sciencedirect.com/science/article/pii/S1367578818300129?via%3Dihub
Permanent Link: http://hdl.handle.net/11104/0284737File Download Size Commentary Version Access Komenda.pdf 1 824.1 KB Publisher’s postprint require - 2.0480052 - MÚ 2018 RIV US eng J - Journal Article
Komenda, Jan - Masopust, Tomáš
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 27, č. 4 (2017), s. 585-608. ISSN 0924-6703. E-ISSN 1573-7594
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : coobservability * separability * communication
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 1.444, year: 2017
https://link.springer.com/article/10.1007%2Fs10626-017-0249-6
Permanent Link: http://hdl.handle.net/11104/0275970File Download Size Commentary Version Access Komenda.pdf 3 886.7 KB Publisher’s postprint require - 3.0460479 - MÚ 2017 RIV US eng J - Journal Article
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
R&D Projects: GA MŠMT LH13012; GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : timed Petri nets * (max,+) automata * determinization
Subject RIV: BA - General Mathematics
Impact factor: 1.660, year: 2016
http://link.springer.com/article/10.1007%2Fs10626-015-0214-1
Permanent Link: http://hdl.handle.net/11104/0260547File Download Size Commentary Version Access Komenda3.pdf 2 1.1 MB Publisher’s postprint require - 4.0453022 - MÚ 2016 RIV GB eng J - Journal Article
Komenda, Jan - Masopust, Tomáš
Distributed computation of supremal conditionally-controllable sublanguages.
International Journal of Control. Roč. 89, č. 2 (2016), s. 424-436. ISSN 0020-7179. E-ISSN 1366-5820
R&D Projects: GA ČR GA15-02532S; GA MŠMT LH13012
Institutional support: RVO:67985840
Keywords : discrete-event systems * supervisory control * coordination control
Subject RIV: BA - General Mathematics
Impact factor: 2.208, year: 2016
http://www.tandfonline.com/doi/full/10.1080/00207179.2015.1079736
Permanent Link: http://hdl.handle.net/11104/0253899File Download Size Commentary Version Access Komenda.pdf 2 1.3 MB Publisher’s postprint require