Search results
- 1.0443131 - MÚ 2016 RIV US eng J - Journal Article
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Coordination control of discrete-event systems revisited.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 25, 1-2 (2015), s. 65-94. ISSN 0924-6703. E-ISSN 1573-7594
R&D Projects: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : coordination control * supervisory control
Subject RIV: BA - General Mathematics
Impact factor: 1.268, year: 2015
http://link.springer.com/article/10.1007%2Fs10626-013-0179-x
Permanent Link: http://hdl.handle.net/11104/0245872File Download Size Commentary Version Access Komenda1.pdf 2 1.4 MB Publisher’s postprint require - 2.0394000 - MÚ 2014 RIV SG eng J - Journal Article
Masopust, Tomáš
A note on limited pushdown alphabets in stateless deterministic pushdown automata.
International Journal of Foundations of Computer Science. Roč. 24, č. 3 (2013), s. 319-328. ISSN 0129-0541. E-ISSN 1793-6373
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional support: RVO:67985840
Keywords : deterministic pushdown automata * stateless pushdown automata * realtime pushdown automata
Subject RIV: BA - General Mathematics
Impact factor: 0.326, year: 2013
http://www.worldscientific.com/doi/abs/10.1142/S0129054113500068
Permanent Link: http://hdl.handle.net/11104/0222328File Download Size Commentary Version Access Masopust3.pdf 1 554.8 KB Publisher’s postprint require - 3.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 - 4.0378943 - MÚ 2013 RIV NL eng J - Journal Article
Masopust, Tomáš
A note on controllability of deterministic context-free systems.
Automatica. Roč. 48, č. 8 (2012), s. 1934-1937. ISSN 0005-1098. E-ISSN 1873-2836
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional support: RVO:67985840
Keywords : discrete-event systems * controllability * deterministic context-free systems
Subject RIV: BA - General Mathematics
Impact factor: 2.919, year: 2012
http://www.sciencedirect.com/science/article/pii/S0005109812002543
Permanent Link: http://hdl.handle.net/11104/0210250File Download Size Commentary Version Access Masopust4.pdf 1 210.1 KB Publisher’s postprint require - 5.0377957 - MÚ 2013 RIV NL eng J - Journal Article
Jirásková, G. - Masopust, Tomáš
On a structural property in the state complexity of projected regular languages.
Theoretical Computer Science. Roč. 449, Aug 31 (2012), s. 93-105. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional research plan: CEZ:AV0Z10190503
Institutional support: RVO:67985840
Keywords : projections * state complexity * descriptional complexity
Subject RIV: BA - General Mathematics
Impact factor: 0.489, year: 2012
http://www.sciencedirect.com/science/article/pii/S0304397512003532
Permanent Link: http://hdl.handle.net/11104/0209965File Download Size Commentary Version Access Masopust2.pdf 1 1.1 MB Publisher’s postprint require - 6.0376656 - MÚ 2013 RIV NL eng J - Journal Article
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Supervisory control synthesis of discrete-event systems using a coordination scheme.
Automatica. Roč. 48, č. 2 (2012), s. 247-254. ISSN 0005-1098. E-ISSN 1873-2836
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 systems * supervisory control * distributed control * closed-loop systems * controllability
Subject RIV: BA - General Mathematics
Impact factor: 2.919, year: 2012
http://www.sciencedirect.com/science/article/pii/S0005109811005395
Permanent Link: http://hdl.handle.net/11104/0209003File Download Size Commentary Version Access Komenda1.pdf 6 424.9 KB Publisher’s postprint require - 7.0374110 - MÚ 2012 RIV NL eng J - Journal Article
Erzsébet, C.-V. - Masopust, Tomáš - György, V.
Blackhole pushdown automata.
Fundamenta Informaticae. Roč. 112, 2-3 (2011), s. 137-156. ISSN 0169-2968. E-ISSN 1875-8681
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional research plan: CEZ:AV0Z10190503
Keywords : pushdown automaton * regulation * computational power
Subject RIV: BA - General Mathematics
Impact factor: 0.365, year: 2011
http://iospress.metapress.com/content/7287251565r82285/
Permanent Link: http://hdl.handle.net/11104/0207110File Download Size Commentary Version Access Masopust3.pdf 1 156.6 KB Publisher’s postprint require - 8.0372927 - MÚ 2012 RIV HU eng J - Journal Article
Křivka, Z. - Masopust, Tomáš
Cooperating distributed grammar systems with random context grammars as components.
Acta Cybernetica. Roč. 20, č. 2 (2011), s. 269-283. ISSN 0324-721X
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional research plan: CEZ:AV0Z10190503
Keywords : cooperating distributed grammar system * random context grammar * left-random context grammar
Subject RIV: BA - General Mathematics
http://www.inf.u-szeged.hu/actacybernetica/edb/vol20n2/Krivka_2011_ActaCybernetica.xml
Permanent Link: http://hdl.handle.net/11104/0206128File Download Size Commentary Version Access Masopust2.pdf 2 81 KB Publisher’s postprint require - 9.0369974 - MÚ 2012 RIV GB eng J - Journal Article
van Schuppen, J. H. - Boutin, O. - Kempker, P.L. - Komenda, Jan - Masopust, Tomáš - Pambakian, N. - Ran, A.C.M.
Control of distributed systems : tutorial and overview.
European Journal of Control. Roč. 17, 5-6 (2011), s. 579-602. ISSN 0947-3580. E-ISSN 1435-5671
R&D Projects: GA ČR(CZ) GAP103/11/0517; GA ČR(CZ) GPP202/11/P028
Institutional research plan: CEZ:AV0Z10190503
Keywords : distributed system * coordination control * hierarchical control * distributed control * distributed control with communication
Subject RIV: BA - General Mathematics
Impact factor: 0.817, year: 2011
http://ejc.revuesonline.com/article.jsp?articleId=16873
Permanent Link: http://hdl.handle.net/11104/0203906File Download Size Commentary Version Access Komenda5.pdf 1 276.3 KB Author´s preprint require - 10.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