Výsledky vyhledávání
- 1.0370195 - MÚ 2012 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Špaček, P.
Application of product dioids for dead token detection in interval P-time event graphs.
Proceedings of the 18th IFAC World Congres, 2011. Milano: IFAC, 2011 - (Bittanti, S.; Cenedese, A.; Zampieri, S.), s. 6054-6059. ISBN 978-3-902661-93-7.
[18th IFAC World Congress. Milano (IT), 28.08.2011-02.09.2011]
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: interval P-time event graphs * product semirings * dead tokens
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/49473.html
Trvalý link: http://hdl.handle.net/11104/0204065Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 159.9 KB Vydavatelský postprint vyžádat - 2.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 - 3.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 - 4.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 - 5.0362730 - MÚ 2012 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GPP202/11/P028
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: descriptional complexity * state complexity * projection
Kód oboru RIV: BA - Obecná matematika
http://www.springerlink.com/content/h221760735tt7676/
Trvalý link: http://hdl.handle.net/11104/0198970Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 1 284.7 KB Vydavatelský postprint vyžádat - 6.0348279 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Synchronous composition of interval weighted automata.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 328-333. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * product interval automata * T-time Petri nets * synchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42947.html
Trvalý link: http://hdl.handle.net/11104/0188849Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 213.6 KB Autorský preprint vyžádat - 7.0348278 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 436-441. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * modular supervisory control * coordinator * conditional controllability
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42964.html
Trvalý link: http://hdl.handle.net/11104/0188848Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 156 KB Autorský preprint vyžádat - 8.0348272 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš
Supremal Normal Sublanguages in Hierarchical Supervisory Control.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 121-126. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: discrete-event systems * hierarchical supervisory control * partial observations
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42914.html
Trvalý link: http://hdl.handle.net/11104/0188844Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 2 120.9 KB Autorský preprint vyžádat - 9.0348271 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Špaček, P. - Komenda, Jan
Modeling of interval P-time Petri nets using dioid algebra.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 322-327. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * product semirings * P-time Petri nets * dead tokens
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42946.html
Trvalý link: http://hdl.handle.net/11104/0188843 - 10.0330875 - MÚ 2010 RIV FR fre C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Le produit synchrone des automates (max,+).
[Synchronous product of **(max,+) **automata.]
Modélisation des systèmes réactifs : MSR 2009. Paris: Lavoisier, 2009 - (Roux, O.; Lime, D.), s. 1033-1047. ISBN 2-7462-2601-4.
[7ième Colloque Francophone sur la Modélisation des Systèmes. Nantes (FR), 16.11.2009-18.11.2009]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: (max,+) automata * synchronous product * parallelism
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0176557Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 245.2 KB Vydavatelský postprint vyžádat