Výsledky vyhledávání

  1. 1.
    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/0204063
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda.pdf1356.6 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0330864 - MÚ 2011 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
    Komenda, Jan - Lahaye, S. - Boimond, J.-L.
    Controllability of (max,+) formal power series.
    [Kontrolovatelnost (max,+) formálních mocninných řad.]
    Proceedings of IFAC DCDS'09. Bari: The International Federation of Automatic Control, 2009 - (Fanti, M.; Dotoli, M.), s. 97-102. ISBN 978-3-902661-44-9.
    [2nd IFAC Workshop on Dependable Control of Discrete Systems. Bari (IT), 10.06.2009-12.06.2009]
    Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: controllability * (max,+) automata * (max,+) formal power series * Hadamard product
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0176549
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda1.pdf1122 KBAutorský preprintvyžádat
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.