Počet záznamů: 1
Decentralized control of product (max+)-automata using coinduction
- 1.
SYSNO 0386937 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). S. 122-127. - Guadalajara : IFAC, 2012 / Ramírez-Treviño A. ; López-Mellado E. ; Lesage J.-J. Konference 11th International Workshop on Discrete Event Systems (WODES 2012), Guadalajara, 03.10.2012-05.10.2012 Druh dok. Konferenční příspěvek (zahraniční konf.) Grant GAP103/11/0517 GA ČR - Grantová agentura ČR, CZ - Česká republika Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. MX Klíč.slova (max,+) automata * decentralized control * coalgebra URL http://www.ifac-papersonline.net/Detailed/58179.html Trvalý link http://hdl.handle.net/11104/0216163 Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 0 153.1 KB Vydavatelský postprint vyžádat
Počet záznamů: 1