Počet záznamů: 1

Synchronous composition of interval weighted automata

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

    Interval weighted automata are introduces as automata with weights in a product dioid (idempotent semiring). They constitute an extension of (max,+) automata since they enable us to model temporal constraints (instead of exact durations) for transitions. Their synchronous composition, which coincides with the synchronous product of underlying (one clock) timed automata, results in multi-event interval weighted automata, whose behaviors are studied.
    Trvalý link: http://hdl.handle.net/11104/0188849
    Název souboruStaženoVelikostKomentářVerzePřístup
    Komenda2.pdf1213.6 KBAutorský preprintvyžádat