Number of the records: 1
Synchronous composition of interval weighted automata
- 1.
SYSNO ASEP 0348279 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Synchronous composition of interval weighted automata Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Source Title 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. - ISBN 978-3-902661-79-1 Pages s. 328-333 Number of pages 6 s. Action 10th International Workshop on Discrete Event Systems Event date 29.08.2010-01.09.2010 VEvent location Berlin Country DE - Germany Event type WRD Language eng - English Country DE - Germany Keywords timed discrete-event systems ; product interval automata ; T-time Petri nets ; synchronous composition Subject RIV BA - General Mathematics CEZ AV0Z10190503 - MU-W (2005-2011) EID SCOPUS 80051998365 DOI 10.3182/20100830-3-DE-4013.00053 Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2011
Number of the records: 1