Search results
- 1.0579262 - MÚ 2024 RIV NL eng C - Conference Paper (international conference)
Komenda, Jan - Lefebvre, D.
On tick automata for distributed timed DESs with synchronisations and minimal time constraints.
IFAC-PapersOnLine. Volume 56, Issue 2 - Proceedings of 22nd IFAC World Congress. Amsterdam: Elsevier, 2023 - (Ishii, H.; Ebihara, Y.; Imura, J.; Yamakita, M.), s. 8635-8640. ISSN 2405-8971. E-ISSN 2405-8963.
[22nd IFAC World Congress. Yokohama (JP), 09.07.2023-14.07.2023]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : timed discrete event systems * distributed discrete event system * stick automata
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2023.10.039
Permanent Link: https://hdl.handle.net/11104/0348110File Download Size Commentary Version Access Komenda3.pdf 2 804.3 KB Publisher’s postprint open-access - 2.0578399 - MÚ 2024 RIV US eng C - Conference Paper (international conference)
Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
Verification of detectability for unambiguous weighted automata using self-composition.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
OECD category: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Permanent Link: https://hdl.handle.net/11104/0347401File Download Size Commentary Version Access Komenda.pdf 0 465.3 KB Publisher’s postprint require - 3.0537773 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš
Conditions for hierarchical supervisory control under partial observation.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 303-308. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : discrete-event system * hierarchical supervisory control * normality * relative observability
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.029
Permanent Link: http://hdl.handle.net/11104/0315612File Download Size Commentary Version Access Komenda2.pdf 2 366.8 KB Publisher’s postprint open-access - 4.0386946 - MÚ 2013 RIV MX eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
On algorithms and extensions of coordination control of discrete-event systems.
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. 245-250. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
R&D Projects: GA ČR GA201/08/0383; GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : discrete-event system * coordination control * nonblockingness
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/58215.html
Permanent Link: http://hdl.handle.net/11104/0219396File Download Size Commentary Version Access Komenda2.pdf 3 190.8 KB Author’s postprint require - 5.0383610 - MÚ 2013 RIV NL eng J - Journal Article
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
On conditional decomposability.
Systems and Control Letters. Roč. 61, č. 12 (2012), s. 1260-1268. ISSN 0167-6911. E-ISSN 1872-7956
R&D Projects: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : discrete-event system * coordination control * conditional decomposability
Subject RIV: BA - General Mathematics
Impact factor: 1.667, year: 2012
http://www.sciencedirect.com/science/article/pii/S0167691112001612
Permanent Link: http://hdl.handle.net/11104/0213494File Download Size Commentary Version Access Komenda.pdf 11 290.2 KB Publisher’s postprint require - 6.0369971 - MÚ 2012 RIV US eng C - Conference Paper (international conference)
Boutin, O. - Komenda, Jan - Masopust, Tomáš - Schmidt, K. - van Schuppen, J. H.
Hierarchical control with partial observations : sufficient conditions.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference. New York: IEEE, 2011 - (Chong, E.; Polycarpou, M.), s. 1817-1822. ISBN 978-1-4673-0457-3.
[50th IEEE Conference on Decision and Control and European Control Conference. Orlando (US), 12.12.2011-15.12.2011]
R&D Projects: GA ČR(CZ) GAP103/11/0517; GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event system * hierarchical control * partial observation * observation consistency * local observation consistency
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6160686
Permanent Link: http://hdl.handle.net/11104/0203905File Download Size Commentary Version Access Komenda1.pdf 1 298.4 KB Publisher’s postprint require - 7.0365394 - MÚ 2012 RIV IT eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Coordinated control of discrete event systems with nonprefix-closed languages.
Proceedings of the 18th IFAC World Congres, 2011. Milano: IFAC, 2011 - (Bittanti, S.; Cenedese, A.; Zampieri, S.), s. 6982-6987. ISBN 978-3-902661-93-7.
[18th IFAC World Congress. Milano (IT), 28.08.2011-02.09.2011]
R&D Projects: GA ČR(CZ) GAP103/11/0517; GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event system * coordination control * supervisory control
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/49777.html
Permanent Link: http://hdl.handle.net/11104/0200644File Download Size Commentary Version Access Komenda3.pdf 2 189.2 KB Author’s postprint require - 8.0360187 - MÚ 2012 RIV NL eng J - Journal Article
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.
Systems and Control Letters. Roč. 60, č. 7 (2011), s. 492-502. ISSN 0167-6911. E-ISSN 1872-7956
R&D Projects: GA ČR(CZ) GAP103/11/0517; GA ČR(CZ) GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event system * coordination control * coordinator
Subject RIV: BA - General Mathematics
Impact factor: 1.222, year: 2011
http://www.sciencedirect.com/science/article/pii/S0167691111000739
Permanent Link: http://hdl.handle.net/11104/0197802File Download Size Commentary Version Access Komenda4.pdf 9 329.5 KB Publisher’s postprint require - 9.0089065 - MÚ 2008 RIV NL eng J - Journal Article
Komenda, Jan - van Schuppen, J. H.
Control of discrete-event systems with modular or distributed structure.
[Řízení diskrétních událostních systémů s modulární a distribuovanou strukturou otáček.]
Theoretical Computer Science. Roč. 388, č. 3 (2007), s. 199-226. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA AV ČR(CZ) KJB100190609
Institutional research plan: CEZ:AV0Z10190503
Keywords : supervisory control * modular discrete-event system * distributed discrete-event system
Subject RIV: BA - General Mathematics
Impact factor: 0.735, year: 2007
Permanent Link: http://hdl.handle.net/11104/0150406File Download Size Commentary Version Access Komenda.pdf 1 540.5 KB Publisher’s postprint require