Number of the records: 1
Le produit synchrone des automates (max,+)
- 1.
SYSNO ASEP 0330875 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Le produit synchrone des automates (max,+) Title Synchronous product of **(max,+) **automataSynchronizovaný součin (max,+) automatu Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Source Title Modélisation des systèmes réactifs : MSR 2009. - Paris : Lavoisier, 2009 / Roux Olivier H. ; Lime Didier - ISBN 2-7462-2601-4 Pages s. 1033-1047 Number of pages 15 s. Action 7ième Colloque Francophone sur la Modélisation des Systèmes Event date 16.11.2009-18.11.2009 VEvent location Nantes Country FR - France Event type WRD Language fre - French Country FR - France Keywords (max,+) automata ; synchronous product ; parallelism Subject RIV BA - General Mathematics CEZ AV0Z10190503 - MU-W (2005-2011) Annotation 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. Description in English 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2010
Number of the records: 1