Search results
- 1.0425558 - MÚ 2014 RIV US eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš
A bridge between decentralized and coordination control.
Annual Allerton Conference on Communication, Control, and Computing (Allerton), 2013 /51./. Piscataway: IEEE, 2013 - (Basar, T.; Milenkovic, O.), s. 966-972. ISBN 978-1-4799-3409-6.
[Annual Allerton Conference on Communication, Control, and Computing. Monticello (US), 02.10.2013-03.10.2013]
R&D Projects: GA ČR(CZ) GAP103/11/0517; GA ČR(CZ) GPP202/11/P028; GA MŠMT LH13012
Institutional support: RVO:67985840
Keywords : decentralized control * coordination control
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6736630
Permanent Link: http://hdl.handle.net/11104/0231408File Download Size Commentary Version Access Komenda2.pdf 1 580.9 KB Publisher’s postprint require - 2.0422113 - MÚ 2014 RIV US eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Multilevel Coordination Control of Modular DES.
Proceedings 52nd IEEE Conference on Decision and Control. Piscataway: IEEE, 2013 - (Parisini, T.; Tempo, R.), s. 6323-6328. ISBN 978-1-4673-5716-6.
[IEEE Conference on Decision and Control /52./. Florence (IT), 10.12.2013-13.12.2013]
R&D Projects: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517; GA MŠMT LH13012
Institutional support: RVO:67985840
Keywords : coordination control * supervisory control * multilevel hierarchy
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6760889
Permanent Link: http://hdl.handle.net/11104/0228322File Download Size Commentary Version Access Komenda1.pdf 1 209.3 KB Author’s postprint open-access - 3.0394009 - MÚ 2014 RIV DE eng C - Conference Paper (international conference)
Jirásková, G. - Masopust, Tomáš
On the state complexity of the reverse of R- and J-trivial regular languages.
Descriptional Complexity of Formal Systems 2013. Berlin: Springer, 2013 - (Jürgensen, H.; Reis, R.), s. 136-147. Lecture Notes in Computer Science, 8031. ISBN 978-3-642-39309-9.
[DCFS 2013. International Workshop on Descriptional Complexity of Formal Systems /15./. London (CA), 22.07.2013-25.07.2013]
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional support: RVO:67985840
Keywords : state complexity * reverse * subregular languages
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007/978-3-642-39310-5_14
Permanent Link: http://hdl.handle.net/11104/0222338File Download Size Commentary Version Access Masopust1.pdf 2 228.7 KB Publisher’s postprint require - 4.0381247 - MÚ 2013 RIV DE eng C - Conference Paper (international conference)
Jirásková, G. - Masopust, Tomáš
On properties and state complexity of deterministic state-partition automata.
Theoretical Computer Science. Berlin: Springer, 2012 - (Baeten, J.; Ball, T.; de Boer, F.), s. 164-178. Lecture Notes in Computer Science, 7604. ISBN 978-3-642-33474-0. ISSN 0302-9743.
[TCS 2012. IFIP TC 1/WG 2.2 International Conference /7./. Amsterdam (NL), 26.09.2012-28.09.2012]
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional support: RVO:67985840
Keywords : deterministic finite automata * state partitioning * state complexity
Subject RIV: BA - General Mathematics
http://www.springerlink.com/content/tj427412271tm60w/
Permanent Link: http://hdl.handle.net/11104/0211764File Download Size Commentary Version Access Masopust3.pdf 1 323.7 KB Publisher’s postprint require - 5.0379774 - MÚ 2013 RIV DE eng C - Conference Paper (international conference)
Jirásková, G. - Masopust, Tomáš
On the state and computational complexity of the reverse of acyclic minimal DFAs.
Implementation and Application of Automata. Berlin: Springer, 2012 - (Moreira, N.; Reis, R.), s. 229-239. Lecture Notes in Computer Science, 7381. ISBN 978-3-642-31605-0.
[International Conference on Implementation and Application of Automata. /17/. Porto (PT), 17.07.2012-20.07.2012]
R&D Projects: GA ČR(CZ) GPP202/11/P028
Institutional support: RVO:67985840
Keywords : deterministic automata * reverse * complexity
Subject RIV: BA - General Mathematics
http://link.springer.com/chapter/10.1007/978-3-642-31606-7_20
Permanent Link: http://hdl.handle.net/11104/0210654File Download Size Commentary Version Access Masopust.pdf 0 237.3 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.0362730 - MÚ 2012 RIV DE eng C - Conference Paper (international conference)
Jirásková, G. - Masopust, Tomáš
State complexity of projected languages.
Descriptional Complexity of Formal Systems. Berlin: Springer, 2011 - (Holzer, M.; Kutrib, M.; Pighizzini, G.), s. 198-211. Lecture Notes in Computer Science, 6808. ISBN 978-3-642-22599-4.
[13th International workshop, DCFS 2011. Giessen/Limburg (DE), 25.07.2011-27.07.2011]
R&D Projects: GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : descriptional complexity * state complexity * projection
Subject RIV: BA - General Mathematics
http://www.springerlink.com/content/h221760735tt7676/
Permanent Link: http://hdl.handle.net/11104/0198970File Download Size Commentary Version Access Masopust1.pdf 1 284.7 KB Publisher’s postprint require