Počet záznamů: 1

Le produit synchrone des automates (max,+)

  1. 1.
    0330875 - MU-W 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

    Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained.

    Synchronous products of (max,+) automata are introduced as multi-event (max,+) automata (which correspond to a class of timed automata with several clocks) and their behavior is studied. A formula for the behavior of synchronous product is obtained.

    Synchronizovaný součin (max,+) automatu definujeme jako multi-událostní (max,+) automaty (odpovídají třídě časovaných automatů s několika stopky) a studujeme jejich chování, pro které odvodíme vzorec.
    Trvalý link: http://hdl.handle.net/11104/0176557
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf2245.2 KBVydavatelský postprintvyžádat