Počet záznamů: 1
Decentralized control of product (max+)-automata using coinduction
- 1.
SYSNO ASEP 0386937 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Decentralized control of product (max+)-automata using coinduction Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Zdroj.dok. Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). - Guadalajara : IFAC, 2012 / Ramírez-Treviño A. ; López-Mellado E. ; Lesage J.-J. - ISBN 978-3-902823-28-1 Rozsah stran s. 122-127 Poč.str. 6 s. Forma vydání Online - E Akce 11th International Workshop on Discrete Event Systems (WODES 2012) Datum konání 03.10.2012-05.10.2012 Místo konání Guadalajara Země MX - Mexiko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. MX - Mexiko Klíč. slova (max,+) automata ; decentralized control ; coalgebra Vědní obor RIV BA - Obecná matematika CEP GAP103/11/0517 GA ČR - Grantová agentura ČR Institucionální podpora MU-W - RVO:67985840 EID SCOPUS 84881075448 DOI https://doi.org/10.3182/20121003-3-MX-4033.00023 Anotace Max,+ -automata are weighted automata over the (max,+) semiring. Deterministic (max,+)-automata are sequential models that need to be composed in order to model concurrent timed systems. In this paper, the synchronous product and the supervised product are defined by coinduction. Maximally permissive timed control then amounts to compute residuation of the supervised product that is defined by coinduction. It is proven by coinduction that the definition of maximally permissive timed control is correct. We apply this co-algebraic framework to decentralized control of product (max,+) automata. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2013
Počet záznamů: 1