Application of product dioids for dead token detection in interval P-time event graphs

0370195 - MÚ 2012 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Špaček, P.
Application of product dioids for dead token detection in interval P-time event graphs.
Proceedings of the 18th IFAC World Congres, 2011. Milano: IFAC, 2011 - (Bittanti, S.; Cenedese, A.; Zampieri, S.), s. 6054-6059. ISBN 978-3-902661-93-7.
[18th IFAC World Congress. Milano (IT), 28.08.2011-02.09.2011]
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: interval P-time event graphs * product semirings * dead tokens
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/49473.html

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.
Trvalý link: http://hdl.handle.net/11104/0204065