Number of the records: 1
Application of product dioids for dead token detection in interval P-time event graphs
- 1.
SYSNO ASEP 0370195 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Application of product dioids for dead token detection in interval P-time event graphs Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Špaček, P. (CZ)Source Title Proceedings of the 18th IFAC World Congres, 2011. - Milano : IFAC, 2011 / Bittanti S. ; Cenedese A. ; Zampieri S. - ISBN 978-3-902661-93-7 Pages s. 6054-6059 Number of pages 6 s. Action 18th IFAC World Congress Event date 28.08.2011-02.09.2011 VEvent location Milano Country IT - Italy Event type WRD Language eng - English Country IT - Italy Keywords interval P-time event graphs ; product semirings ; dead tokens Subject RIV BA - General Mathematics CEZ AV0Z10190503 - MU-W (2005-2011) EID SCOPUS 84866771534 DOI 10.3182/20110828-6-IT-1002.01500 Annotation Linear description of interval P-time event graphs using a product idempotent semiring is proposed and applied to dead token detection. The dependence of dead token on initial condition is studied using residuation theory. Finally, the relationship with the spectral theory of matrices over product semirings is discussed. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2012
Number of the records: 1