Výsledky vyhledávání
- 1.0444400 - MÚ 2016 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Modeling of timed Petri nets using deterministic (max,+) automata.
Proceedings of the 12th International Workshop on Discrete Event Systems. Paris: IFAC, 2014 - (Lesage, J.; Faure, J.; Cury, J.; Lennartson, B.), s. 471-476. ISBN 978-3-902823-61-8. ISSN 1474-6670.
[12th International Workshop on Discrete Event Systems (WODES 2014). Paris (FR), 14.05.2014-16.05.2014]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automate * timed Petri nets * determinization
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/65187.html
Trvalý link: http://hdl.handle.net/11104/0246941 - 2.0425558 - MÚ 2014 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GAP103/11/0517; GA ČR(CZ) GPP202/11/P028; GA MŠMT LH13012
Institucionální podpora: RVO:67985840
Klíčová slova: decentralized control * coordination control
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6736630
Trvalý link: http://hdl.handle.net/11104/0231408Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 580.9 KB Vydavatelský postprint vyžádat - 3.0422113 - MÚ 2014 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517; GA MŠMT LH13012
Institucionální podpora: RVO:67985840
Klíčová slova: coordination control * supervisory control * multilevel hierarchy
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6760889
Trvalý link: http://hdl.handle.net/11104/0228322Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 209.3 KB Autorský postprint povolen - 4.0386946 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA201/08/0383; GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event system * coordination control * nonblockingness
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58215.html
Trvalý link: http://hdl.handle.net/11104/0219396Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 3 190.8 KB Autorský postprint vyžádat - 5.0386937 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Decentralized control of product (max+)-automata using coinduction.
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. 122-127. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * decentralized control * coalgebra
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58179.html
Trvalý link: http://hdl.handle.net/11104/0216163 - 6.0386930 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max+)-automata.
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. 61-66. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * synchronous composition * asynchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58159.html
Trvalý link: http://hdl.handle.net/11104/0216166Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 257.4 KB Autorský preprint povolen - 7.0370192 - MÚ 2012 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Badouel, E. - Bouillard, A. - Darondeau, P. - Komenda, Jan
Residuation of tropical series: rationality issues.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference. New York: IEEE, 2011 - (Chong, E.; Polycarpou, M.), s. 3855-3861. 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]
Grant CEP: GA ČR GAP103/11/0517
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: (max,+) formal power series * residuation * rationality * decidability
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6160228
Trvalý link: http://hdl.handle.net/11104/0204063Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 1 356.6 KB Vydavatelský postprint vyžádat - 8.0369971 - MÚ 2012 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GAP103/11/0517; GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event system * hierarchical control * partial observation * observation consistency * local observation consistency
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6160686
Trvalý link: http://hdl.handle.net/11104/0203905Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 298.4 KB Vydavatelský postprint vyžádat - 9.0365394 - MÚ 2012 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR(CZ) GAP103/11/0517; GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event system * coordination control * supervisory control
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/49777.html
Trvalý link: http://hdl.handle.net/11104/0200644Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 189.2 KB Autorský postprint vyžádat